Datenstrukturen und effiziente Algorithmen für die Logiksynthese kombinatorischer Schaltungen

by Paul Molitor, Christoph Scholl