Use of Extended Don't-Care Set to Guarantee Testability
Use of Extended Don't-Care Set to Guarantee Testability
Extract the State Graph
Analyze the State Equivalences
Generate the Extended Don't-Care
Set Information
Optimize for a Prime and Irredundant
Network Under the Don't-Care Set
Changed?
Fully Testable