Normal view MARC view ISBD view

Introduction to Formal Hardware Verification

Material type: materialTypeLabel

BookPublisher: New York: Springer-Verlag, 1999Description: 299 p.; Illus. Index: 23 cm.ISBN: 3540654453 .Subject(s): Boolean Functions | Circuit Design | Formal Hardware Verification | Higher-Order Logics | ModelingDDC classification: 621.392

Tags from this library: No tags from this library for this title. Log in to add tags.

Item type	Current location	Call number	Status	Date due	Barcode
Books		621.392 KRO (Browse shelf)	Available		002238

Previous								Next
Previous	621.392 GIR Petri Nets For Systems Engineering	621.392 GOV Computer architecture and organization : design principles and applications	621.392 GRE Introduction to evolvable hardware : a practical guide for designing self-adaptive systems	621.392 KRO Introduction to Formal Hardware Verification	621.392 KUN Designer's guide to verilog AMS	621.392 LAM Hardware design verification : simulation and formal method-based approaches	621.392 LEE Verilog quickstart : a practical guide to simulation and synthesis in verilog	Next

There are no comments for this item.

Koha online