Simulation and SAT Based ATPG for Compressed Test Generation.

Jiri Balcarek, Petr Fiser, Jan Schmidt

Browse the full DSD paper archive.