SAT-based ATPG testing of inter- and intra-gate bridging faults. - Toru Nakura; Yutaro Tatemura; Görschwin Fey; Makoto Ikeda; Satoshi Komatsu; Kunihiro Asada (ECCTD, 2009)