The Science and Art of Using...
Philip Pugh
Buy from $40.84
eBook from $13.50
|
Formal Verification: An...
Erik Seligman,
Tom Schubert
Buy from $88.05
eBook from $115.00
|
Formal Verification: An...
Erik Seligman, MS,
Tom Schubert
Buy from $148.39
eBook from $99.95
|
Principles of Functional...
Andreas Meyer
Buy from $23.27
|
Timing Verification of...
Farzad Nekoogar
Buy from $37.23
|
Writing Testbenches using...
Janick Bergeron
Buy from $105.44
|
Writing Testbenches:...
Janick Bergeron
Buy from $89.24
|
Correct Hardware Design and...
Paolo Enrico Camurati (Editor),
Hans Eveking (Editor)
Buy from $60.65
|
Functional Verification...
Andrew Piziali
Buy from $80.01
|
Correct Hardware Design and...
Tiziana Margaria (Editor),
Tom Melham (Editor)
Buy from $60.65
eBook from $16.50
|
Computer Aided Verification:...
Gerard Berry (Editor),
Hubert Comon (Editor)
Buy from $59.52
|
Formal Hardware Verification:...
Thomas Kropf (Editor)
Buy from $19.99
|
Verification Plans: The Five...
Peet James
Buy from $123.08
|
Symbolic Simulation Methods...
Robert B Jones
Buy from $78.78
eBook from $29.70
|
Correct Hardware Design and...
George J Milne (Editor),
Laurence Pierre (Editor)
Buy from $60.65
|
Correct Hardware Design and...
Laurence Pierre (Editor),
Thomas Kropf (Editor)
Buy from $60.65
eBook from $16.50
|
Effective Functional...
Srivatsa Vasudevan
Buy from $80.69
|
Trace Theory for Automatic...
David L Dill
Buy from $41.80
|
Test and Design-for...
Jose Luis Huertas Díaz (Editor)
Buy from $118.16
|
Hardware Verification with...
Mike Mintz,
Robert Ekendahl
Buy from $90.81
eBook from $32.70
|
Computer Aided Verification:...
Alan J Hu (Editor),
Moshe y Vardi (Editor)
Buy from $12.30
|
Formal Methods in Computer...
Ganesh Gopalakrishnan (Editor),
Phillip Windley (Editor)
Buy from $51.70
|
Computer Aided Verification:...
Nicolas Halbwachs (Editor),
Doron Peled (Editor)
Buy from $51.15
eBook from $16.50
|
Computer Aided Verification:...
E Allen Emerson (Editor),
A Prasad Sistla (Editor)
Buy from $93.11
eBook from $29.70
|
