Multilevel logic synthesis (1990)

by R K Brayton, G D Hachtel, A L SangiovanniVincentelli
Venue:Proceedings of the IEEE