Designing a microcode synthesis system

Author

Tsang, C.P. ; Smith, S.E.

Author_Institution

Dept. of Comput. Sci., Western Australia Univ., Nedlands, WA, Australia

fYear

1990

fDate

24-27 Sep 1990

Firstpage

437

Abstract

The authors report the design of a microcode synthesizer which can automatically synthesize microcodes from a given datapath and a set of finite state graphs where the edges specify the pre- and post-conditions of the state of concurrent events in the datapath. The structure of such a system can be divided into data-flow generation and control-flow generation. Details of the datapath specification language, state graph specification and control-flow generation using a product graph construction are reported. This leads to the development of the state-graph architectural model for the handling of concurrent processes. It use is illustrated by small examples of microcode generation. An experimental system based on these ideas has been implemented using Common LISP and results are presented

Keywords

microprogramming; software tools; Common LISP; control-flow generation; data-flow generation; datapath specification language; design; microcode synthesis system; microcode synthesizer; product graph construction; state graph specification; state-graph architectural model; Automatic control; Automatic generation control; Computer aided instruction; Computer languages; Computer science; Control system synthesis; Flow graphs; Microprogramming; Reduced instruction set computing; Synthesizers;

fLanguage

English

Publisher

ieee

Conference_Titel

Computer and Communication Systems, 1990. IEEE TENCON'90., 1990 IEEE Region 10 Conference on

Print_ISBN

0-87942-556-3

Type

conf

DOI

10.1109/TENCON.1990.152649

Filename

152649