Modular Verification of RTL Processors Against ISA Contracts (MIT, Google, UW)

<p>Researchers from MIT, Google, and University of Washington published a technical paper titled “Granite: A Modular Methodology for Foundational Verification of Hardware-Software Leakage Contracts.” Abstract Excerpt: &#8220;Granite is a methodology for modular verification of both functional correctness and nonleakage of RTL processors against ISA contracts. We prove that the cycle-by-cycle timing of a pipelined RISC... <a class="read_more" href="https://semiengineering.com/modular-verification-of-rtl-processors-against-isa-contracts-mit-google-uw/">&#187; read more</a></p> <p>The post <a href="https://semiengineering.com/modular-verification-of-rtl-processors-against-isa-contracts-mit-google-uw/">Modular Verification of RTL Processors Against ISA Contracts (MIT, Google, UW)</a> appeared first on <a href="https://semiengineering.com">Semiconductor Engineering</a>.</p>