Visit our Christmas Gift Finder
Scalable Hardware Verification with Symbolic Simulation (Hardback)
  • Scalable Hardware Verification with Symbolic Simulation (Hardback)
zoom

Scalable Hardware Verification with Symbolic Simulation (Hardback)

(author)
£109.99
Hardback 180 Pages / Published: 21/12/2005
  • We can order this

Usually dispatched within 3 weeks

  • This item has been added to your basket

This book is intended as an innovative overview of current formal verification methods, combined with an in-depth analysis of some advanced techniques to improve the scalability of these methods, and close the gap between design and verification in computer-aided design. Formal Verification: Scalable Hardware Verification with Symbolic Simulation explains current formal verification methods and provides an in-depth analysis of some advanced techniques to improve the scalability of these methods and close the gap between design and verification in computer-aided design. It provides the theoretical background required to present such methods and advanced techniques, i.e. Boolean function representations, models of sequential networks and, in particular, some novel algorithms to expose the disjoint support decompositions of Boolean functions, used in one of the scalable approaches.

Publisher: Springer-Verlag New York Inc.
ISBN: 9780387244112
Number of pages: 180
Weight: 460 g
Dimensions: 235 x 155 x 12 mm
Edition: 2006 ed.

You may also be interested in...

The Lego Mindstorms Ev3 Discovery Book
Added to basket
Encyclopedia of Electronic Components
Added to basket
Exploring Arduino
Added to basket
£26.99
Paperback
Arduino Cookbook
Added to basket
The Oxford Solid State Basics
Added to basket
Electronics All-in-One For Dummies - UK
Added to basket
Make: Wearable and Flexible Electronics
Added to basket
Robotics: A Very Short Introduction
Added to basket
Arduino For Dummies
Added to basket
£16.99
Paperback
Make: Analog Synthesizers
Added to basket
Arduino in Easy Steps
Added to basket
Quantum Measurement and Control
Added to basket
Electronics For Dummies
Added to basket
Digital Fundamentals, Global Edition
Added to basket

Reviews

Please sign in to write a review

Your review has been submitted successfully.