UID:
almahu_9949972640202882
Umfang:
VIII, 244 p.
,
online resource.
Ausgabe:
1st ed. 2006.
ISBN:
9783540343059
Serie:
Programming and Software Engineering, 3965
Anmerkung:
Hardware Design and Simulation for Verification -- Automatic Test Pattern Generation -- An Introduction to Symbolic Trajectory Evaluation -- BDD-Based Hardware Verification -- SAT-Based Verification Methods and Applications in Hardware Verification -- Building Efficient Decision Procedures on Top of SAT Solvers -- Refinement and Theorem Proving -- Floating-Point Verification Using Theorem Proving.
In:
Springer Nature eBook
Weitere Ausg.:
Printed edition: ISBN 9783540343042
Weitere Ausg.:
Printed edition: ISBN 9783540824114
Sprache:
Englisch
URL:
https://doi.org/10.1007/11757283
