High-level synthesis of digital circuits by finding fixpoints

Author

Ghatraju, Lakshmikanth ; Abd-El-Barr, M.H. ; McCrosky, Carl

Author_Institution

Dept. of Comput. Sci., Saskatchewan Univ., Saskatoon, Sask., Canada

fYear

1994

fDate

28 Feb-3 Mar 1994

Firstpage

94

Lastpage

98

Abstract

A technique for the synthesis of two-level and nested logic from recursive behavioral specifications is presented. The two-level circuits derived are optimal (up to product term sharing). Different specifications of the same function always yield the same hardware. Any recursive first-order function can be synthesized without a stack - no other high-level synthesis systems have demonstrated this capability. The technique is extended to synthesize circuits for a wide range of sequential circuits. The formal techniques used are based on domain theory and “frontiers” algorithms

Keywords

VLSI; circuit CAD; combinatorial circuits; digital integrated circuits; integrated logic circuits; logic CAD; sequential circuits; VLSI design; digital circuits; domain theory; fixpoint location; frontiers algorithms; high-level synthesis; nested logic; recursive behavioral specifications; recursive first-order function; sequential circuits; two-level logic; Algorithm design and analysis; Circuit synthesis; Design automation; Digital circuits; Genetic mutations; Hardware design languages; High level synthesis; Integrated circuit synthesis; Logic; Sequential circuits;

fLanguage

English

Publisher

ieee

Conference_Titel

European Design and Test Conference, 1994. EDAC, The European Conference on Design Automation. ETC European Test Conference. EUROASIC, The European Event in ASIC Design, Proceedings.

Conference_Location

Paris

Print_ISBN

0-8186-5410-4

Type

conf

DOI

10.1109/EDTC.1994.326892

Filename

326892