What Has Been Achieved?
What Has Been Achieved?
Hardware Module
Internal
State
Input(s)
Output(s)
m Inputs and outputs are sequences of values from set {0,1}
m Using global synthesis-based approaches, we can:
Ô Eliminate internal redundanciesÔ Generate compact "test sequences" that represent (cover) all possible module behaviors without direct access to internal storage