9780387366418 - creating assertion-based ip di krolnik, adam c.; foster, harry d. (19 risultati)
Lingua: Inglese
Editore: Springer 2007
Serie: Integrated Circuits and Systems, Libro 11 di 34. Libro 11 di 34 - Integrated Circuits and Systems
- Rilegato
Da: HPB-Red, Dallas, TX, U.S.A.HPB-Red
Contatta il venditoreVenditore con 5 stelleCondizione: Usato - Buono
EUR 21,71
EUR 3,29 spedizioneSpedito in U.S.A.Quantità: 1 disponibili
Hardcover. Condizione: 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.
Lingua: Inglese
Editore: Springer 2007
Serie: Integrated Circuits and Systems, Libro 11 di 34. Libro 11 di 34 - Integrated Circuits and Systems
- Rilegato
Da: PAPER CAVALIER US, Brooklyn, NY, U.S.A.PAPER CAVALIER US
Contatta il venditoreVenditore con 5 stelleCondizione: Usato - Molto buono
EUR 25,32
Spedizione gratuitaSpedito in U.S.A.Quantità: 1 disponibili
Condizione: 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.
Lingua: Inglese
Editore: Springer 2008
Serie: Integrated Circuits and Systems, Libro 11 di 34. Libro 11 di 34 - Integrated Circuits and Systems
- Rilegato
Da: Anybook.com, Lincoln, Regno UnitoAnybook.com
Contatta il venditoreVenditore con 5 stelleCondizione: Usato - Buono
EUR 40,60
EUR 15,76 spedizioneSpedito da Regno Unito a U.S.A.Quantità: 1 disponibili
Condizione: 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.
Lingua: Inglese
Editore: Springer, New York and Berlin 2008
Serie: Integrated Circuits and Systems, Libro 11 di 34. Libro 11 di 34 - Integrated Circuits and Systems
- Rilegato
- Prima edizione
Da: CURIO, Cleethorpes, North East Lincolnshire, Regno UnitoCURIO
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 35,82
EUR 34,77 spedizioneSpedito da Regno Unito a U.S.A.Quantità: 2 disponibili
Hardcover. Condizione: 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 asse…rtion-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).
Lingua: Inglese
Editore: Springer 2007
Serie: Integrated Circuits and Systems, Libro 11 di 34. Libro 11 di 34 - Integrated Circuits and Systems
- Rilegato
Da: Basi6 International, Irving, TX, U.S.A.Basi6 International
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 72,89
Spedizione gratuitaSpedito in U.S.A.Quantità: 8 disponibili
Condizione: Brand New. New. US edition. Expediting shipping for all USA and Europe orders excluding PO Box. Excellent Customer Service.
Lingua: Inglese
Editore: Springer 2007
Serie: Integrated Circuits and Systems, Libro 11 di 34. Libro 11 di 34 - Integrated Circuits and Systems
- Rilegato
Da: Books Puddle, New York, NY, U.S.A.Books Puddle
Contatta il venditoreVenditore con 4 stelleCondizione: Nuovo
EUR 70,19
EUR 3,50 spedizioneSpedito in U.S.A.Quantità: 4 disponibili
Condizione: New. pp. 336.
Lingua: Inglese
Editore: Springer 2007
Serie: Integrated Circuits and Systems, Libro 11 di 34. Libro 11 di 34 - Integrated Circuits and Systems
- Rilegato
Da: Romtrade Corp., STERLING HEIGHTS, MI, U.S.A.Romtrade Corp.
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 75,29
Spedizione gratuitaSpedito in U.S.A.Quantità: 5 disponibili
Condizione: 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.
Lingua: Inglese
Editore: Springer 2007
Serie: Integrated Circuits and Systems, Libro 11 di 34. Libro 11 di 34 - Integrated Circuits and Systems
- Rilegato
Da: Majestic Books, Hounslow, Regno UnitoMajestic Books
Contatta il venditoreVenditore con 4 stelleCondizione: Nuovo
EUR 69,32
EUR 7,53 spedizioneSpedito da Regno Unito a U.S.A.Quantità: 4 disponibili
Condizione: New. pp. 336 Illus.
Lingua: Inglese
Editore: Springer 2007
Serie: Integrated Circuits and Systems, Libro 11 di 34. Libro 11 di 34 - Integrated Circuits and Systems
- Rilegato
Da: Biblios, frankfurt am main, HESSE, GermaniaBiblios
Contatta il venditoreVenditore con 4 stelleCondizione: Nuovo
EUR 67,51
EUR 9,95 spedizioneSpedito da Germania a U.S.A.Quantità: 4 disponibili
Condizione: New. pp. 336.
Lingua: Inglese
Editore: SP SPRINGER 2008
Serie: Integrated Circuits and Systems, Libro 11 di 34. Libro 11 di 34 - Integrated Circuits and Systems
- Rilegato
- Edizione Internazionale
Da: UK BOOKS STORE, London, LONDO, Regno UnitoUK BOOKS STORE
Contatta il venditoreVenditore con 5 stelleEdizione InternazionaleCondizione: Nuovo
EUR 97,95
EUR 3,47 spedizioneSpedito da Regno Unito a U.S.A.Quantità: Più di 20 disponibili
Condizione: 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 t…he Book weight is more than 5 LB. This Item May be shipped from India, United states & United Kingdom. Depending on your location and availability.
Lingua: Inglese
Editore: Springer 2007
Serie: Integrated Circuits and Systems, Libro 11 di 34. Libro 11 di 34 - Integrated Circuits and Systems
- Rilegato
Da: Romtrade Corp., STERLING HEIGHTS, MI, U.S.A.Romtrade Corp.
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 102,74
Spedizione gratuitaSpedito in U.S.A.Quantità: 1 disponibili
Condizione: 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.
Lingua: Inglese
Editore: Springer 2007
Serie: Integrated Circuits and Systems, Libro 11 di 34. Libro 11 di 34 - Integrated Circuits and Systems
- Rilegato
Da: Basi6 International, Irving, TX, U.S.A.Basi6 International
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 102,74
Spedizione gratuitaSpedito in U.S.A.Quantità: 1 disponibili
Condizione: Brand New. New. US edition. Expediting shipping for all USA and Europe orders excluding PO Box. Excellent Customer Service.
Lingua: Inglese
Editore: Springer 2007
Serie: Integrated Circuits and Systems, Libro 11 di 34. Libro 11 di 34 - Integrated Circuits and Systems
- Rilegato
Da: Ria Christie Collections, Uxbridge, Regno UnitoRia Christie Collections
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 164,57
EUR 13,89 spedizioneSpedito da Regno Unito a U.S.A.Quantità: Più di 20 disponibili
Condizione: New. In.
Lingua: Inglese
Editore: Springer US, Copernicus 2007
Serie: Integrated Circuits and Systems, Libro 11 di 34. Libro 11 di 34 - Integrated Circuits and Systems
- Rilegato
Da: AHA-BUCH GmbH, Einbeck, GermaniaAHA-BUCH GmbH
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 164,49
EUR 63,35 spedizioneSpedito da Germania a U.S.A.Quantità: 1 disponibili
Buch. Condizione: 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 inte…resting 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.
Lingua: Inglese
Editore: Springer-Verlag New York Inc 2007
Serie: Integrated Circuits and Systems, Libro 11 di 34. Libro 11 di 34 - Integrated Circuits and Systems
- Rilegato
Da: Revaluation Books, Exeter, Regno UnitoRevaluation Books
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 240,57
EUR 14,49 spedizioneSpedito da Regno Unito a U.S.A.Quantità: 2 disponibili
Hardcover. Condizione: Brand New. 1st edition. 313 pages. 9.25x6.25x1.00 inches. In Stock.
Lingua: Inglese
Editore: Springer US 2007
Serie: Integrated Circuits and Systems, Libro 11 di 34. Libro 11 di 34 - Integrated Circuits and Systems
- Rilegato
- Print on Demand
Da: moluna, Greven, Germaniamoluna
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 132,75
EUR 48,99 spedizioneSpedito da Germania a U.S.A.Quantità: Più di 20 disponibili
Gebunden. Condizione: 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 th…at talk about either formal testpl.
Lingua: Inglese
Editore: Springer US Nov 2007 2007
Serie: Integrated Circuits and Systems, Libro 11 di 34. Libro 11 di 34 - Integrated Circuits and Systems
- Rilegato
- Print on Demand
Da: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, GermaniaBuchWeltWeit Ludwig Meier e.K.
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 160,49
EUR 23,00 spedizioneSpedito da Germania a U.S.A.Quantità: 2 disponibili
Buch. Condizione: 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 us…e 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.
Altre immaginiLingua: Inglese
Editore: Copernicus 2007
Serie: Integrated Circuits and Systems, Libro 11 di 34. Libro 11 di 34 - Integrated Circuits and Systems
- Rilegato
- Print on Demand
Da: preigu, Osnabrück, Germaniapreigu
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 137,65
EUR 70,00 spedizioneSpedito da Germania a U.S.A.Quantità: 5 disponibili
Buch. Condizione: 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.
Lingua: Inglese
Editore: Springer US, Copernicus Nov 2007 2007
Serie: Integrated Circuits and Systems, Libro 11 di 34. Libro 11 di 34 - Integrated Circuits and Systems
- Rilegato
- Print on Demand
Da: buchversandmimpf2000, Emtmannsberg, BAYE, Germaniabuchversandmimpf2000
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 160,49
EUR 60,00 spedizioneSpedito da Germania a U.S.A.Quantità: 1 disponibili
Buch. Condizione: 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 de…tecting 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.
