is responsible for industry leading tools for formal verification, high level synthesis,
RTL power analysis and optimizations... of the SLEC product, graphical user interfaces, language frontends for C++, SystemC, and
RTL, data flow analysis, netlist... -
Voir cette offre d'emploi