DocumentCode :
2075935
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
fYear :
2013
fDate :
22-25 Jan. 2013
Firstpage :
787
Lastpage :
793
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;
fLanguage :
English
Publisher :
ieee
Conference_Titel :
Design Automation Conference (ASP-DAC), 2013 18th Asia and South Pacific
Conference_Location :
Yokohama
ISSN :
2153-6961
Print_ISBN :
978-1-4673-3029-9
Type :
conf
DOI :
10.1109/ASPDAC.2013.6509696
Filename :
6509696
Link To Document :
بازگشت