Explorations of sequential ATPG using Boolean satisfiability.

Haluk Konuk, Tracy Larrabee

Browse the full VTS paper archive.