Automatic Datapath Abstraction In Hardware Systems.

Ramin Hojati, Robert K. Brayton

Browse the full CAV paper archive.