Assertion checking by combined word-level ATPG and modular arithmetic constraint-solving techniques.

Chung-Yang Huang, Kwang-Ting Cheng

Browse the full DAC paper archive.