Compilers: principles, techniques, and tools
Compilers: principles, techniques, and tools
Automatic production of controller specifications from control and timing behavioral descriptions
DAC '89 Proceedings of the 26th ACM/IEEE Design Automation Conference
Approaches to multi-level sequential logic synthesis
DAC '89 Proceedings of the 26th ACM/IEEE Design Automation Conference
DAC '89 Proceedings of the 26th ACM/IEEE Design Automation Conference
HERCULES—a system for high-level synthesis
DAC '88 Proceedings of the 25th ACM/IEEE Design Automation Conference
Synthesis of Digital Design from Recursive Equations
Synthesis of Digital Design from Recursive Equations
Switching and Finite Automata Theory: Computer Science Series
Switching and Finite Automata Theory: Computer Science Series
Algorithmic and Register-Transfer Level Synthesis: The System Architect's Workbench
Algorithmic and Register-Transfer Level Synthesis: The System Architect's Workbench
A new interface specification methodology and its application to transducer synthesis
A new interface specification methodology and its application to transducer synthesis
Increasing user interaction during high-level synthesis
MICRO 24 Proceedings of the 24th annual international symposium on Microarchitecture
An Automaton Model for Scheduling Constraints in Synchronous Machines
IEEE Transactions on Computers
The General Product Machine: a New Model for Symbolic FSM Traversal
Formal Methods in System Design
| Hi-index | 0.00 |
Since many ASICs are dominated by control functions, control-dominated architectures form an important domain for behavioral synthesis. We propose modeling control-dominated architectures during behavioral synthesis as networks of communicating FSMs—the model more directly reflects behavior and allows more accurate cost estimation, especially for control, than do traditional data-directed representations for control-dominated machines. We show how to implement a number of important compiler optimizations on the FSM network model.