Equivalence Checking of Digital Circuits: Fundamentals, Principles, Methods
Publisher: Springer | ISBN: 1402077254 | edition 2004 | PDF | 265 pages | 11 mb
Publisher: Springer | ISBN: 1402077254 | edition 2004 | PDF | 265 pages | 11 mb
Hardware verification is the process of checking whether a design conforms to its specification of functionality. 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. Moreover, it is nearly impossible to repair integrated circuits.
No comments:
Post a Comment