an der UC Berkeley entwickeltes Softwarepaket zur zweistufigen Logiksynthese. Eine genaue Beschreibung findet man in [1].

[1] Brayton, R.; Hachtel, G.; McMullen, C.; Sanviovanni-Vincentelli, A.: Logic Minimization Algorithms for VLSI Synthesis. Kluwer Academic Publishers Boston Dordrecht London, 1984.