Imagen 1 de 1
Galería
Imagen 1 de 1
Verification Techniques for System-Level Design, Fujita, Ghosh, Prasad.=
USD86,16
Aproximadamente74,60 EUR
Estado:
Nuevo
Libro nuevo, sin usar y sin leer, que está en perfecto estado; incluye todas las páginas sin defectos. Consulta el anuncio del vendedor para obtener más información.
3 disponibles
- ¡Cómpralo ya!Verification Techniques for System-Level Design, Fujita, Ghosh, Prasad.=
Oops! Looks like we're having trouble connecting to our server.
Refresh your browser window to try again.
Envío:
Gratis USPS Media MailTM.
Ubicado en: MD, Estados Unidos
Entrega:
Entrega prevista entre el jue. 3 jul. y el mar. 15 jul. a 94104
Devoluciones:
30 días para devoluciones. El comprador paga el envío de la devolución..
Pagos:
Compra con confianza
El vendedor asume toda la responsabilidad de este anuncio.
N.º de artículo de eBay:333724569844
Última actualización el 18 mar 2025 07:13:40 H.EspVer todas las actualizacionesVer todas las actualizaciones
Características del artículo
- Estado
- PublishedOn
- 2007-12-12
- Title
- Verification Techniques for System-Level Design (Systems on Sili
- Artist
- Not Specified
- ISBN
- 9780123706164
Acerca de este producto
Product Identifiers
Publisher
Elsevier Science & Technology
ISBN-10
0123706165
ISBN-13
9780123706164
eBay Product ID (ePID)
61076749
Product Key Features
Number of Pages
256 Pages
Publication Name
Verification Techniques for System-Level Design
Language
English
Publication Year
2007
Subject
Systems Architecture / General, Industrial Design / Product, Electronics / Microelectronics, Software Development & Engineering / Systems Analysis & Design
Type
Textbook
Subject Area
Computers, Technology & Engineering
Series
Systems on Silicon Ser.
Format
Hardcover
Dimensions
Item Height
0.3 in
Item Weight
23.6 Oz
Item Length
9.3 in
Item Width
7.5 in
Additional Product Features
Intended Audience
Scholarly & Professional
LCCN
2007-028038
Dewey Edition
22
Illustrated
Yes
Dewey Decimal
621.3815
Synopsis
This book will explain how to verify SoC logic designs using ?formal? and ?semi-formal? verification techniques. The critical issue to be addressed is whether the functionality of the design is the one that the designers intended. Simulation has been used for checking the correctness of SoC designs (as in ?functional? verification), but many subtle design errors cannot be caught by simulation. Recently, formal verification, giving mathematical proof of the correctness of designs, has been getting much more attention. So far, most of the books on formal verification target the register transfer level (RTL) or lower levels of design. For higher design productivity, it is essential to debug designs as early as possible. That is, designs should be completely verified at very abstracted design levels (higher than RTL). This book covers all aspects of high-level formal and semi-formal verification techniques for system level designs. ? First book that covers all aspects of formal and semi-formal, high-level (higher than RTL) design verification targeting SoC designs. ? Formal verification of high-level designs (RTL or higher). ? Verification techniques are discussed with associated system-level design methodology., This book will explain how to verify SoC (Systems on Chip) logic designs using "formal" and "semiformal" verification techniques. The critical issue to be addressed is whether the functionality of the design is the one that the designers intended. Simulation has been used for checking the correctness of SoC designs (as in "functional" verification), but many subtle design errors cannot be caught by simulation. Recently, formal verification, giving mathematical proof of the correctness of designs, has been gaining popularity.For higher design productivity, it is essential to debug designs as early as possible, which this book facilitates. This book covers all aspects of high-level formal and semiformal verification techniques for system level designs., This book will explain how to verify SoC (Systems on Chip) logic designs using "formal" and "semiformal" verification techniques. The critical issue to be addressed is whether the functionality of the design is the one that the designers intended. Simulation has been used for checking the correctness of SoC designs (as in "functional" verification), but many subtle design errors cannot be caught by simulation. Recently, formal verification, giving mathematical proof of the correctness of designs, has been gaining popularity. For higher design productivity, it is essential to debug designs as early as possible, which this book facilitates. This book covers all aspects of high-level formal and semiformal verification techniques for system level designs., This book will explain how to verify SoC (Systems on Chip) logic designs using "formal" and "semiformal" verification techniques. The critical issue to be addressed is whether the functionality of the design is the one that the designers intended. Simulation has been used for checking the correctness of SoC designs (as in "functional" verification), but many subtle design errors cannot be caught by simulation. Recently, formal verification, giving mathematical proof of the correctness of designs, has been gaining popularity. For higher design productivity, it is essential to debug designs as early as possible, which this book facilitates. This book covers all aspects of high-level formal and semiformal verification techniques for system level designs. - First book that covers all aspects of formal and semiformal, high-level (higher than RTL) design verification targeting SoC designs. - Formal verification of high-level designs (RTL or higher). - Verification techniques are discussed with associated system-level design methodology.
LC Classification Number
TK7895.E42F95 2007
Descripción del artículo del vendedor
Información de vendedor profesional
Número de IVA: GB 724498118
CRN: 03800600
Información sobre seguridad y accesibilidad
Acerca de este vendedor
Awesomebooksusa
98% de votos positivos•1,3 millones artículos vendidos
Registrado como vendedor profesional
Categorías populares de esta tienda
Votos de vendedor (540.313)
- c***c (220)- Votos emitidos por el comprador.Mes pasadoCompra verificadaMy book arrived in good condition. Packaging was a rigid cardboard mailer, and it protected my book well. It was shipped in a reasonable amount of time, but I was still prompted to reach out to inquire further about it. Seller communication was very good, answering me within 24-hours. I was told shipping can take 9-15 days to happen... it arrived within 10 days after purchase. I would purchase from this seller again. Two thumbs up!
- z***i (1154)- Votos emitidos por el comprador.Últimos 6 mesesCompra verificadaI recently purchased a book from this Seller, and I couldn't be more pleased with the entire experience. The book arrived in excellent condition, exactly as described. It was packaged in a sturdy, reusable cardboard envelope using no plastic at all. Delivery was surprisingly fast, exceeding my expectations. I highly recommend this Seller!
- 4***7 (182)- Votos emitidos por el comprador.Últimos 6 mesesCompra verificada1974 Allen & Unwin LOTR boxed/sleeved set is as pictured & described. Hard to get this set w/an intacte box! The set (along with another order) arrived quickly & safely into my greedy handses! The trilogy set was wrapped in cardboard, almost an Origami type deal that did a great job protecting the book(s) inside! Fort Knox in an Origami Box! Always a great value from Awesomebooksusa! Descriptions always accurate & always well packaged. Thank you! Happy w/purchase! !!Seller Highly Recommended!!!
Awesomebooksusa
98% de votos positivos•1,3 millones artículos vendidos
Registrado como vendedor profesional
Categorías populares de esta tienda
Votos de vendedor (540.313)
- c***c (220)- Votos emitidos por el comprador.Mes pasadoCompra verificadaMy book arrived in good condition. Packaging was a rigid cardboard mailer, and it protected my book well. It was shipped in a reasonable amount of time, but I was still prompted to reach out to inquire further about it. Seller communication was very good, answering me within 24-hours. I was told shipping can take 9-15 days to happen... it arrived within 10 days after purchase. I would purchase from this seller again. Two thumbs up!
- z***i (1154)- Votos emitidos por el comprador.Últimos 6 mesesCompra verificadaI recently purchased a book from this Seller, and I couldn't be more pleased with the entire experience. The book arrived in excellent condition, exactly as described. It was packaged in a sturdy, reusable cardboard envelope using no plastic at all. Delivery was surprisingly fast, exceeding my expectations. I highly recommend this Seller!
- 4***7 (182)- Votos emitidos por el comprador.Últimos 6 mesesCompra verificada1974 Allen & Unwin LOTR boxed/sleeved set is as pictured & described. Hard to get this set w/an intacte box! The set (along with another order) arrived quickly & safely into my greedy handses! The trilogy set was wrapped in cardboard, almost an Origami type deal that did a great job protecting the book(s) inside! Fort Knox in an Origami Box! Always a great value from Awesomebooksusa! Descriptions always accurate & always well packaged. Thank you! Happy w/purchase! !!Seller Highly Recommended!!!