Ashraf Salem Formal Verification of Digital Circuits. 15 2004 conf/iwsoc/2004 IWSOC http://dx.doi.org/10.1109/IWSOC.2004.10004 db/conf/iwsoc/iwsoc2004.html#Salem04