source:
vis_dev/vis-2.1/examples/restruct/check_result
@
12
Last change on this file since 12 was 11, checked in by , 13 years ago | |
---|---|
File size: 400 bytes |
Rev | Line | |
---|---|---|
[11] | 1 | ** restr info: Number of Equivalence Classes = 5 |
2 | ** synth info: Total number of literals = 21 | |
3 | Networks are sequentially equivalent. | |
4 | ** restr info: Number of Equivalence Classes = 254 | |
5 | ** synth info: Total number of literals = 71 | |
6 | Networks are sequentially equivalent. | |
7 | ** restr info: Number of Equivalence Classes = 45 | |
8 | ** synth info: Total number of literals = 288 | |
9 | Networks are sequentially equivalent. |
Note: See TracBrowser
for help on using the repository browser.