Specifying and verifying imprecise sequential datapaths by Arithmetic Transforms.

Katarzyna Radecka, Zeljko Zilic

Browse the full ICCAD paper archive.