Algorithms for Multi-Level Logic Synthesis and Optimization

This publication has 6 references indexed in Scilit:

• Verification Algorithms for VLSI Synthesis
  Published by Springer Nature ,1987
• SOCRATES
  Published by Association for Computing Machinery (ACM) ,1986
• GENIE
  Published by Association for Computing Machinery (ACM) ,1986
• Optimal State Assignment for Finite State Machines
  IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, 1985
• The McBoole Logic Minimizer
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,1985
• Logic Minimization Algorithms for VLSI Synthesis
  Published by Springer Nature ,1984