Tri-state bus conflict checking method for ATPG using BDD | IEEE Conference Publication | IEEE Xplore