Chung-Yang Huang, Bwolen Yang, Huan-Chih Tsai, Kwang-Ting Cheng. Static property checking using ATPG vs. BDD techniques. In Proceedings IEEE International Test Conference 2000, Atlantic City, NJ, USA, October 2000. pages 309-316, IEEE Computer Society, 2000.
Abstract is missing.