Rating
Scalable Hardware Verification with Symbolic Simulation
Springer | 2005 | ISBN: 0387244115 | 180 pages | PDF | 10,2 MB

 

Scalable Hardware Verification with Symbolic Simulation presents recent advancements in symbolic simulation-based solutions which radically improve scalability. It overviews current verification techniques, both based on logic simulation and formal verification methods, and unveils the inner workings of symbolic simulation.

 

Comments are closed.