Welcome to Loot.co.za! Sign in / Register |Wishlists & Gift Vouchers |Help | Advanced search

Checkout
- Your Cart Price

Your cart

Your cart is empty

Books > Computing & IT > Computer hardware & operating systems > Computer architecture & logic design

Buy Now

Formal Hardware Verification - Methods and Systems in Comparison (Paperback, 1997 ed.) Loot Price: R1,745

Discovery Miles 17 450

Repayment Terms: R164 pm x 12*

Add to cart

Formal Hardware Verification - Methods and Systems in Comparison (Paperback, 1997 ed.): Thomas Kropf

Formal Hardware Verification - Methods and Systems in Comparison (Paperback, 1997 ed.)

Thomas Kropf

Series: Lecture Notes in Computer Science, 1287

(sign in to rate)

Loot Price R1,745 Discovery Miles 17 450 | Repayment Terms: R164 pm x 12*

Expected to ship within 10 - 15 working days

Description
Details
Customer Reviews

This state-of-the-art monograph presents a coherent survey of a variety of methods and systems for formal hardware verification. It emphasizes the presentation of approaches that have matured into tools and systems usable for the actual verification of nontrivial circuits. All in all, the book is a representative and well-structured survey on the success and future potential of formal methods in proving the correctness of circuits. The various chapters describe the respective approaches supplying theoretical foundations as well as taking into account the application viewpoint. By applying all methods and systems presented to the same set of IFIP WG10.5 hardware verification examples, a valuable and fair analysis of the strenghts and weaknesses of the various approaches is given.

General

Imprint:	Springer-Verlag
Country of origin:	Germany
Series:	Lecture Notes in Computer Science, 1287
Release date:	August 1997
First published:	1997
Editors:	Thomas Kropf
Dimensions:	233 x 155 x 22mm (L x W x T)
Format:	Paperback
Pages:	376
Edition:	1997 ed.
ISBN-13:	978-3-540-63475-1
Categories:	Books > Computing & IT > Computer hardware & operating systems > Storage media & peripherals Books > Computing & IT > Computer hardware & operating systems > Computer architecture & logic design > General Books > Computing & IT > Computer software packages > Utilities & tools > General Promotions
LSN:	3-540-63475-4
Barcode:	9783540634751