{"product_id":"hardware-verification-with-system-verilog-mike-mintz-9780387717388","title":"Hardware Verification with System Verilog: An Object-Oriented Framework","description":"\u003cp\u003eVerification is increasingly complex, and SystemVerilog is one of the languages that the verification community is turning to. However, no language by itself can guarantee success without proper techniques. Object-oriented programming (OOP), with its focus on managing complexity, is ideally suited to this task.\u003c\/p\u003e \u003cp\u003e\u003c\/p\u003e \u003cp\u003eWith this handbook--the first to focus on applying OOP to SystemVerilog--we'll show how to manage complexity by using layers of abstraction and base classes. By adapting these techniques, you will write more \"reasonable\" code, and build efficient and reusable verification components.\u003c\/p\u003e \u003cp\u003e\u003c\/p\u003e \u003cp\u003eBoth a learning tool and a reference, this handbook contains hundreds of real-world code snippets and three professional verification-system examples. You can copy and paste from these examples, which are all based on an open-source, vendor-neutral framework (with code freely available at www.trusster.com).\u003c\/p\u003e \u003cp\u003e\u003c\/p\u003e \u003cp\u003eLearn about OOP techniques such as these: \u003c\/p\u003e \u003cul\u003e \u003cp\u003e \u003c\/p\u003e\n\u003cli\u003eCreating classes--code interfaces, factory functions, reuse\u003c\/li\u003e \u003cp\u003e\u003c\/p\u003e \u003cp\u003e \u003c\/p\u003e\n\u003cli\u003eConnecting classes--pointers, inheritance, channels\u003c\/li\u003e \u003cp\u003e\u003c\/p\u003e \u003cp\u003e \u003c\/p\u003e\n\u003cli\u003eUsing \"correct by construction\"--strong typing, base classes\u003c\/li\u003e \u003cp\u003e\u003c\/p\u003e \u003cp\u003e \u003c\/p\u003e\n\u003cli\u003ePackaging it up--singletons, static methods, packages\u003c\/li\u003e\n\u003c\/ul\u003e\u003cbr\u003e\u003cbr\u003e\u003cb\u003eAuthor:\u003c\/b\u003e Mike Mintz,Robert Ekendahl\u003cbr\u003e\u003cb\u003eISBN-10:\u003c\/b\u003e 0387717382\u003cbr\u003e\u003cb\u003eISBN-13:\u003c\/b\u003e 9780387717388\u003cbr\u003e\u003cb\u003ePublisher:\u003c\/b\u003e Springer\u003cbr\u003e\u003cb\u003eLanguage:\u003c\/b\u003e English\u003cbr\u003e\u003cb\u003ePublished:\u003c\/b\u003e 05\/22\/2007\u003cbr\u003e\u003cb\u003ePages:\u003c\/b\u003e 314\u003cbr\u003e\u003cb\u003eFormat:\u003c\/b\u003e Hardcover\u003cbr\u003e\u003cb\u003eWeight:\u003c\/b\u003e 1.88lbs\u003cbr\u003e\u003cb\u003eSize:\u003c\/b\u003e 7.22h x 10.22w x 0.97d","brand":"Mike Mintz","offers":[{"title":"Hardcover","offer_id":47421687759103,"sku":"9780387717388","price":169.99,"currency_code":"USD","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0662\/2982\/9887\/files\/img_9fb9a546-7d9e-49df-95ea-167fd8c8d619.jpg?v=1761527114","url":"https:\/\/www.whiterainbookhouse.com\/products\/hardware-verification-with-system-verilog-mike-mintz-9780387717388","provider":"WR Book House","version":"1.0","type":"link"}