Static property checking using ATPG vs. BDD techniques.

Huang, Chung-YangChung-YangHuangYang, BwolenBwolenYangTsai, Huan-ChihHuan-ChihTsaiCheng, Kwang-TingKwang-TingChengCHUNG-YANG HUANG2020-06-112020-06-112000https://scholars.lib.ntu.edu.tw/handle/123456789/499724Static property checking using ATPG vs. BDD techniques.conference paper10.1109/TEST.2000.894219https://doi.org/10.1109/TEST.2000.894219