Sciweavers

ITC
2002
IEEE
102views Hardware» more  ITC 2002»
13 years 10 months ago
Adapting an SoC to ATE Concurrent Test Capabilities
Rainer Dorsch, Ramón Huerta Rivera, Hans-Jo...
ITC
2002
IEEE
99views Hardware» more  ITC 2002»
13 years 10 months ago
Verifying Properties Using Sequential ATPG
This paper develops a novel approach for formally verifying both safety and liveness properties of designs using sequential ATPG tools. The properties are automatically mapped int...
Jacob A. Abraham, Vivekananda M. Vedula, Daniel G....