Codasip
Codasip
Codasip ialah syarikat IP semikonduktor dan reka bentuk pemproses yang memberi tumpuan kepada teknologi RISC-V, silikon selamat dan keselamatan berfungsi. Portfolionya merangkumi teras aplikasi RISC-V 64-bit yang didayakan CHERI, pemproses terbenam dan automotif, serta alat reka bentuk seperti Codasip Studio dan bahasa CodAL. Syarikat ini membangunkan IP pemproses standard dan platform tersuai untuk pasaran yang mencabar, termasuk automotif, pertahanan, avionik, sistem perindustrian dan infrastruktur kritikal. Dengan pasukan yang bekerja dalam bidang perkakasan dan keselamatan siber, Codasip membina teknologi pemproses yang direka untuk memenuhi keperluan keselamatan dan kebolehpercayaan aplikasi yang dikawal selia.

Jurutera Pengesahan – CPU RISC-V (Hibrid, Czechia)

Sertai Codasip untuk mengesahkan pemproses dan sambungan RISC-V dalam syarikat seni bina semikonduktor yang selamat. Bina aliran kerja pengesahan automatik untuk reka bentuk CPU canggih.

Penerangan

  • Mengesahkan pemproses dan sambungan pemproses RISC-V
  • Mencipta penyelesaian pengesahan yang merangkumi testbench, komponen testbench, penjanaan rangsangan, dan persekitaran formal
  • Bekerjasama dengan jurutera untuk melengkapkan aktiviti pengesahan bagi komponen dan subsistem
  • Mewujudkan strategi pengesahan untuk blok dan subsistem serta memilih alat yang sesuai
  • Menilai spesifikasi teknikal dan memberikan maklum balas yang berfokus pada pengesahan
  • Melaksanakan simulasi, menyiasat kecacatan, dan menentukan punca asas isu kompleks
  • Merancang, menganggarkan, mengutamakan, dan memantau kerja yang ditugaskan
  • Mengukur dan melaporkan metrik prestasi pengesahan
  • Membangunkan aliran kerja pengesahan automatik
  • Mengesahkan CPU canggih, termasuk reka bentuk pemproses out-of-order yang kompleks
  • Bertanggungjawab terhadap bahagian reka bentuk yang ditetapkan dan menggunakan pelbagai pendekatan pengesahan

Keperluan

  • Sedang berpangkalan di Republik Czech dan mempunyai hak untuk bekerja di sana
  • Mempunyai pengalaman komersial menggunakan kaedah pengesahan fungsi pemproses pada CPU atau ASIC lain, termasuk simulasi, penjanaan ujian, analisis liputan, dan simulasi peringkat get
  • Memahami pengesahan seni bina CPU atau harta intelek lain
  • Menulis kod yang jelas dan ringkas dalam SystemVerilog, Python, C++, Rust, atau bahasa yang setanding
  • Pernah bertanggungjawab terhadap pengesahan sesuatu blok reka bentuk
  • Menggunakan Linux untuk mengautomasikan tugas rutin
  • Mengetahui alat kawalan versi seperti Git dan SVN
  • Memahami seni bina RISC-V
  • Mempunyai pemahaman yang kukuh tentang sistem dan seni bina komputer
  • Menunjukkan pemikiran analitis dan kemahiran kerja berpasukan
  • Bekerja dengan berkesan merentas pasukan untuk menyahpepijat masalah dan mengenal pasti punca asas

Faedah

  • Iklan ini tidak menyatakan faedah, kemudahan, atau pampasan tambahan.

Pekerjaan Berkaitan

Kreato Global | BPO and Language Solutions

Jurubahasa Bahasa Inggeris-Sepanyol Jarak Jauh OPI/VRI

Kreato Global | BPO and Language Solutions

Mentafsir dari jauh antara penutur bahasa Inggeris dan Sepanyol dalam persekitaran perubatan, kewangan, khidmat sosial dan khidmat pelanggan. Menyediakan sokongan bahasa untuk Kreato Global di seluruh Amerika Latin.

Buka
RecruitGo

Pembantu Eksekutif Jarak Jauh, Jangkauan dan Pemasaran — Filipina

RecruitGo

Mengurus sokongan pentadbiran, CRM, jangkauan dan pemasaran untuk RecruitGo, Employer of Record yang menyediakan bakat dari pasaran sedang pesat membangun kepada pelanggan global. Menyokong dua pelanggan yang berurusan dengan UK dalam pentadbiran harian dan kempen kreatif.

Buka