"Synthesis for Manufacturability: A Sanity Check."

Alessandra Nardi, Alberto L. Sangiovanni-Vincentelli (2004)
a service of Schloss Dagstuhl - Leibniz Center for Informatics