DocumentCode
451922
Title
High-level Symbolic Construction Techniques for High Performance Sequential Synthesis
Author
Seawright, Andrew ; Brewer, Forrest
Author_Institution
ECE Dept. University of California, Santa Barbara
fYear
1993
fDate
14-18 June 1993
Firstpage
424
Lastpage
428
Abstract
Techniques for constructing synchronous sequential machines with associated data paths from an input format consisting of high-level non-deterministic productions are described. These construction techniques rely on recent work in symbolic Boolean representation and manipulation to produce an intermediate machine representation that is not impacted by state explosion.
Keywords
Boolean functions; Communication system control; Computer interfaces; Control systems; Explosions; Flow production systems; Hardware; High level synthesis; Protocols; State-space methods;
fLanguage
English
Publisher
ieee
Conference_Titel
Design Automation, 1993. 30th Conference on
ISSN
0738-100X
Print_ISBN
0-89791-577-1
Type
conf
DOI
10.1109/DAC.1993.203986
Filename
1600259
Link To Document