What Has Been Achieved?

Hardware Module

Internal

State

Input(s)

Output(s)

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

Inputs and outputs are sequences of values from set {0,1}