Artículos relacionados a Equivalence Checking of Digital Circuits: Fundamentals,...
Sinopsis
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.
"Sinopsis" puede pertenecer a otra edición de este libro.
Reseña del editor
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.
Reseña del editor
With the chip complexity constantly increasing, the difficulty as well as the importance of functional verification of new product designs has been increased. It is not only more important to get error-free designs. Moreover, it becomes an increasingly difficult task for a team of human designers to carry out a full design without errors. The traditional training of new verification engineers has to be adapted to the new situation. New skills are necessary. For these reasons, nearly all major universities offer lectures on basic verification techniques such as propositional temporal logic, model checking, equivalence checking, and simulation coverage measures. The present book is designed as a textbook covering one of the most important aspects in the verification process &endash; equivalence checking of Boolean circuits.
Equivalence Checking of Digital Circuits is a textbook for advanced students in electrical and computer engineering, but is also intended for researchers who will find it useful as a reference text.
"Sobre este título" puede pertenecer a otra edición de este libro.
- EditorialSpringer
- Año de publicación2004
- ISBN 10 1402077254
- ISBN 13 9781402077258
- EncuadernaciónTapa dura
- IdiomaInglés
- Número de páginas280
- Contacto del fabricanteno disponible
Comprar nuevo
Ver este artículo
EUR 48,59
EUR 10,38 gastos de envío desde Reino Unido a España
Destinos, gastos y plazos de envío
Resultados de la búsqueda para Equivalence Checking of Digital Circuits: Fundamentals,...
Imagen de archivo
Equivalence Checking of Digital Circuits
Librería: Majestic Books, Hounslow, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
Condición: New. pp. 280 Illus. Nº de ref. del artículo: 7595258
Cantidad disponible: 1 disponibles
Imagen de archivo
Equivalence Checking of Digital Circuits
Librería: Books Puddle, New York, NY, Estados Unidos de America
Calificación del vendedor: 4 de 5 estrellas
Condición: New. pp. 280. Nº de ref. del artículo: 26285477
Cantidad disponible: 1 disponibles
Imagen de archivo
Equivalence Checking of Digital Circuits
Librería: Biblios, Frankfurt am main, HESSE, Alemania
Calificación del vendedor: 5 de 5 estrellas
Condición: New. pp. 280. Nº de ref. del artículo: 18285487
Cantidad disponible: 1 disponibles
Imagen de archivo
Equivalence Checking Of Digital Circuits: Fundamentals, Principles, Methods
Librería: Romtrade Corp., STERLING HEIGHTS, MI, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
Condición: New. This is a Brand-new US Edition. This Item may be shipped from US or any other country as we have multiple locations worldwide. Nº de ref. del artículo: ABNR-85328
Cantidad disponible: 1 disponibles
Imagen de archivo
Equivalence Checking Of Digital Circuits: Fundamentals, Principles, Methods
Librería: Basi6 International, Irving, TX, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
Condición: Brand New. New. US edition. Expediting shipping for all USA and Europe orders excluding PO Box. Excellent Customer Service. Nº de ref. del artículo: ABEJUNE24-167897
Cantidad disponible: 1 disponibles
Imagen del vendedor
Equivalence Checking of Digital Circuits
Librería: moluna, Greven, Alemania
Calificación del vendedor: 5 de 5 estrellas
Gebunden. Condición: New. Nº de ref. del artículo: 4095277
Cantidad disponible: Más de 20 disponibles
Imagen del vendedor
Equivalence Checking of Digital Circuits
Impresión bajo demandaLibrería: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Alemania
Calificación del vendedor: 5 de 5 estrellas
Buch. Condición: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -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. 280 pp. Englisch. Nº de ref. del artículo: 9781402077258
Cantidad disponible: 2 disponibles
Imagen de archivo
Equivalence Checking of Digital Circuits: Fundamentals, Principles, Methods
Librería: Ria Christie Collections, Uxbridge, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
Condición: New. In. Nº de ref. del artículo: ria9781402077258_new
Cantidad disponible: Más de 20 disponibles
Imagen del vendedor
Equivalence Checking of Digital Circuits : Fundamentals, Principles, Methods
Publicado por
Springer US, Springer US, 2004
ISBN 10: 1402077254
ISBN 13: 9781402077258
Nuevo
Tapa dura
Librería: AHA-BUCH GmbH, Einbeck, Alemania
Calificación del vendedor: 5 de 5 estrellas
Buch. Condición: Neu. Druck auf Anfrage Neuware - Printed after ordering - 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. Nº de ref. del artículo: 9781402077258
Cantidad disponible: 1 disponibles
Imagen del vendedor
Equivalence Checking of Digital Circuits
Publicado por
Springer US, Springer US Jan 2004, 2004
ISBN 10: 1402077254
ISBN 13: 9781402077258
Nuevo
Tapa dura
Librería: buchversandmimpf2000, Emtmannsberg, BAYE, Alemania
Calificación del vendedor: 5 de 5 estrellas
Buch. Condición: Neu. Neuware -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.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 280 pp. Englisch. Nº de ref. del artículo: 9781402077258
Cantidad disponible: 2 disponibles