3 records found
1
Testability of the Philips 80C51 micro-controller
Illegal state space identification for sequential circuit test generation
Fault (in)dependent cost estimates and conflict-directed backtracking to guide sequential circuit test generation
