Consistency and observability invariance in multi-level logic synthesis

This publication has 5 references indexed in Scilit:

• Performance enhancements in BOLD using 'implications'
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2003
• Multi-level logic simplification using don't cares and filters
  Published by Association for Computing Machinery (ACM) ,1989
• Multi-level logic minimization using implicit don't cares
  IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, 1988
• MIS: A Multiple-Level Logic Optimization System
  IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, 1987
• Global Flow Analysis in Automatic Logic Design
  IEEE Transactions on Computers, 1986