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.
Autres éditions populaires du même titre
Résultats de recherche pour Creating Assertion-Based IP
Image d'archives
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 : HPB-Red, Dallas, TX, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
Hardcover. Etat : 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! N° de réf. du vendeur S_333385743
Acheter D'occasion
EUR 21,43
Expédition à EUR 3,25
Expédition nationale : Etats-Unis
Expédition nationale : Etats-Unis
Quantité disponible : 1 disponible(s)
Image d'archives
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 : PAPER CAVALIER US, Brooklyn, NY, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
Etat : 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. N° de réf. du vendeur 9780387366418-3
Acheter D'occasion
EUR 24,99
Livraison gratuite
Expédition nationale : Etats-Unis
Expédition nationale : Etats-Unis
Quantité disponible : 1 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
Acheter neuf
EUR 48,61
Expédition à EUR 3,46
Expédition nationale : Etats-Unis
Expédition nationale : Etats-Unis
Quantité disponible : 4 disponible(s)
Image d'archives
Creating Assertion-Based IP
Vendeur : Majestic Books, Hounslow, Royaume-Uni
Évaluation du vendeur 4 sur 5 étoiles
Etat : New. pp. 336 Illus. N° de réf. du vendeur 7597404
Acheter neuf
EUR 45,37
Expédition à EUR 7,53
Expédition depuis Royaume-Uni vers Etats-Unis
Expédition depuis Royaume-Uni vers Etats-Unis
Quantité disponible : 4 disponible(s)
Image d'archives
Creating Assertion-Based IP
Vendeur : Biblios, Frankfurt am main, HESSE, Allemagne
Évaluation du vendeur 4 sur 5 étoiles
Etat : New. pp. 336. N° de réf. du vendeur 18283273
Acheter neuf
EUR 43,74
Expédition à EUR 9,95
Expédition depuis Allemagne vers Etats-Unis
Expédition depuis Allemagne vers Etats-Unis
Quantité disponible : 4 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
Acheter D'occasion
EUR 40,61
Expédition à EUR 15,77
Expédition depuis Royaume-Uni vers Etats-Unis
Expédition depuis Royaume-Uni vers Etats-Unis
Quantité disponible : 1 disponible(s)
Image d'archives
Creating Assertion-Based Ip
Vendeur : SMASS Sellers, IRVING, TX, Etats-Unis
Évaluation du vendeur 4 sur 5 étoiles
Etat : New. Brand New Original US Edition. Customer service! Satisfaction Guaranteed. N° de réf. du vendeur ASNNN-70920
Acheter neuf
EUR 58,41
Livraison gratuite
Expédition nationale : Etats-Unis
Expédition nationale : Etats-Unis
Quantité disponible : 5 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, Cleethorpes, North East 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
Acheter neuf
EUR 35,82
Expédition à EUR 34,78
Expédition depuis Royaume-Uni vers Etats-Unis
Expédition depuis Royaume-Uni vers Etats-Unis
Quantité disponible : 2 disponible(s)
Edition internationale
CREATING ASSERTION BASED IP (HB 2008)
Edition internationaleVendeur : UK BOOKS STORE, London, LONDO, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
Etat : 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 the Book weight is more than 5 LB. This Item May be shipped from India, United states & United Kingdom. Depending on your location and availability. N° de réf. du vendeur CBS 9780387366418
Acheter neuf
EUR 96,30
Expédition à EUR 4,63
Expédition depuis Royaume-Uni vers Etats-Unis
Expédition depuis Royaume-Uni vers Etats-Unis
Quantité disponible : Plus de 20 disponibles
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 ABEOCT25-82762
Acheter neuf
EUR 102,88
Livraison gratuite
Expédition nationale : Etats-Unis
Expédition nationale : Etats-Unis
Quantité disponible : 1 disponible(s)