Articles liés à Creating Assertion-Based Verification IP
Synopsis
A project's functional verification testplan is the specification for the verification process. Developing this testplan usually involves the entire engineering team (architects, designers, and verification engineers). This book presents formal testplanning guidelines with examples focused on creating assertion-based verification IP. This is the first book published on this subject. 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 SystemVerilog assertions and PSL). Yet, none of them discuss the important process of testplanning and using these languages to create verification IP.
Les informations fournies dans la section « Synopsis » peuvent faire référence à une autre édition de ce titre.
Acheter neuf
Afficher cet article
EUR 27,35
EUR 7,95 expédition depuis Allemagne vers France
Destinations, frais et délais
Résultats de recherche pour Creating Assertion-Based Verification IP
Image d'archives
Creating Assertion-Based IP
Vendeur : Biblios, Frankfurt am main, HESSE, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
Etat : New. pp. 336. N° de réf. du vendeur 18283273
Quantité disponible : 4 disponible(s)
Image d'archives
Creating Assertion-Based IP
Vendeur : Books Puddle, New York, NY, Etats-Unis
Évaluation du vendeur 4 sur 5 étoiles
Etat : New. pp. 336. N° de réf. du vendeur 26283267
Quantité disponible : 4 disponible(s)
Image d'archives
Creating Assertion-Based IP
Vendeur : Majestic Books, Hounslow, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
Etat : New. pp. 336 Illus. N° de réf. du vendeur 7597404
Quantité disponible : 4 disponible(s)
Image d'archives
Creating Assertion-Based Ip
Vendeur : Basi6 International, Irving, TX, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
Etat : Brand New. New. US edition. Expediting shipping for all USA and Europe orders excluding PO Box. Excellent Customer Service. N° de réf. du vendeur ABEJUNE24-86198
Quantité disponible : Plus de 20 disponibles
Image d'archives
Creating Assertion-Based Ip
Vendeur : Romtrade Corp., STERLING HEIGHTS, MI, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
Etat : 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 réf. du vendeur ABNR-75902
Quantité disponible : 5 disponible(s)
Image fournie par le vendeur
Creating Assertion-Based IP (Integrated Circuits and Systems)
Edité par
Springer, 2007
ISBN 10 : 0387366415
ISBN 13 : 9780387366418
Ancien ou d'occasion
Couverture rigide
Vendeur : WeBuyBooks, Rossendale, LANCS, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
Etat : Like New. Most items will be dispatched the same or the next working day. An apparently unread copy in perfect condition. Dust cover is intact with no nicks or tears. Spine has no signs of creasing. Pages are clean and not marred by notes or folds of any kind. N° de réf. du vendeur wbs5143181861
Quantité disponible : 1 disponible(s)
Image d'archives
Creating Assertion-Based IP
Edité par
Springer, 2008
ISBN 10 : 0387366415
ISBN 13 : 9780387366418
Ancien ou d'occasion
Couverture rigide
Vendeur : Anybook.com, Lincoln, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
Etat : 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. N° de réf. du vendeur 5568086
Quantité disponible : 1 disponible(s)
Image fournie par le vendeur
Creating Assertion-Based IP - Integrated Circuits and Systems
Edité par
Springer, New York and Berlin, 2008
ISBN 10 : 0387366415
ISBN 13 : 9780387366418
Neuf
Couverture rigide
Edition originale
Vendeur : CURIO, Grimsby, N. E. Lincolnshire, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
Hardcover. Etat : 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 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 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). N° de réf. du vendeur ABE-1639238291162
Quantité disponible : 2 disponible(s)
Image d'archives
Creating Assertion-based Ip
Vendeur : Romtrade Corp., STERLING HEIGHTS, MI, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
Etat : 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 réf. du vendeur ABNR-84339
Quantité disponible : 1 disponible(s)
Image d'archives
Creating Assertion-based Ip
Vendeur : Basi6 International, Irving, TX, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
Etat : Brand New. New. US edition. Expediting shipping for all USA and Europe orders excluding PO Box. Excellent Customer Service. N° de réf. du vendeur ABEJUNE24-86199
Quantité disponible : 1 disponible(s)