Formal Hardware Verification Image close
Formal Hardware Verification
Formal Hardware Verification
Show Hide Adult Content
Formal Hardware Verification close

Computers & Internet Books:

Home  
Books  
Computers & Internet  
Hardware & Operating Systems  
Computer architecture & logic design

Formal Hardware Verification

Methods and Systems in Comparison
Click to share your rating 0 ratings (0.0/5.0 average) Thanks for your vote!

Format:

Paperback / softback
$154.00
Available from supplier

The item is brand new and in-stock with one of our preferred suppliers. The item will ship from a Mighty Ape warehouse within the timeframe shown.

Usually ships in 3-4 weeks
0 in Trolley
Free Delivery with Primate
Join Now

Free 14 day free trial, cancel anytime.

Buy Now, Pay Later with:

4 payments of $38.50 with Afterpay Learn more

6 weekly interest-free payments of $25.67 with Laybuy Learn more

Availability

Delivering to:

Estimated arrival:

  • Around 26 Jun - 8 Jul using International Courier

Explore more Lecture Notes in Computer Science,

See all products in this series

Euro-Par '96 - Parallel Processing
$304.00
Euro-Par '96 - Parallel Processing
Paperback / softback
Available - Usually ships in 3-4 weeks
Mathematical Foundations of Software Development. Proceedings of the International Joint Conference on Theory and Practice of Software Development (TAPSOFT), Berlin, March 25-29, 1985
$180.00
Mathematical Foundations of Software Development. Proceedings of the...
Paperback / softback
Available - Usually ships in 3-4 weeks
Functional and Constraint Logic Programming
$150.00
Functional and Constraint Logic Programming
Paperback / softback
Available - Usually ships in 3-4 weeks
Euro-Par 2001 Parallel Processing
$309.00
Euro-Par 2001 Parallel Processing
Paperback / softback
Available - Usually ships in 3-4 weeks
Middleware 2003
$294.00
Middleware 2003
Paperback / softback
Available - Usually ships in 3-4 weeks
Integrated Circuit and System Design. Power and Timing Modeling, Optimization and Simulation
$299.00
Integrated Circuit and System Design. Power and Timing Modeling,...
Paperback / softback
Available - Usually ships in 3-4 weeks
Algebraic Semantics by Irene Guessarian
$94.00
Algebraic Semantics
by Irene Guessarian ~ Paperback / softback
Available - Usually ships in 3-4 weeks
Types for Proofs and Programs
$156.00
Types for Proofs and Programs
Paperback / softback
Available - Usually ships in 3-4 weeks
Proceedings / Parcella 1988
$150.00
Proceedings / Parcella 1988
Paperback / softback
Available - Usually ships in 3-4 weeks
High Performance Computing
$289.00
High Performance Computing
Paperback / softback
Available - Usually ships in 3-4 weeks
Developments in Language Theory
$150.00
Developments in Language Theory
Paperback / softback
Available - Usually ships in 3-4 weeks
High-Performance Computing and Networking
$300.00
High-Performance Computing and Networking
Paperback / softback
Available - Usually ships in 3-4 weeks
Integrated Circuit Design. Power and Timing Modeling, Optimization and Simulation
$293.00
Integrated Circuit Design. Power and Timing Modeling, Optimization...
Paperback / softback
Available - Usually ships in 3-4 weeks
Euro-Par 2002. Parallel Processing
$310.00
Euro-Par 2002. Parallel Processing
Paperback / softback
Available - Usually ships in 3-4 weeks
Recent Advances in Parallel Virtual Machine and Message Passing Interface
$299.00
Recent Advances in Parallel Virtual Machine and Message Passing...
Paperback / softback
Available - Usually ships in 3-4 weeks
ESOP 86
$164.00
ESOP 86
Paperback / softback
Available - Usually ships in 3-4 weeks

Description

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.
Release date NZ
August 27th, 1997
Audience
  • Professional & Vocational
Contributor
  • Edited by Thomas Kropf
Illustrations
XII, 376 p.
Pages
376
Dimensions
155x233x22
ISBN-13
9783540634751
Product ID
2803220

Customer reviews

Nobody has reviewed this product yet. You could be the first!

Write a Review

Marketplace listings

There are no Marketplace listings available for this product currently.
Already own it? Create a free listing and pay just 9% commission when it sells!

Sell Yours Here

Recommended for you

Recommended from your browsing history

Help & options

Filed under...

Books >
Computers & Internet >
Hardware & Operating Systems >
Computer architecture & logic design
Books >
Computers & Internet >
Hardware & Operating Systems >
Storage media & peripherals
Books >
Computers & Internet >
Software Packages >
Utilities & tools
Books >
Computers & Internet >
Computer hardware >
Storage media & peripherals
Books >
Computers & Internet >
Computer hardware >
Utilities & tools
Books >
Computers & Internet >
Computer science >
Computer architecture & logic design