Synopsys
Responsibilities
– Defines, develops, and verifies semiconductor integrated circuit digital and mixed signal circuits.
-Generates verification specifications.
-Work with the design teams to develop a formal micro-architecture specification Defines module interfaces and formats.
-Generate documentation for a comprehensive formal verification test plan, verification environments, and usage.
-Proving properties of the design, finding design bugs, and working closely with design teams to help improve the micro-architecture.
-Architecting novel and innovative solutions for verifying complex design micro-architectures.
-Developing and implementing re-usable and optimized formal models and verification code base.
-Architecting correct-by-construction design methodologies for improved formal verification efficiency and productivity.
-May participate in evaluation and troubleshooting of digital and mixed signal circuits.
For more & updated details, hit “Apply for job”
