Title :
Implementing microprocessors from simplified descriptions
Author :
Patil, N.A. ; Chiou, Derek
Author_Institution :
Dept. of Electr. & Comput. Eng., Univ. of Texas at Austin, Austin, TX, USA
Abstract :
Despite the proliferation of high-level synthesis tools, hardware description of microprocessors remains complex. We argue that much of the incidental complexity can be relieved by untangling the description into separate functional and microarchitectural components. Such an untangling can be achieved using a high-level microcode compiler that can generate not only microcode, but also the micro-instruction format and the interpretations of each control bit. Simplifying hardware description will help the designer make better design-space trade-offs, and close the design and verification loop faster. This paper takes the reader through an implementation of a simple Y86 processor to qualitatively illustrate the complexity reduction from the untangling.
Keywords :
firmware; formal verification; high level synthesis; microprocessor chips; program compilers; Y86 processor; complexity reduction; control bit; design-space trade-offs; functional components; hardware description; high-level microcode compiler; high-level synthesis tools; micro-instruction format; microarchitectural components; microprocessors; simplified descriptions; verification loop; Arrays; Hardware; Microarchitecture; Pipelines; Radio frequency; Registers; Syntactics;
Conference_Titel :
Design Automation Conference (ASP-DAC), 2013 18th Asia and South Pacific
Conference_Location :
Yokohama
Print_ISBN :
978-1-4673-3029-9
DOI :
10.1109/ASPDAC.2013.6509696