Codasip on puolijohde-IP:hen ja prosessorisuunnitteluun keskittyvä yritys, jonka painopisteitä ovat RISC-V-teknologia, suojattu pii ja toiminnallinen turvallisuus. Sen tuotevalikoimaan kuuluu CHERI-teknologiaa hyödyntäviä 64-bittisiä RISC-V-sovellusytimiä, sulautettuja ja autoteollisuuden prosessoreita sekä suunnittelutyökaluja, kuten Codasip Studio ja CodAL-kieli. Yritys kehittää sekä standardoituja prosessori-IP-ratkaisuja että räätälöityjä alustoja vaativille toimialoille, kuten autoteollisuuteen, puolustukseen, ilmailutekniikkaan, teollisuusjärjestelmiin ja kriittiseen infrastruktuuriin. Laitteisto- ja kyberturvallisuustiimiensä voimin Codasip kehittää prosessoriteknologioita, joiden tavoitteena on vastata säänneltyjen sovellusten turvallisuus- ja luotettavuustarpeisiin.
Verifiointi-insinööri – RISC-V-suorittimet (hybridityö, Tšekki)
Liity Codasipille varmistamaan RISC-V-prosessoreita ja laajennuksia turvallisessa puolijohdearkkitehtuureihin keskittyvässä yrityksessä. Rakenna automatisoituja verifiointiprosesseja edistyneille suoritinmalleille.
Kuvaus
- Validoi RISC-V-prosessoreita ja prosessorilaajennuksia
- Luo verifiointiratkaisuja, jotka kattavat testipenkit, testipenkkikomponentit, ärsykkeiden generoinnin ja formaalit ympäristöt
- Työskentele insinöörien kanssa komponenttien ja alijärjestelmien verifiointitehtävien toteuttamiseksi
- Laadi lohkojen ja alijärjestelmien verifiointistrategioita ja valitse sopivat työkalut
- Arvioi teknisiä määrittelyjä ja anna verifiointiin keskittyvää palautetta
- Suorita simulointeja, tutki vikoja ja selvitä monimutkaisten ongelmien perussyyt
- Suunnittele, arvioi, priorisoi ja seuraa vastuullasi olevia tehtäviä
- Mittaa ja raportoi verifioinnin suorituskykymittareita
- Kehitä automatisoituja verifiointityönkulkuja
- Verifioi edistyneitä suorittimia, mukaan lukien monimutkaiset out-of-order-suoritinmallit
- Vastaa nimetyistä suunnittelualueista ja hyödynnä useita verifiointimenetelmiä
Vaatimukset
- Asut tällä hetkellä Tšekissä ja sinulla on oikeus työskennellä siellä
- Sinulla on kaupallista kokemusta prosessorien tai muiden ASIC-piirien funktionaalisten verifiointimenetelmien soveltamisesta, mukaan lukien simulointi, testien generointi, kattavuusanalyysi ja porttitason simulointi
- Ymmärrät suoritinarkkitehtuurien tai muun immateriaalin verifiointia
- Kirjoitat selkeää ja tiivistä koodia SystemVerilogilla, Pythonilla, C++:lla, Rustilla tai vastaavalla kielellä
- Olet aiemmin vastannut suunnittelulohkon verifioinnista
- Käytät Linuxia rutiinitehtävien automatisointiin
- Tunnet versionhallintatyökalut, kuten Gitin ja SVN:n
- Ymmärrät RISC-V-arkkitehtuuria
- Sinulla on vahva ymmärrys tietokonejärjestelmistä ja arkkitehtuureista
- Osoitat analyyttistä ajattelua ja hyviä yhteistyötaitoja
- Työskentelet tehokkaasti eri tiimien kanssa ongelmien selvittämiseksi ja perussyiden tunnistamiseksi
Edut
- Ilmoituksessa ei määritellä etuja, henkilöstöetuja tai muuta lisäkorvausta.