Logic design of digital systems
Logic design of digital systems
Logic Design and Switching Theory
Logic Design and Switching Theory
Logic Minimization Algorithms for VLSI Synthesis
Logic Minimization Algorithms for VLSI Synthesis
An overview of logic synthesis systems
DAC '87 Proceedings of the 24th ACM/IEEE Design Automation Conference
The implementation of a state machine compiler
DAC '87 Proceedings of the 24th ACM/IEEE Design Automation Conference
On the Optimal Design of Multiple-Valued PLAs
IEEE Transactions on Computers
Logic synthesis and optimization benchmarks for the 1986 Design Automation Conference
DAC '86 Proceedings of the 23rd ACM/IEEE Design Automation Conference
Behavioral Model Synthesis with Cones
IEEE Design & Test
A new synthesis technique for multilevel combinational circuits
EURO-DAC '90 Proceedings of the conference on European design automation
| Hi-index | 0.01 |
MACDAS (Multi-level AND-OR Circuit Design Automation System) designs a multi-level circuit with fan-in limited AND-OR gates. In MACDAS, a given specification is converted into an AND-OR two-level circuit; input variables are paired to produce an AND-OR two-level circuit with two-variable function generators; some of the outputs are complemented to obtain a circuit with fewer AND gates; the circuit is transformed into a multi-level fan-in limited AND-OR circuit; and finally the circuit is optimized by local transformations. MACDAS has been programmed in FORTRAN and C, and runs on a personal computer. Both arithmetic and control circuits are designed to show the performance of MACDAS.