{"product_id":"functional-verification-of-programmable-embedded-architectures-a-top-down-approach-9781489973368","title":"Functional Verification of Programmable Embedded Architectures: A Top-Down Approach","description":"\u003cp\u003e • Author(s): Prabhat Mishra\u003cbr\u003e • Publisher: Springer\u003cbr\u003e • Publisher Imprint: Springer\u003cbr\u003e • BISAC: Computer Architecture\u003c\/p\u003e\u003cp\u003e\u003c\/p\u003e\u003cp\u003e\u003cb\u003eFrom the Back Cover\u003c\/b\u003e\u003cbr\u003e\u003c\/p\u003e\u003cp\u003eValidation of programmable architectures, consisting of processor cores, coprocessors, and memory subsystems, is one of the major bottlenecks in current System-on-Chip design methodology. A critical challenge in validation of such systems is the lack of a golden reference model. As a result, many existing validation techniques employ a bottom-up approach to design verification, where the functionality of an existing architecture is, in essence, reverse-engineered from its implementation. Traditional validation techniques employ different reference models depending on the abstraction level and verification task, resulting in potential inconsistencies between multiple reference models.\u003c\/p\u003e \u003cp\u003e\u003c\/p\u003e \u003cp\u003eThis book presents a top-down validation methodology that complements the existing bottom-up approaches. It leverages the system architect's knowledge about the behavior of the design through architecture specification using an Architecture Description Language (ADL). The authors also address two fundamental challenges in functional verification: lack of a golden reference model, and lack of a comprehensive functional coverage metric. \u003c\/p\u003e\u003cp\u003e\u003c\/p\u003eFunctional Verification of Programmable Embedded Architectures: A Top-Down Approach is designed for students, researchers, CAD tool developers, designers, and managers interested in the development of tools, techniques and methodologies for system-level design, microprocessor validation, design space exploration and functional verification of embedded systems.","brand":"Springer","offers":[{"title":"Paperback","offer_id":45277330702487,"sku":"9781489973368","price":7277.0,"currency_code":"INR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0666\/3471\/1191\/files\/9781489973368.webp?v=1769288081","url":"https:\/\/atlanticbooks.com\/products\/functional-verification-of-programmable-embedded-architectures-a-top-down-approach-9781489973368","provider":"Atlantic Books","version":"1.0","type":"link"}