Theory of Program Structures: Schemes, Semantics, Verification
Theory of Program Structures: Schemes, Semantics, Verification
Synthesis of Digital Design from Recursive Equations
Synthesis of Digital Design from Recursive Equations
Logic Minimization Algorithms for VLSI Synthesis
Logic Minimization Algorithms for VLSI Synthesis
Heuristics for the Circuit Realization Problem
DAC '83 Proceedings of the 20th Design Automation Conference
A knowledge based approach to VLSI CAD the redesign system
DAC '84 Proceedings of the 21st Design Automation Conference
Developments in verification of design correctness (A Tutorial)
DAC '80 Proceedings of the 17th Design Automation Conference
DAC '80 Proceedings of the 17th Design Automation Conference
Automated data path design for instruction set processors
Automated data path design for instruction set processors
Computational Aspects of VLSI
Principles of Compiler Design (Addison-Wesley series in computer science and information processing)
Principles of Compiler Design (Addison-Wesley series in computer science and information processing)
Designer controlled behavioral synthesis
DAC '89 Proceedings of the 26th ACM/IEEE Design Automation Conference
DAC '86 Proceedings of the 23rd ACM/IEEE Design Automation Conference
From Behavior to Structure: High-Level Synthesis
IEEE Design & Test
Optimal synthesis of control logic from behavioral specifications
Integration, the VLSI Journal
| Hi-index | 0.00 |
Several techniques that can be used for the synthesis of structures from behavioural level descriptions are discussed. Data flow analysis, graph grammars, 'direct' compilation and 'knowledge-based' systems among others are reviewed and their applicability to synthesis is investigated. Both the specification at the behavioural level and the resulting structure are defined formally by directed graphs. Synthesis is then a transformation between these graphs. It is shown that algorithmic techniques can yield efficient designs, specially if several of them are combined.