Assertion checking by combined word-level ATPG and modular arithmetic constraint-solving techniques | IEEE Conference Publication | IEEE Xplore