Ang Codasip ay isang kumpanya ng semiconductor IP at disenyo ng processor na nakatuon sa teknolohiyang RISC-V, ligtas na silicon, at functional safety. Kasama sa portfolio nito ang 64-bit RISC-V application core na may suporta sa CHERI, mga embedded at automotive processor, at mga tool sa disenyo tulad ng Codasip Studio at wikang CodAL. Gumagawa ang kumpanya ng karaniwang processor IP at mga platform na iniangkop para sa mahihigpit na pamilihan kabilang ang automotive, depensa, avionics, mga sistemang industriyal, at kritikal na imprastraktura. Sa pamamagitan ng mga pangkat na nagtatrabaho sa hardware at cybersecurity, bumubuo ang Codasip ng mga teknolohiyang processor na nilalayong tugunan ang mga pangangailangan sa seguridad at pagiging maaasahan ng mga application na saklaw ng regulasyon.
Inhinyero ng Beripikasyon – mga CPU na RISC-V (Hybrid, Czechia)
Sumali sa Codasip upang beripikahin ang mga processor at extension ng RISC-V sa isang kumpanyang nakatuon sa ligtas na arkitektura ng semiconductor. Bumuo ng mga awtomatikong daloy ng beripikasyon para sa mga advanced na disenyo ng CPU.
Paglalarawan
- Beripikahin ang mga processor at extension ng processor na RISC-V
- Gumawa ng mga solusyon sa beripikasyon na sumasaklaw sa mga testbench, bahagi ng testbench, pagbuo ng stimulus, at mga pormal na kapaligiran
- Makipagtulungan sa mga inhinyero upang makumpleto ang mga gawain sa beripikasyon para sa mga component at subsystem
- Magtatag ng mga estratehiya sa beripikasyon para sa mga block at subsystem at pumili ng angkop na mga tool
- Suriin ang mga teknikal na espesipikasyon at magbigay ng feedback na nakatuon sa beripikasyon
- Magpatakbo ng mga simulation, magsiyasat ng mga depekto, at tukuyin ang ugat ng mga kumplikadong isyu
- Magplano, magtantya, magtakda ng prayoridad, at sumubaybay sa mga itinalagang gawain
- Sukatin at iulat ang mga panukat ng performance ng beripikasyon
- Bumuo ng mga awtomatikong workflow sa beripikasyon
- Beripikahin ang mga advanced na CPU, kabilang ang mga kumplikadong out-of-order processor design
- Pangasiwaan ang mga itinalagang bahagi ng disenyo at gumamit ng maraming paraan ng beripikasyon
Mga Kinakailangan
- Kasalukuyang nakabase sa Czech Republic at may karapatang magtrabaho roon
- May komersyal na karanasan sa paggamit ng mga functional na paraan ng beripikasyon ng processor sa mga CPU o iba pang ASIC, kabilang ang simulation, paggawa ng test, coverage analysis, at gate-level simulation
- Nauunawaan ang beripikasyon ng mga arkitektura ng CPU o iba pang intellectual property
- Marunong sumulat ng malinaw at maikling code sa SystemVerilog, Python, C++, Rust, o katumbas na wika
- Nakapangasiwa na dati ng beripikasyon para sa isang design block
- Gumagamit ng Linux upang i-automate ang mga karaniwang gawain
- Alam ang mga version-control tool gaya ng Git at SVN
- Nauunawaan ang arkitekturang RISC-V
- May matibay na pag-unawa sa mga computer system at arkitektura
- Nagpapakita ng analitikal na pag-iisip at kakayahang makipagtulungan sa team
- Epektibong nakikipagtulungan sa iba't ibang team upang mag-debug ng mga problema at tukuyin ang ugat ng mga ito
Mga Benepisyo
- Hindi tinutukoy sa posting ang mga benepisyo, perk, o karagdagang kompensasyon.