Binary decision diagrams and applications for vlsi cad

Descrição: Symbolic Boolean manipulation using binary decision diagrams (BDDs) has been successfully applied to a wide variety... Veja mais