Title :
A synthesis framework based on trace and automata theory
Author :
Fron, Jérôme ; Yang, Jerry Chih-Yuan ; Damiani, Maurizio ; Micheli, Giovanni De
Author_Institution :
Center for Integrated Systems, Stanford Univ., CA, USA
fDate :
30 May-2 Jun 1994
Abstract :
In this paper we present a method for modeling don´t cares at high-level in a form that can be used by sequential logic synthesis. Behavior is specified by a set of concurrent, interacting processes. Each process is described formally by its set of execution traces and represented by an ω-automaton. This type of specification is formally precise and allows the inclusion of don´t cares by allowing multiple execution traces for a given input. Moreover, it allows us to cast the synthesis problem into a language containment problem, and to provide a formal description of these don´t cares. We have developed a prototype synthesis system based on this framework, targeting the synthesis of the control portion of a circuit. Starting from a hardware description language Hardware, a specification is expressed in terms of a set of interconnected ω-automata. We demonstrate the feasibility of the approach by showing the possibility of traversing the state space of the specification automata
Keywords :
automata theory; high level synthesis; logic design; sequential circuits; state-space methods; Hardware; automata theory; concurrent interacting processes; don´t cares modelling; execution traces; formal description; hardware description language; interconnected ω-automata; sequential logic synthesis; specification automata; state space; synthesis framework; trace theory; Automata; Automatic control; Circuit synthesis; Control system synthesis; Hardware design languages; Integrated circuit interconnections; LAN interconnection; Logic; Prototypes; State-space methods;
Conference_Titel :
Circuits and Systems, 1994. ISCAS '94., 1994 IEEE International Symposium on
Conference_Location :
London
Print_ISBN :
0-7803-1915-X
DOI :
10.1109/ISCAS.1994.408812
