Codasip là công ty chuyên về IP bán dẫn và thiết kế bộ xử lý, tập trung vào công nghệ RISC-V, silicon bảo mật và an toàn chức năng. Danh mục sản phẩm của công ty bao gồm các lõi ứng dụng RISC-V 64-bit hỗ trợ CHERI, bộ xử lý nhúng và ô tô, cùng các công cụ thiết kế như Codasip Studio và ngôn ngữ CodAL. Công ty phát triển cả IP bộ xử lý tiêu chuẩn và các nền tảng được thiết kế theo yêu cầu cho những thị trường đòi hỏi cao, bao gồm ô tô, quốc phòng, hàng không, hệ thống công nghiệp và cơ sở hạ tầng trọng yếu. Với các đội ngũ làm việc trong lĩnh vực phần cứng và an ninh mạng, Codasip phát triển các công nghệ bộ xử lý nhằm đáp ứng nhu cầu về bảo mật và độ tin cậy của các ứng dụng chịu sự quản lý nghiêm ngặt.
Kỹ sư Xác minh – CPU RISC-V (Làm việc kết hợp, Cộng hòa Séc)
Gia nhập Codasip để xác minh bộ xử lý RISC-V và các phần mở rộng trong một công ty kiến trúc bán dẫn bảo mật. Xây dựng các quy trình xác minh tự động cho những thiết kế CPU tiên tiến.
Mô tả
- Xác minh bộ xử lý RISC-V và các phần mở rộng của bộ xử lý
- Tạo giải pháp xác minh bao gồm môi trường kiểm thử, các thành phần môi trường kiểm thử, tạo kích thích và môi trường xác minh hình thức
- Phối hợp với các kỹ sư để hoàn thành hoạt động xác minh cho các thành phần và hệ thống con
- Thiết lập chiến lược xác minh cho các khối và hệ thống con, đồng thời lựa chọn công cụ phù hợp
- Đánh giá đặc tả kỹ thuật và đưa ra phản hồi tập trung vào xác minh
- Thực hiện mô phỏng, điều tra lỗi và xác định nguyên nhân gốc rễ của các vấn đề phức tạp
- Lập kế hoạch, ước tính, sắp xếp ưu tiên và theo dõi công việc được giao
- Đo lường và báo cáo các chỉ số hiệu suất xác minh
- Phát triển quy trình xác minh tự động
- Xác minh các CPU tiên tiến, bao gồm những thiết kế bộ xử lý thực thi không theo thứ tự phức tạp
- Chịu trách nhiệm về các khu vực được chỉ định trong thiết kế và áp dụng nhiều phương pháp xác minh
Yêu cầu
- Hiện đang ở Cộng hòa Séc và có quyền làm việc tại đó
- Có kinh nghiệm thương mại trong việc áp dụng các phương pháp xác minh chức năng bộ xử lý cho CPU hoặc các ASIC khác, bao gồm mô phỏng, tạo kiểm thử, phân tích độ bao phủ và mô phỏng ở cấp cổng
- Hiểu về xác minh kiến trúc CPU hoặc các tài sản trí tuệ khác
- Viết mã rõ ràng, súc tích bằng SystemVerilog, Python, C++, Rust hoặc ngôn ngữ tương đương
- Từng chịu trách nhiệm xác minh một khối thiết kế
- Sử dụng Linux để tự động hóa các tác vụ thường nhật
- Biết các công cụ kiểm soát phiên bản như Git và SVN
- Hiểu kiến trúc RISC-V
- Có hiểu biết sâu về hệ thống máy tính và kiến trúc máy tính
- Có tư duy phân tích và kỹ năng làm việc nhóm
- Làm việc hiệu quả giữa các nhóm để gỡ lỗi và xác định nguyên nhân gốc rễ
Phúc lợi
- Tin tuyển dụng không nêu rõ phúc lợi, đặc quyền hoặc khoản bồi thường bổ sung.