Datenstrukturen und Effiziente Algorithmen Für Die Logiksynthese Kombinatorischer Schaltungen

by Paul Molitor, Christoph Scholl