Class | Description |
---|---|
DirectedFateGenerator |
The FATE test generator which deals with single EFSM and operates at the vector-level.
|
DirectedFatePlusGenerator |
The FATE test generator which deals with single EFSM and operates at the vector-level.
|
EfsmFatePlusTestGenerator |
The test generator for EFSM-based hardware models based on the algorithm described in the article
Efficient
Generation of Stimuli for Functional Verification by Backjumping Across Extended FSMs.
|
EfsmFateTestGenerator |
The test generator for EFSM-based hardware models based on the algorithm described in the article
Efficient
Generation of Stimuli for Functional Verification by Backjumping Across Extended FSMs.
|