Synthesis Techniques for Digital Systems Design

This publication has 6 references indexed in Scilit:

• Logic Minimization Algorithms for VLSI Synthesis
  Published by Springer Nature ,1984
• A Knowledge Based Approach to VLSI CAD the Redesign System
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,1984
• Heuristics for the Circuit Realization Problem
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,1983
• A design methodology and computer aids for digital VLSI systems
  IEEE Transactions on Circuits and Systems, 1981
• Bristle Blocks: A Silicon Compiler
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,1979
• Theory of Program Structures: Schemes, Semantics, Verification
  Published by Springer Nature ,1975