Verification of arithmetic datapath designs using word-level approach - A case study.

Cunxi Yu, Walter Brown, Maciej J. Ciesielski

Browse the full ISCAS paper archive.