On the development of ATPG based Satisfiability Checker

Tim Kwang-Ting Cheng, Madhu K. Lyer, Ganapathy Parthasarathy

Research output: Contribution to conference › Conference Paper

Original language	English
Publication status	Published - 2002
Event	Proceedings of IEEE Microprocessor Test and Verification Workshop - Duration: 1 Jan 2002 → 1 Jan 2002

Conference	Proceedings of IEEE Microprocessor Test and Verification Workshop
Period	1/01/02 → 1/01/02

Access to Document

@conference{d971e08f3ad8421ba35c9226b13761bf,

title = "On the development of ATPG based Satisfiability Checker",

author = "Cheng, \{Tim Kwang-Ting\} and Lyer, \{Madhu K.\} and Ganapathy Parthasarathy",

year = "2002",

language = "English",

note = "Proceedings of IEEE Microprocessor Test and Verification Workshop ; Conference date: 01-01-2002 Through 01-01-2002",

}