Codasip yra puslaidininkių IP ir procesorių projektavimo įmonė, daugiausia dėmesio skirianti RISC-V technologijai, saugiam silicui ir funkcinei saugai. Jos portfelį sudaro CHERI palaikantys 64 bitų RISC-V taikomųjų programų branduoliai, įterptųjų sistemų ir automobilių pramonės procesoriai, taip pat projektavimo priemonės, tokios kaip „Codasip Studio“ ir „CodAL“ kalba. Įmonė kuria tiek standartinį procesorių IP, tiek pritaikytas platformas reiklioms rinkoms, įskaitant automobilių pramonę, gynybą, aviaciją, pramonines sistemas ir ypatingos svarbos infrastruktūrą. Subūrusi techninės įrangos ir kibernetinio saugumo komandas, Codasip kuria procesorių technologijas, skirtas reguliuojamų sričių taikomųjų programų saugumo ir patikimumo poreikiams tenkinti.
Join Codasip to verify RISC-V processors and extensions within a secure semiconductor architecture company. Build automated verification flows for advanced CPU designs.