UCIS

January 20, 2015

Assertion-based emulation

Combining assertion-based verification techniques with emulation makes for easier debug, better coverage and greater functional efficiency.

Article | Topics: IP - Design Management, EDA - IC Implementation, Embedded - Integration & Debug, EDA - Verification | Tags: ABV, assertions, coverage driven verification, emulation, functional verification, low-power design, metrics, protocols, UCIS | Organizations: Mentor Graphics