中文 English

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”