Sciweavers

DATE
2003
IEEE
86views Hardware» more  DATE 2003»
13 years 9 months ago
Cross-Product Functional Coverage Measurement with Temporal Properties-Based Assertions
Temporal specification languages provide an efficient way to express events comprised of complex temporal scenarios. Assertions based on these languages are used to detect viola...
Avi Ziv