Scalable Hardware Verification with Symbolic Simulation

Full text!
Type:
e-book
Titel:
Scalable Hardware Verification with Symbolic Simulation
Auteur:
Bertacco, Valeria
Taal:
Engels
Uitgever:
Springer US 2006
ISBN:
0-387-24411-5
9786610608195
1-280-60819-6
0-387-29906-8
Permalink:
http://bibtest.howest.be/catalog/ebk03:1000000000227735