Automatic word-level abstraction of datapath.

Cunxi Yu, Maciej J. Ciesielski

Browse the full ISCAS paper archive.