Formal Verification Engineer | Customizable CPUs | RISC-V IP
Greater Bristol Area, United Kingdom
Codasip
Interest in complex algorithms Experience in FV tools (QuestaFormal, OneSpin, Jasper, VC Formal) WHAT WE CAN OFFER YOU: Opportunity to work with RISC-V, computer architecture of the future Working on innovative IoT processors and unique processor optimization technology Participation in the whole development process from analysis to … are based on the RISC-V open architecture. The potential for customizing RISC-V is unlocked with the Codasip Custom Compute approach: our unique architecture description language, CodAL, and the powerful automated processor design tool, Codasip Studio. These are at the heart of our unique and groundbreaking RISC-V more »
Posted: