SAT-Based Scalable Formal Verification Solutions

Full text!
Type:
e-book
Titel:
SAT-Based Scalable Formal Verification Solutions
Auteur:
Ganai, Malay; Chandrakasan, Anantha; Ganai, Malay K.; Gupta, Aarti
Taal:
Engels
Uitgever:
Springer US 2007
ISBN:
0-387-69166-9
1-4419-4341-2
9786610901852
1-280-90185-3
0-387-69167-7
Permalink:
http://bibtest.howest.be/catalog/ebk03:1000000000284143