Tri-state bus conflict checking method for ATPG using BDD.

Yasushi Koseko, Takuji Ogihara, Shinichi Murai

Browse the full ICCAD paper archive.