Using equivalence checking to validate ECOs in ARM core subsystem development at STMicroelectronics
High-performance audio processors will introduce consumers to an upgraded theater-quality audio experience.
How ST Microelectronics uses Synopsys’ VCS AMS, combining VCS functional verification and CustomSim, to verify one of its mixed-signal designs
Combining assertion-based verification techniques with emulation makes for easier debug, better coverage and greater functional efficiency.
- Expert Insight Applying agile techniques to IC design
- Article Getting the most out of IP based FPGA design with Synplify
- Article Assertion-based emulation
View All Sponsors