An analysis of ATPG and SAT algorithms for formal verification

G. Parthasarathy, Chung Yang Huang, Kwang Ting Cheng

Research output: Chapter in Book/Conference Proceeding/Report › Conference Paper published in a book › peer-review

19 Citations (Scopus)

Fingerprint

Dive into the research topics of 'An analysis of ATPG and SAT algorithms for formal verification'. Together they form a unique fingerprint.

Computer Science