9780387366418 - creating assertion-based ip (integrated circuits and systems) de foster, harry d.; krolnik, adam c. (20 resultados)
Idioma: Inglés
Editorial: Springer 2007
Serie: Integrated Circuits and Systems, Libro 11 de 34. Libro 11 de 34 - Integrated Circuits and Systems
- Tapa dura
Librería: HPB-Red, Dallas, TX, Estados Unidos de AmericaHPB-Red
Contactar con el vendedorVendedor de 5 estrellasCondición: Usado - Aceptable
EUR 21,54
Envío por EUR 3,27Se envía dentro de Estados Unidos de AmericaCantidad disponible: 1 disponibles
Hardcover. Condición: Good. Connecting readers with great books since 1972! Used textbooks may not include companion materials such as access codes, etc. May have some wear or writing/highlighting. We ship orders daily and Customer Service is our top priority.
Idioma: Inglés
Editorial: Springer 2007
Serie: Integrated Circuits and Systems, Libro 11 de 34. Libro 11 de 34 - Integrated Circuits and Systems
- Tapa dura
Librería: PAPER CAVALIER US, Brooklyn, NY, Estados Unidos de AmericaPAPER CAVALIER US
Contactar con el vendedorVendedor de 5 estrellasCondición: Usado - Bueno
EUR 25,12
Gastos de envío gratisSe envía dentro de Estados Unidos de AmericaCantidad disponible: 1 disponibles
Condición: very good. Gently used. May include previous owner's signature or bookplate on the front endpaper, sticker on back and/or remainder mark on text block.
Idioma: Inglés
Editorial: Springer 2007
Serie: Integrated Circuits and Systems, Libro 11 de 34. Libro 11 de 34 - Integrated Circuits and Systems
- Tapa dura
Librería: Books Puddle, New York, NY, Estados Unidos de AmericaBooks Puddle
Contactar con el vendedorVendedor de 4 estrellasCondición: Nuevo
EUR 49,25
Envío por EUR 3,48Se envía dentro de Estados Unidos de AmericaCantidad disponible: 4 disponibles
Condición: New. pp. 336.
Idioma: Inglés
Editorial: Springer 2007
Serie: Integrated Circuits and Systems, Libro 11 de 34. Libro 11 de 34 - Integrated Circuits and Systems
- Tapa dura
Librería: Majestic Books, Hounslow, , Reino UnidoMajestic Books
Contactar con el vendedorVendedor de 4 estrellasCondición: Nuevo
EUR 45,75
Envío por EUR 7,50Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: 4 disponibles
Condición: New. pp. 336 Illus.
Idioma: Inglés
Editorial: Springer 2007
Serie: Integrated Circuits and Systems, Libro 11 de 34. Libro 11 de 34 - Integrated Circuits and Systems
- Tapa dura
Librería: Biblios, frankfurt am main, HESSE, AlemaniaBiblios
Contactar con el vendedorVendedor de 4 estrellasCondición: Nuevo
EUR 44,64
Envío por EUR 9,95Se envía de Alemania a Estados Unidos de AmericaCantidad disponible: 4 disponibles
Condición: New. pp. 336.
Idioma: Inglés
Editorial: Springer 2008
Serie: Integrated Circuits and Systems, Libro 11 de 34. Libro 11 de 34 - Integrated Circuits and Systems
- Tapa dura
Librería: Anybook.com, Lincoln, Reino UnidoAnybook.com
Contactar con el vendedorVendedor de 5 estrellasCondición: Usado - Aceptable
EUR 40,39
Envío por EUR 15,68Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: 1 disponibles
Condición: Good. This is an ex-library book and may have the usual library/used-book markings inside.This book has hardback covers. In good all round condition. Please note the Image in this listing is a stock photo and may not match the covers of the actual item,750grams, ISBN:9780387366418.
Idioma: Inglés
Editorial: Springer, New York and Berlin 2008
Serie: Integrated Circuits and Systems, Libro 11 de 34. Libro 11 de 34 - Integrated Circuits and Systems
- Tapa dura
- Primera edición
Librería: CURIO, Cleethorpes, North East Lincolnshire, Reino UnidoCURIO
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 35,63
Envío por EUR 34,59Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: 2 disponibles
Hardcover. Condición: New. No Jacket. 1st Edition. Brand New. First Edition / First Print (number line on copyright page 9 8 7 6 5 4 3 2 1). Hardback copy in glazed boards, no dustjacket as issued. 313pp. B/w graphs and diagrams throughout. This book presents formal testplanning guidelines with examples focused on creating asser…tion-based verification IP. It demonstrates a systematic process for formal specification and formal testplanning, and also demonstrates effective use of assertions languages beyond the traditional language construct discussions. Note that there many books published on assertion languages (such as System Verilog assertions and PSL). Yet, none of them discuss the important process of testplanning and using these languages to create verification IP. (23/5).
Idioma: Inglés
Editorial: Springer 2007
Serie: Integrated Circuits and Systems, Libro 11 de 34. Libro 11 de 34 - Integrated Circuits and Systems
- Tapa dura
Librería: Romtrade Corp., STERLING HEIGHTS, MI, Estados Unidos de AmericaRomtrade Corp.
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 75,59
Gastos de envío gratisSe envía dentro de Estados Unidos de AmericaCantidad disponible: 5 disponibles
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.
Idioma: Inglés
Editorial: SP SPRINGER 2008
Serie: Integrated Circuits and Systems, Libro 11 de 34. Libro 11 de 34 - Integrated Circuits and Systems
- Tapa dura
- Edición internacional
Librería: UK BOOKS STORE, London, LONDO, Reino UnidoUK BOOKS STORE
Contactar con el vendedorVendedor de 5 estrellasEdición internacionalCondición: Nuevo
EUR 97,19
Envío por EUR 3,45Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Condición: New. Brand New! Fast Delivery This is an International Edition and ship within 24-48 hours. Deliver by FedEx and Dhl, & Aramex, UPS, & USPS and we do accept APO and PO BOX Addresses. Order can be delivered worldwide within 6-10 days and we do have flat rate for up to 2LB. Extra shipping charges will be requested if th…e Book weight is more than 5 LB. This Item May be shipped from India, United states & United Kingdom. Depending on your location and availability.
Idioma: Inglés
Editorial: Springer 2007
Serie: Integrated Circuits and Systems, Libro 11 de 34. Libro 11 de 34 - Integrated Circuits and Systems
- Tapa dura
Librería: Romtrade Corp., STERLING HEIGHTS, MI, Estados Unidos de AmericaRomtrade Corp.
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 102,83
Gastos de envío gratisSe envía dentro de Estados Unidos de AmericaCantidad disponible: 1 disponibles
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.
Idioma: Inglés
Editorial: Springer 2007
Serie: Integrated Circuits and Systems, Libro 11 de 34. Libro 11 de 34 - Integrated Circuits and Systems
- Tapa dura
Librería: Basi6 International, Irving, TX, Estados Unidos de AmericaBasi6 International
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 103,40
Gastos de envío gratisSe envía dentro de Estados Unidos de AmericaCantidad disponible: 1 disponibles
Condición: Brand New. New. US edition. Expediting shipping for all USA and Europe orders excluding PO Box. Excellent Customer Service.
Idioma: Inglés
Editorial: Springer 2007
Serie: Integrated Circuits and Systems, Libro 11 de 34. Libro 11 de 34 - Integrated Circuits and Systems
- Tapa dura
Librería: Ria Christie Collections, Uxbridge, Reino UnidoRia Christie Collections
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 163,72
Envío por EUR 13,81Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Condición: New. In.
Idioma: Inglés
Editorial: Springer 2007
Serie: Integrated Circuits and Systems, Libro 11 de 34. Libro 11 de 34 - Integrated Circuits and Systems
- Tapa dura
Librería: GreatBookPrices, Columbia, MD, Estados Unidos de AmericaGreatBookPrices
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 181,41
Envío por EUR 2,30Se envía dentro de Estados Unidos de AmericaCantidad disponible: 15 disponibles
Condición: New.
Idioma: Inglés
Editorial: Springer 2007
Serie: Integrated Circuits and Systems, Libro 11 de 34. Libro 11 de 34 - Integrated Circuits and Systems
- Tapa dura
Librería: GreatBookPrices, Columbia, MD, Estados Unidos de AmericaGreatBookPrices
Contactar con el vendedorVendedor de 5 estrellasCondición: Usado - Como Nuevo
EUR 188,40
Envío por EUR 2,30Se envía dentro de Estados Unidos de AmericaCantidad disponible: 15 disponibles
Condición: As New. Unread book in perfect condition.
Idioma: Inglés
Editorial: Springer US, Copernicus 2007
Serie: Integrated Circuits and Systems, Libro 11 de 34. Libro 11 de 34 - Integrated Circuits and Systems
- Tapa dura
Librería: AHA-BUCH GmbH, Einbeck, AlemaniaAHA-BUCH GmbH
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 164,49
Envío por EUR 63,35Se envía de Alemania a Estados Unidos de AmericaCantidad disponible: 1 disponibles
Buch. Condición: Neu. Druck auf Anfrage Neuware - Printed after ordering - Assertion-based IP is much more than a comprehensive set of related assertions. It is a full-fledged reusable and configurable transaction-level verification component, which is used to detect both interesting and incorrect behaviors. Upon detecting inter…esting or incorrect behavior, the assertion-based IP alerts other verification components within a simulation environment, which are responsible for taking appropriate action. The focus of this book is to bring the assertion discussion up to a higher level and introduce a process for creating effective, reusable, assertion-based IP, which easily integrates with the user's existing verification environment, in other words the testbench infrastructure.The guiding principles promoted in this book when creating an assertion-based IP monitor are: modularity-assertion-based IP should have a clear separation between detection and actionclarity-assertion-based IP should be written initially focusing on capturing intent (versus optimizations) A unique feature of this book is the fully worked out, detailed examples. The concepts presented in the book are drawn from the authors' experience developing assertion-based IP, as well as general assertion-based techniques. Creating Assertion-Based IP is an important resource for design and verification engineers.From the Foreword:Creating Assertion-Based IP '.reduces to process the creation of one of the most valuable kinds of VIP: assertion-based VIP.This book will serve as a valuable reference for years to come.'Andrew Piziali, Sr. Design Verification EngineerCo-Author, ESL Design and Verification: A Prescription for Electronic System Level MethodologyAuthor, Functional Verification Coverage Measurement and Analysis.
Idioma: Inglés
Editorial: Springer-Verlag New York Inc 2007
Serie: Integrated Circuits and Systems, Libro 11 de 34. Libro 11 de 34 - Integrated Circuits and Systems
- Tapa dura
Librería: Revaluation Books, Exeter, , Reino UnidoRevaluation Books
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 238,40
Envío por EUR 14,41Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: 2 disponibles
Hardcover. Condición: Brand New. 1st edition. 313 pages. 9.25x6.25x1.00 inches. In Stock.
Idioma: Inglés
Editorial: Springer US 2007
Serie: Integrated Circuits and Systems, Libro 11 de 34. Libro 11 de 34 - Integrated Circuits and Systems
- Tapa dura
- Impresión bajo demanda
Librería: moluna, Greven, , Alemaniamoluna
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 132,75
Envío por EUR 48,99Se envía de Alemania a Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Gebunden. Condición: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. Demonstrates a systematic process for formal specification and formal testplanningDemonstrates effective use of assertions languages beyond the traditional language construct discussionsNo existing books tha…t talk about either formal testpl.
Idioma: Inglés
Editorial: Springer US Nov 2007 2007
Serie: Integrated Circuits and Systems, Libro 11 de 34. Libro 11 de 34 - Integrated Circuits and Systems
- Tapa dura
- Impresión bajo demanda
Librería: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, , AlemaniaBuchWeltWeit Ludwig Meier e.K.
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 160,49
Envío por EUR 23,00Se envía de Alemania a Estados Unidos de AmericaCantidad disponible: 2 disponibles
Buch. Condición: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book presents formal testplanning guidelines with examples focused on creating assertion-based verification IP. It demonstrates a systematic process for formal specification and formal testplanning, and also demonstrates effective use… of assertions languages beyond the traditional language construct discussionsNote that there many books published on assertion languages (such as SystemVerilog assertions and PSL). Yet, none of them discuss the important process of testplanning and using these languages to create verification IP. This is the first book published on this subject. 336 pp. Englisch.
Más imágenesIdioma: Inglés
Editorial: Copernicus 2007
Serie: Integrated Circuits and Systems, Libro 11 de 34. Libro 11 de 34 - Integrated Circuits and Systems
- Tapa dura
- Impresión bajo demanda
Librería: preigu, Osnabrück, Alemaniapreigu
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 137,65
Envío por EUR 70,00Se envía de Alemania a Estados Unidos de AmericaCantidad disponible: 5 disponibles
Buch. Condición: Neu. Creating Assertion-Based IP | Adam C. Krolnik (u. a.) | Buch | xviii | Englisch | 2007 | Copernicus | EAN 9780387366418 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu Print on Demand.
Idioma: Inglés
Editorial: Springer US, Copernicus Nov 2007 2007
Serie: Integrated Circuits and Systems, Libro 11 de 34. Libro 11 de 34 - Integrated Circuits and Systems
- Tapa dura
- Impresión bajo demanda
Librería: buchversandmimpf2000, Emtmannsberg, BAYE, Alemaniabuchversandmimpf2000
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 160,49
Envío por EUR 60,00Se envía de Alemania a Estados Unidos de AmericaCantidad disponible: 1 disponibles
Buch. Condición: Neu. This item is printed on demand - Print on Demand Titel. Neuware -Assertion-based IP is much more than a comprehensive set of related assertions. It is a full-fledged reusable and configurable transaction-level verification component, which is used to detect both interesting and incorrect behaviors. Upon det…ecting interesting or incorrect behavior, the assertion-based IP alerts other verification components within a simulation environment, which are responsible for taking appropriate action. The focus of this book is to bring the assertion discussion up to a higher level and introduce a process for creating effective, reusable, assertion-based IP, which easily integrates with the user¿s existing verification environment, in other words the testbench infrastructure.The guiding principles promoted in this book when creating an assertion-based IP monitor are:modularity¿assertion-based IP should have a clear separation between detection and actionclarity¿assertion-based IP should be written initially focusing on capturing intent (versus optimizations)A unique feature of this book is the fully worked out, detailed examples. The concepts presented in the book are drawn from the authors¿ experience developing assertion-based IP, as well as general assertion-based techniques. Creating Assertion-Based IP is an important resource for design and verification engineers.From the Foreword:Creating Assertion-Based IP '¿reduces to process the creation of one of the most valuable kinds of VIP: assertion-based VIP¿This book will serve as a valuable reference for years to come.'Andrew Piziali, Sr. Design Verification EngineerCo-Author, ESL Design and Verification: A Prescription for Electronic System Level MethodologyAuthor, Functional Verification Coverage Measurement and AnalysisSpringer-Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 336 pp. Englisch.
