General Results:
Property |
Verification Tasks |
Counterexamples |
Validation Successfull |
Validation Failed |
Limit Cycle |
99 |
27 |
26 |
1 |
Overflow |
99 |
24 |
24 |
0 |
Stability |
99 |
54 |
54 |
0 |
Minimum Phase |
99 |
54 |
54 |
0 |
Total |
396 |
159 |
158 |
1 |
* 99 verification tasks: 33 DFI, 33 DFII and 33 TDFII.
Limit Cycle Validation:
Test Case Id |
DFI |
DFII |
TDFII |
ds1-impl1 |
NA |
NA |
NA |
ds1-impl2 |
NA |
NA |
NA |
ds1-impl3 |
NA |
NA |
NA |
ds2-impl1 |
NA |
NA |
NA |
ds2-impl2 |
NA |
NA |
NA |
ds2-impl3 |
NA |
NA |
NA |
ds3-impl1 |
NA |
NA |
NA |
ds3-impl2 |
NA |
NA |
NA |
ds3-impl3 |
NA |
NA |
NA |
ds4-impl1 |
NA |
NA |
NA |
ds4-impl2 |
NA |
NA |
NA |
ds4-impl3 |
NA |
NA |
NA |
ds5-impl1 |
Successful |
Failed |
Successful |
ds5-impl2 |
Successful |
Successful |
Successful |
ds5-impl3 |
Successful |
Successful |
Successful |
ds6-impl1 |
Successful |
Successful |
Successful |
ds6-impl2 |
Successful |
Successful |
Successful |
ds6-impl3 |
Successful |
Successful |
Successful |
ds7-impl1 |
NA |
Successful |
NA |
ds7-impl2 |
NA |
Successful |
NA |
ds7-impl3 |
NA |
Successful |
NA |
ds8-impl1 |
NA |
NA |
NA |
ds8-impl2 |
NA |
NA |
NA |
ds8-impl3 |
NA |
NA |
NA |
ds9-impl1 |
NA |
Successful |
NA |
ds9-impl2 |
NA |
Successful |
NA |
ds9-impl3 |
NA |
Successful |
NA |
ds10-impl1 |
NA |
NA |
NA |
ds10-impl2 |
NA |
NA |
NA |
ds10-impl3 |
NA |
NA |
NA |
ds11-impl1 |
NA |
Successful |
NA |
ds11-impl2 |
NA |
Successful |
NA |
ds11-impl3 |
NA |
Successful |
NA |
Overflow Validation:
Test Case Id |
DFI |
DFII |
TDFII |
ds1-impl1 |
Successful |
Successful |
Successful |
ds1-impl2 |
NA |
NA |
NA |
ds1-impl3 |
NA |
NA |
NA |
ds2-impl1 |
Successful |
Successful |
Successful |
ds2-impl2 |
NA |
NA |
NA |
ds2-impl3 |
NA |
NA |
NA |
ds3-impl1 |
Successful |
Successful |
Successful |
ds3-impl2 |
NA |
NA |
NA |
ds3-impl3 |
NA |
NA |
NA |
ds4-impl1 |
Successful |
Successful |
Successful |
ds4-impl2 |
NA |
NA |
NA |
ds4-impl3 |
NA |
NA |
NA |
ds5-impl1 |
Successful |
Successful |
Successful |
ds5-impl2 |
Successful |
Successful |
Successful |
ds5-impl3 |
Successful |
Successful |
Successful |
ds6-impl1 |
Successful |
Successful |
Successful |
ds6-impl2 |
NA |
NA |
NA |
ds6-impl3 |
NA |
NA |
NA |
ds7-impl1 |
NA |
NA |
NA |
ds7-impl2 |
NA |
NA |
NA |
ds7-impl3 |
NA |
NA |
NA |
ds8-impl1 |
NA |
NA |
NA |
ds8-impl2 |
NA |
NA |
NA |
ds8-impl3 |
NA |
NA |
NA |
ds9-impl1 |
NA |
NA |
NA |
ds9-impl2 |
NA |
NA |
NA |
ds9-impl3 |
NA |
NA |
NA |
ds10-impl1 |
NA |
NA |
NA |
ds10-impl2 |
NA |
NA |
NA |
ds10-impl3 |
NA |
NA |
NA |
ds11-impl1 |
NA |
NA |
NA |
ds11-impl2 |
NA |
NA |
NA |
ds11-impl3 |
NA |
NA |
NA |
Stability Validation:
Test Case Id |
DFI |
DFII |
TDFII |
ds1-impl1 |
NA |
NA |
NA |
ds1-impl2 |
NA |
NA |
NA |
ds1-impl3 |
NA |
NA |
NA |
ds2-impl1 |
NA |
NA |
NA |
ds2-impl2 |
NA |
NA |
NA |
ds2-impl3 |
NA |
NA |
NA |
ds3-impl1 |
NA |
NA |
NA |
ds3-impl2 |
NA |
NA |
NA |
ds3-impl3 |
NA |
NA |
NA |
ds4-impl1 |
Successful |
Successful |
Successful |
ds4-impl2 |
Successful |
Successful |
Successful |
ds4-impl3 |
Successful |
Successful |
Successful |
ds5-impl1 |
Successful |
Successful |
Successful |
ds5-impl2 |
Successful |
Successful |
Successful |
ds5-impl3 |
Successful |
Successful |
Successful |
ds6-impl1 |
Successful |
Successful |
Successful |
ds6-impl2 |
Successful |
Successful |
Successful |
ds6-impl3 |
Successful |
Successful |
Successful |
ds7-impl1 |
Successful |
Successful |
Successful |
ds7-impl2 |
Successful |
Successful |
Successful |
ds7-impl3 |
Successful |
Successful |
Successful |
ds8-impl1 |
NA |
NA |
NA |
ds8-impl2 |
NA |
NA |
NA |
ds8-impl3 |
NA |
NA |
NA |
ds9-impl1 |
Successful |
Successful |
Successful |
ds9-impl2 |
Successful |
Successful |
Successful |
ds9-impl3 |
Successful |
Successful |
Successful |
ds10-impl1 |
NA |
NA |
NA |
ds10-impl2 |
NA |
NA |
NA |
ds10-impl3 |
NA |
NA |
NA |
ds11-impl1 |
Successful |
Successful |
Successful |
ds11-impl2 |
Successful |
Successful |
Successful |
ds11-impl3 |
Successful |
Successful |
Successful |
Minimum Phase Validation:
Test Case Id |
DFI |
DFII |
TDFII |
ds1-impl1 |
NA |
NA |
NA |
ds1-impl2 |
NA |
NA |
NA |
ds1-impl3 |
NA |
NA |
NA |
ds2-impl1 |
NA |
NA |
NA |
ds2-impl2 |
NA |
NA |
NA |
ds2-impl3 |
NA |
NA |
NA |
ds3-impl1 |
NA |
NA |
NA |
ds3-impl2 |
NA |
NA |
NA |
ds3-impl3 |
NA |
NA |
NA |
ds4-impl1 |
Successful |
Successful |
Successful |
ds4-impl2 |
Successful |
Successful |
Successful |
ds4-impl3 |
Successful |
Successful |
Successful |
ds5-impl1 |
Successful |
Successful |
Successful |
ds5-impl2 |
Successful |
Successful |
Successful |
ds5-impl3 |
Successful |
Successful |
Successful |
ds6-impl1 |
NA |
NA |
NA |
ds6-impl2 |
NA |
NA |
NA |
ds6-impl3 |
NA |
NA |
NA |
ds7-impl1 |
Successful |
Successful |
Successful |
ds7-impl2 |
Successful |
Successful |
Successful |
ds7-impl3 |
Successful |
Successful |
Successful |
ds8-impl1 |
NA |
NA |
NA |
ds8-impl2 |
NA |
NA |
NA |
ds8-impl3 |
Successful |
Successful |
Successful |
ds9-impl1 |
Successful |
Successful |
Successful |
ds9-impl2 |
Successful |
Successful |
Successful |
ds9-impl3 |
Successful |
Successful |
Successful |
ds10-impl1 |
NA |
NA |
NA |
ds10-impl2 |
Successful |
Successful |
Successful |
ds10-impl3 |
Successful |
Successful |
Successful |
ds11-impl1 |
Successful |
Successful |
Successful |
ds11-impl2 |
Successful |
Successful |
Successful |
ds11-impl3 |
Successful |
Successful |
Successful |