Siemens EDA
The candidate will be responsible for development of algorithms, techniques, and software for formal verification of hardware/software, and will be part of the Calypto SLEC tool development team at Siemens EDA.
The candidate will also interact with other product groups, such as C++/SystemC high level synthesis and RTL power optimization, to identify and develop unique formal verification requirements that arise.
For more & updated details, hit “Apply for job”
