Rule-based testability rule check program. - Yasushi Koseko; C. Hiramine; Takuji Ogihara; Shinichi Murai (ICCD, 1990)

Testable design and support tool for cell based test. - Takuji Ogihara; Yasushi Koseko; Genichi Yonemori; Hiroyuki Kawai (ITC, 1990)

Tri-state bus conflict checking method for ATPG using BDD. - Yasushi Koseko; Takuji Ogihara; Shinichi Murai (ICCAD, 1993)