"Automatic Datapath Abstraction In Hardware Systems."

Ramin Hojati, Robert K. Brayton (1995)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics