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

Volume

1

fYear

1994

fDate

30 May-2 Jun 1994

Firstpage

291

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;

fLanguage

English

Publisher

ieee

Conference_Titel

Circuits and Systems, 1994. ISCAS '94., 1994 IEEE International Symposium on

Conference_Location

London

Print_ISBN

0-7803-1915-X

Type

conf

DOI

10.1109/ISCAS.1994.408812

Filename

408812