March 1, 2006

Integrated, comprehensive assertion-based coverage

Introduction The emergence of the SystemVerilog and PSL assertion languages promises to improve the effectiveness of existing verification flows. First, assertions give better local observability of the functionality they represent. Second, the assertions augment the textual specification to provide a more formal, executable representation of the functionality. Third, since the assertion languages have common semantics […]

Article  |  Topics: EDA - Verification  |  Tags: , ,


Synopsys Cadence Design Systems Siemens EDA
View All Sponsors