Articles liés à Constraint-Based Verification
Synopsis
As the complexity and miniaturization of electronic hardware advances, more time and money is actually now spent on testing and verification than in the preliminary design stage. This practical-oriented guidebook covers both the fundamentals and the techniques of constraint-based testbench automation. The book compares and contrasts constraint-based verification with traditional testbench approaches: test generation (a key concept), simulation monitoring, and coverage. Related aspects of verification languages such as e/vera/PSL/OVL/SVA are also covered. On the technical side, state-of-the art algorithms of test generation, performance optimization, and randomization are explained.
Les informations fournies dans la section « Synopsis » peuvent faire référence à une autre édition de ce titre.
Acheter neuf
Afficher cet article
EUR 92,27
EUR 9,70 expédition depuis Allemagne vers France
Destinations, frais et délais
Résultats de recherche pour Constraint-Based Verification
Image fournie par le vendeur
Constraint-Based Verification
impression à la demandeVendeur : moluna, Greven, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
Etat : New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. Covers the methodology and state-of-the-art techniques of constrained verification, which is new and popularIt relates constrained verification with the also-hot technology called assertion-based designDiscussed and clarifies language issue. N° de réf. du vendeur 4174224
Quantité disponible : Plus de 20 disponibles
Image fournie par le vendeur
Constraint-Based Verification
impression à la demandeVendeur : BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
Taschenbuch. Etat : Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Covers the methodology and state-of-the-art techniques of constrained verification, which is new and popular.It relates constrained verification with the also-hot technology called assertion-based design.Discussed and clarifies language issues, critical to both the above, which will help the implementation of these languages. 272 pp. Englisch. N° de réf. du vendeur 9781441938527
Quantité disponible : 2 disponible(s)
Image fournie par le vendeur
Constraint-Based Verification
Vendeur : AHA-BUCH GmbH, Einbeck, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
Taschenbuch. Etat : Neu. Druck auf Anfrage Neuware - Printed after ordering - Constraint-Based Verification covers an emerging field in functional verification of electronic designs, referred to as the 'constraint-based verification.' The topics are developed in the context of a wide range of dynamic and static verification approaches including simulation, emulation, and formal methods. The goal is to show how constraints, or assertions, can be used towards automating the generation of testbenches, resulting in a seamless verification flow. Topics such as verification coverage, and connection with assertion based verification, are also covered.The book targets verification engineers as well as researchers. It covers both methodological and technical issues. Particular stress is given to the latest advances in functional verification.The research community has witnessed recent growth of interests in constraint-based functional verification. Various techniques have been developed. They are relatively new, but have reached a level of maturity so that they are appearing in commercial tools such as Vera and System Verilog. N° de réf. du vendeur 9781441938527
Quantité disponible : 1 disponible(s)
Image fournie par le vendeur
Constraint-Based Verification
Edité par
Springer US, Springer New York Okt 2010, 2010
ISBN 10 : 1441938524
ISBN 13 : 9781441938527
Neuf
Taschenbuch
Vendeur : buchversandmimpf2000, Emtmannsberg, BAYE, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
Taschenbuch. Etat : Neu. This item is printed on demand - Print on Demand Titel. Neuware -Constraint-Based Verification covers an emerging field in functional verification of electronic designs, referred to as the 'constraint-based verification.' The topics are developed in the context of a wide range of dynamic and static verification approaches including simulation, emulation, and formal methods. The goal is to show how constraints, or assertions, can be used towards automating the generation of testbenches, resulting in a seamless verification flow. Topics such as verification coverage, and connection with assertion based verification, are also covered.The book targets verification engineers as well as researchers. It covers both methodological and technical issues. Particular stress is given to the latest advances in functional verification.The research community has witnessed recent growth of interests in constraint-based functional verification. Various techniques have been developed. They are relatively new, but have reached a level of maturity so that they are appearing in commercial tools such as Vera and System Verilog.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 272 pp. Englisch. N° de réf. du vendeur 9781441938527
Quantité disponible : 1 disponible(s)
Image d'archives
Constraint-Based Verification
Vendeur : Books Puddle, New York, NY, Etats-Unis
Évaluation du vendeur 4 sur 5 étoiles
Etat : New. pp. 272. N° de réf. du vendeur 263054979
Quantité disponible : 4 disponible(s)
Image d'archives
Constraint-Based Verification
Edité par
Springer-Verlag New York Inc., 2010
ISBN 10 : 1441938524
ISBN 13 : 9781441938527
Neuf
Paperback / softback
Vendeur : THE SAINT BOOKSTORE, Southport, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
Paperback / softback. Etat : New. This item is printed on demand. New copy - Usually dispatched within 5-9 working days 416. N° de réf. du vendeur C9781441938527
Quantité disponible : Plus de 20 disponibles
Image d'archives
Constraint-Based Verification
impression à la demandeVendeur : Majestic Books, Hounslow, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
Etat : New. Print on Demand pp. 272 72 Illus. N° de réf. du vendeur 5841500
Quantité disponible : 4 disponible(s)
Image d'archives
Constraint-Based Verification
Vendeur : Revaluation Books, Exeter, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
Paperback. Etat : Brand New. 265 pages. 9.00x6.00x0.62 inches. In Stock. N° de réf. du vendeur x-1441938524
Quantité disponible : 2 disponible(s)
Image d'archives
Constraint-Based Verification
Vendeur : Lucky's Textbooks, Dallas, TX, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
Etat : New. N° de réf. du vendeur ABLIING23Mar2411530295363
Quantité disponible : Plus de 20 disponibles
Image d'archives
Constraint-Based Verification
impression à la demandeVendeur : Biblios, Frankfurt am main, HESSE, Allemagne
Évaluation du vendeur 4 sur 5 étoiles
Etat : New. PRINT ON DEMAND pp. 272. N° de réf. du vendeur 183054985
Quantité disponible : 4 disponible(s)