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 |
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 |
