Microcode Verification - Another Piece of the Microprocessor Verification Puzzle

Abstract

Despite significant progress in formal hardware verification in the past decade, little has been published on the verification of microcode. Microcode is the heart of every microprocessor and is one of the most complex parts of the design: it is tightly connected to the huge machine state, written in an assembly-like language that has no support for data or… (More)
DOI: 10.1007/978-3-319-08970-6_1

Topics

5 Figures and Tables

Statistics

0204060201520162017
Citations per Year

Citation Velocity: 9

Averaging 9 citations per year over the last 3 years.

Learn more about how we calculate this metric in our FAQ.