Verification Algorithms for VLSI Synthesis

This publication has 4 references indexed in Scilit:

• Logic Minimization Algorithms for VLSI Synthesis
  Published by Springer Nature ,1984
• Redundancy and Don't Cares in Logic Synthesis
  IEEE Transactions on Computers, 1983
• Logic Synthesis Through Local Transformations
  IBM Journal of Research and Development, 1981
• Representation of Switching Circuits by Binary-Decision Programs
  Bell System Technical Journal, 1959