{"product_id":"versatile-hardware-analysis-techniques-lucas-klemmer-ebook","title":"Versatile Hardware Analysis Techniques","description":"\u003cp\u003eChapter 1 Introduction.- Chapter 2 Background.- Chapter 3 Processor Verification by Equivalent Program Execution.- Chapter 4 A Formally Verified Microcoded RISC-V Platform.- Chapter 5 The Waveform Analysis Language.- Chapter 6 Programmable Analysis of RISC-V Processors using WAL.- Chapter 7 HDL-Integrated Waveform Analysis.- Chapter 8 An Interactive Debugging Methodology Based on WAL.- Chapter 9 Netlist Optimization using Formal Methods under ExternalConstraints.- Chapter 10 Conclusion and Outlook.\u003c\/p\u003e","brand":"Lucas Klemmer","offers":[{"title":"Default Title","offer_id":53650928730439,"sku":"9783031830938","price":149.79,"currency_code":"EUR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0920\/5455\/2903\/files\/versatile-hardware-analysis-techniques-ebook-cover.webp?v=1775321894","url":"https:\/\/www.cinebuch.de\/products\/versatile-hardware-analysis-techniques-lucas-klemmer-ebook","provider":"CineBuch","version":"1.0","type":"link"}