Tri-state bus conflict checking method for ATPG using BDD

• Authors:

• Yasushi Koseko;Takuji Ogihara;Shinichi Murai

• Affiliations:

• System LSI Laboratory, Mitsubishi Electric Corporation, 5-1-1 Ohfuna, Kamakura, 247 Japan;System LSI Laboratory, Mitsubishi Electric Corporation, 5-1-1 Ohfuna, Kamakura, 247 Japan;System LSI Laboratory, Mitsubishi Electric Corporation, 5-1-1 Ohfuna, Kamakura, 247 Japan

• Venue:
• ICCAD '93 Proceedings of the 1993 IEEE/ACM international conference on Computer-aided design
• Year:
• 1993