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
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;
Conference_Titel :
Design Automation, 1993. 30th Conference on
Print_ISBN :
0-89791-577-1
DOI :
10.1109/DAC.1993.203986
