{"product_id":"creating-assertion-based-ip-9781441942180","title":"Creating Assertion-Based IP","description":"\u003cp\u003e • Author(s): Harry D. Foster\u003cbr\u003e • Publisher: Springer\u003cbr\u003e • Publisher Imprint: Springer\u003cbr\u003e • BISAC: Electronics - Circuits - General\u003c\/p\u003e\u003cp\u003e\u003c\/p\u003e\u003cp\u003e\u003cb\u003eFrom the Back Cover\u003c\/b\u003e\u003cbr\u003e\u003c\/p\u003e\u003cp\u003eAssertion-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 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.\u003c\/p\u003e \u003cp\u003e\u003c\/p\u003e \u003cp\u003eThe guiding principles promoted in this book when creating an assertion-based IP monitor are: \u003c\/p\u003e \u003cul\u003e \u003cp\u003e \u003c\/p\u003e\n\u003cli\u003e\n\u003cem\u003emodularity\u003c\/em\u003e--assertion-based IP should have a clear separation between detection and action\u003cbr\u003e\u003cem\u003e\u003cbr\u003e\u003c\/em\u003e\n\u003c\/li\u003e \u003cli\u003e\n\u003cem\u003eclarity\u003c\/em\u003e--assertion-based IP should be written initially focusing on capturing intent (versus optimizations) \u003c\/li\u003e \u003cp\u003e\u003c\/p\u003e\n\u003c\/ul\u003e \u003cp\u003e\u003c\/p\u003e \u003cp\u003eA 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. \u003cem\u003eCreating Assertion-Based IP\u003c\/em\u003e is an important resource for design and verification engineers.\u003c\/p\u003e \u003cp\u003eFrom the Foreword: \u003c\/p\u003e \u003cp\u003e\u003c\/p\u003e \u003cp\u003e\u003cem\u003eCreating Assertion-Based IP\u003c\/em\u003e \"...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.\" \u003c\/p\u003e\u003cp\u003e\u003c\/p\u003eAndrew Piziali, Sr. Design Verification Engineer\u003cbr\u003eCo-Author, \u003cem\u003eESL Design and Verification: A Prescription for Electronic System Level Methodology\u003cbr\u003e\u003c\/em\u003eAuthor, \u003cem\u003eFunctional Verification Coverage Measurement and Analysis\u003c\/em\u003e\u003cbr\u003e","brand":"Springer","offers":[{"title":"Paperback","offer_id":45274258899095,"sku":"9781441942180","price":8005.0,"currency_code":"INR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0666\/3471\/1191\/files\/9781441942180.webp?v=1769279385","url":"https:\/\/atlanticbooks.com\/products\/creating-assertion-based-ip-9781441942180","provider":"Atlantic Books","version":"1.0","type":"link"}