End-to-End Verification of Processors with ISA-Formal
CAV, pp. 42-58, 2016.
Despite 20+ years of research on processor verification, it remains hard to use formal verification techniques in commercial processor development. There are two significant factors: scaling issues and return on investment. The scaling issues include the size of modern processor specifications, the size/complexity of processor designs, th...More
PPT (Upload PPT)