Applied Formal Verification: For Digital Circuit Design

Author:   Douglas L Perry ,  Harry D Foster ,  Perry Douglas ,  Foster Harry
Publisher:   McGraw-Hill Companies
ISBN:  

9786611080457


Pages:   240
Publication Date:   19 April 2005
Format:   Electronic book text
Availability:   Out of stock   Availability explained
The supplier is temporarily out of stock of this item. It will be ordered for you on backorder and shipped when it becomes available.

Our Price $474.94 Quantity:  
Add to Cart

Share |

Applied Formal Verification: For Digital Circuit Design


Add your own review!

Overview

Formal verification is a powerful new digital design method. In this cutting-edge tutorial, two of the field's best known authors team up to show designers how to efficiently apply Formal Verification, along with hardware description languages like Verilog and VHDL, to more efficiently solve real-world design problems.

Full Product Details

Author:   Douglas L Perry ,  Harry D Foster ,  Perry Douglas ,  Foster Harry
Publisher:   McGraw-Hill Companies
Imprint:   McGraw-Hill Companies
ISBN:  

9786611080457


ISBN 10:   6611080457
Pages:   240
Publication Date:   19 April 2005
Audience:   General/trade ,  General
Format:   Electronic book text
Publisher's Status:   Active
Availability:   Out of stock   Availability explained
The supplier is temporarily out of stock of this item. It will be ordered for you on backorder and shipped when it becomes available.

Table of Contents

Reviews

Author Information

Tab Content 6

Author Website:  

Customer Reviews

Recent Reviews

No review item found!

Add your own review!

Countries Available

All regions
Latest Reading Guide

lgn

al

Shopping Cart
Your cart is empty
Shopping cart
Mailing List