Session 3D - Exploiting arithmetic constructs in verification

G. Janssen,Yirng-An Chen
DOI: https://doi.org/10.1109/iccad.2005.1560079
Abstract:
What problem does this paper attempt to address?