From Silicon To Software

Author Archive
Jin Zhang

Posts by Jin Zhang:


How to Speed Up Simulation Coverage Closure with Formal Verification Tools

We explore how formal verification tools synergize with simulation technology to accelerate coverage closure in the SoC design and verification process.

Continue Reading...

Posted in Product Spotlight, Verification


Get a Head Start in Formal Verification with Synopsys Formal Consulting Services

Explore the formal verification process and see how our team can ramp up SoC design productivity with verification audits, trainings, and project consulting.

Continue Reading...

Posted in Verification