{"product_id":"constraint-based-verification-9780387259475","title":"Constraint-Based Verification","description":"\u003cp\u003e • Author(s): Jun Yuan | Carl Pixley | Adnan Aziz\u003cbr\u003e • Publisher: Springer\u003cbr\u003e • Publisher Imprint: Springer\u003cbr\u003e • BISAC: Electricity\u003c\/p\u003e\u003cp\u003e\u003c\/p\u003e\u003cp\u003eAs 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.\u003c\/p\u003e","brand":"Springer","offers":[{"title":"Hardcover","offer_id":47613285269655,"sku":"9780387259475","price":8006.0,"currency_code":"INR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0666\/3471\/1191\/files\/9780387259475.webp?v=1775084016","url":"https:\/\/atlanticbooks.com\/products\/constraint-based-verification-9780387259475","provider":"Atlantic Books","version":"1.0","type":"link"}