TG-Pro: A SAT-based ATPG System, System Description
You are here
| Title | TG-Pro: A SAT-based ATPG System, System Description |
| Publication Type | Journal Article |
| Year of Publication | 2012 |
| Authors | Chen H., Marques-Silva J |
| Journal | Journal on Satisfiability, Boolean Modeling and Computation |
| Volume | 8 |
| Date Published | 2012 |
| URL | http://hdl.handle.net/10344/2821 |
