Functional test generation for behaviorally sequential models
Proceedings of the conference on Design, automation and test in Europe
Design for Verification at the Register Transfer Level
ASP-DAC '02 Proceedings of the 2002 Asia and South Pacific Design Automation Conference
Functional Verification of Networked Embedded Systems
ISQED '05 Proceedings of the 6th International Symposium on Quality of Electronic Design
Hi-index | 0.00 |
This embedded tutorial explores some of the options for verification in the territory between current methods based simulation and emulation, and formal verification, Topics covered will include: coverage metrics and their effectiveness at uncovering bugs, symbolic simulation for partial formal verification, and directed search of a design. criterion, examples demonstrate that accurate approximations are possible well into the RF frequency range even with expansions about s=0.