Scalable Hardware Verification with Symbolic Simulation by Valeria Bertacco.
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 working...
Full description
Saved in: