Efficient Design and Verification of Microinstructions in x86 ISA (Instruction Set Architecture) Compatible Processor

Jianfeng An,Xiaoya Fan
DOI: https://doi.org/10.3969/j.issn.1000-2758.2010.02.025
2010-01-01
Xibei Gongye Daxue Xuebao/Journal of Northwestern Polytechnical University
Abstract:The introduction of the full paper points out what we believe to be inefficiencies in existing designs and verifications of microinstructions. Hence we make a proposal that we believe is efficient. To achieve efficiency, we present a microinstruction development platform, whose block diagram is given in Fig. 1. Section 1 gives definitions of four categories of micro-assembly language. Section 2 explains our microinstruction assembler, which can compile about 400 microinstructions per second from micro-assembly format to binary format; Figs. 2 and 3 present the flow charts for scanning micro-assembly programs with our microinstruction assembler. Section 3 explains our microinstruction simulator, which can simulate and verify microinstructions independently; it evaluates the microinstruction development platform with SPLASH-2 benchmark; the evaluation results are presented in Figs. 4 and 5; Fig. 4 shows preliminarily that the simulation speed is about 60 KIPS (kilo instructions per second).
What problem does this paper attempt to address?