2 search results - page 1 / 1 » A Functional Validation Technique: Biased-Random Simulation ... |
ICCD
2001
IEEE
14 years 1 months ago
2001
IEEE
We present a simulation-based semi-formal verification method for sequential circuits described at the registertransfer level. The method consists of an iterative loop where cove...
IFIP
2001
Springer
13 years 8 months ago
2001
Springer
— Semi-formal verification based on symbolic simulation offers a good compromise between formal model checking and numerical simulation. The generation of functional test vector...