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.
View All Sponsors