Formal Specification and Verification of Digital Systems

0 avg rating
( 0 ratings by Goodreads )
 
9780077078119: Formal Specification and Verification of Digital Systems

The necessity of producing error-free integrated circuits follows from the cost and inconvenience which ensue if errors are found to be present in a complete circuit. As a result of this need and of the problems associated with simulation methods, formal verification techniques are now emerging as a realistic alternative. Intended to serve as a stand-alone introduction to the field, this book develops in detail two complementary approaches to hardware verification, involving the use of higher order logic and process algebra, respectively. The material is divided into three parts. The first concerns itself with the role of hardware specification, and specification languages, in the formal verification process. The traditional validation technique, that of simulation, is discussed and is contrasted with formal hardware verification. The second part describes the use of higher order logic in the specification and verification of hardware. Finally, the book presents a particular process calculus as an appropriate formalism for rigorous design analysis. In both the second and the third parts the fundamental concepts of logic and process calculi are introduced and techniques for using them are presented by the use of an extensive set of examples.

"synopsis" may belong to another edition of this title.

Top Search Results from the AbeBooks Marketplace

1.

Milne George
Published by The McGraw-Hill Company
ISBN 10: 007707811X ISBN 13: 9780077078119
New Quantity Available: 1
Seller
Majestic Books
(London, ,, United Kingdom)
Rating
[?]

Book Description The McGraw-Hill Company. Book Condition: New. pp. 288. Bookseller Inventory # 7124218

More Information About This Seller | Ask Bookseller a Question

Buy New
31.27
Convert Currency

Add to Basket

Shipping: 5.52
From United Kingdom to U.S.A.
Destination, Rates & Speeds

2.

Milne, George
Published by Mcgraw-Hill (Tx) (1994)
ISBN 10: 007707811X ISBN 13: 9780077078119
New Hardcover Quantity Available: 1
Seller
Booked Again
(Summit, NJ, U.S.A.)
Rating
[?]

Book Description Mcgraw-Hill (Tx), 1994. Hardcover. Book Condition: New. New item. Bookseller Inventory # QX-004-X1-9472009

More Information About This Seller | Ask Bookseller a Question

Buy New
50.22
Convert Currency

Add to Basket

Shipping: 7.69
Within U.S.A.
Destination, Rates & Speeds

3.

George Milne
ISBN 10: 007707811X ISBN 13: 9780077078119
New Quantity Available: 1
Seller
Castle Rock
(Pittsford, NY, U.S.A.)
Rating
[?]

Book Description Book Condition: Brand New. Book Condition: Brand New. Bookseller Inventory # 97800770781191.0

More Information About This Seller | Ask Bookseller a Question

Buy New
76.62
Convert Currency

Add to Basket

Shipping: 3.07
Within U.S.A.
Destination, Rates & Speeds