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
Link opens in a new tab
Citations
(Scopus)