Delivery: Can be download immediately after purchasing. For new customer, we need process for verification from 30 mins to 12 hours.
Version: PDF/EPUB. If you need EPUB and MOBI Version, please send contact us.
Compatible Devices: Can be read on any devices
Equivalence Checking of Digital Circuits: Fundamentals, Principles, Methods eBook
$149.00 Original price was: $149.00.$34.00Current price is: $34.00.
By: Paul Molitor; Janett Mohnke
Publisher: Springer
Print ISBN: 9781402077258, 1402077254
eText ISBN: 9781402026034, 140202603X
Copyright year: 2004
Format: Fixed
eText ISBN: 9781402026034
SKU: 9781402026034
Category: Trending
Tags: Computers, Intelligence (AI) & Semantics
Print ISBN: 9781402077258
Hardware veri?cation is the process of checking whether a design conforms to its speci?cations of functionality and timing. In today’s design processes it becomes more and more important. Very large scale integrated (VLSI) circuits and the resulting digital systems have conquered a place in almost all areas of our life, even in security sensitive applications. Complex digital systems control airplanes, have been used in banks and on intensive-care units. Hence, the demand for error-free designs is more important than ever. In addition, economic reasons underline this demand as well. The design and production process of present day VLSI-circuits is highly time- and cost-intensive. Mo- over, it is nearly impossible to repair integrated circuits. Thus, it is desirable to detect design errors early in the design process and not just after producing the prototype chip. All these facts are re?ected by developing and prod- tion statistics of present day companies. For example, In?neon Technologies [118] assumed that about 60% to 80% of the overall design time was spent for veri?cation in 2000. Other sources cite the 3-to-1 head count ratio between veri?cation engineers and logic designers. This shows that verifying logical correctness of the design of hardware systems is a major gate to the problem of time-to-market (cf. [113]). With the chip complexity constantly increasing, the dif?culty as well as the – portance of functional veri?cation of new product designs has been increased. It is not only more important to get error-free designs.
Be the first to review “Equivalence Checking of Digital Circuits: Fundamentals, Principles, Methods eBook” Cancel reply
You must be logged in to post a review.
Related products
-38%
Bestsellers
eText ISBN: 9780735637870
$19.98 Original price was: $19.98.$12.31Current price is: $12.31.
-38%
Bestsellers
eText ISBN: 9781423207764
$6.65 Original price was: $6.65.$4.10Current price is: $4.10.
-38%
eText ISBN: 9781118890868
$76.65 Original price was: $76.65.$47.22Current price is: $47.22.
-38%
eText ISBN: 9780133838497
$59.98 Original price was: $59.98.$36.95Current price is: $36.95.
-38%
Bestsellers
eText ISBN: 9781423207740
$6.65 Original price was: $6.65.$4.10Current price is: $4.10.
-38%
Bestsellers
eText ISBN: 9781119473879
$19.98 Original price was: $19.98.$12.31Current price is: $12.31.
-38%
Bestsellers
eText ISBN: 9781482233902
$58.32 Original price was: $58.32.$35.93Current price is: $35.93.
-38%
eText ISBN: 9780735642737
$23.32 Original price was: $23.32.$14.37Current price is: $14.37.
Reviews
There are no reviews yet.