2 search results - page 1 / 1 » Efficient Generation of Monitor Circuits for GSTE Assertion ... |
ICCAD
2003
IEEE
15 years 12 months ago
2003
IEEE
ICCD
2004
IEEE
15 years 12 months ago
2004
IEEE
Formal and dynamic (simulation, emulation, etc.) verification techniques are both needed to deal with the overall challenge of verification. Ideally, the same specification/tes...