Static property checking using ATPG vs. BDD techniques.

Chung-Yang Huang, Bwolen Yang, Huan-Chih Tsai, Kwang-Ting Cheng

Browse the full ITC paper archive.