Class | Description |
---|---|
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.
|