Verification of fixed-point datapaths with comparator units using Constrained Arithmetic Transform (CAT).

Omid Sarbishei, Katarzyna Radecka

Browse the full ISCAS paper archive.