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

Huang, Chung-YangChung-YangHuangCheng, Kwang-TingKwang-TingChengCHUNG-YANG HUANG2020-06-112020-06-112000https://scholars.lib.ntu.edu.tw/handle/123456789/499734Assertion checking by combined word-level ATPG and modular arithmetic constraint-solving techniques.conference paper10.1145/337292.337333https://doi.org/10.1145/337292.337333