| 'diffeq' testability results | |||
| Port name (bit width) | Con. | Obs. | Tst. |
| mux6.q (8) | 0.996063 | 0.659934 | 0.827999 |
| mux6.b (8) | 0.925835 | 0.657138 | 0.791487 |
| mux6.a (8) | 1.000000 | 0.657138 | 0.828569 |
| mux5.q (8) | 0.731159 | 0.929509 | 0.830334 |
| mux5.b (8) | 0.731159 | 0.925700 | 0.828429 |
| mux5.a (8) | 0.734083 | 0.925700 | 0.829892 |
| mux4.q (8) | 0.992126 | 0.678986 | 0.835556 |
| mux4.c (8) | 0.734083 | 0.673183 | 0.703633 |
| mux4.b (8) | 0.731159 | 0.673183 | 0.702171 |
| mux4.a (8) | 1.000000 | 0.673183 | 0.836592 |
| mux3.q (8) | 0.996063 | 0.699424 | 0.847744 |
| mux3.b (8) | 1.000000 | 0.696534 | 0.848267 |
| mux3.a (8) | 0.765354 | 0.696534 | 0.730944 |
| mux2.q (8) | 0.922041 | 0.738140 | 0.830090 |
| mux2.b (8) | 0.925835 | 0.735115 | 0.830475 |
| mux2.a (8) | 0.765354 | 0.735115 | 0.750234 |
| mux1.q (8) | 0.996063 | 0.705688 | 0.850876 |
| mux1.b (8) | 1.000000 | 0.702888 | 0.851444 |
| mux1.a (8) | 0.856907 | 0.702888 | 0.779897 |
| reg6.SCAN_OUT (1) | 0.765354 | 0.765354 | 0.765354 |
| reg6.SCAN_IN (1) | 1.000000 | 0.741057 | 0.870529 |
| reg6.q (8) | 0.765354 | 0.968504 | 0.866929 |
| reg6.d (8) | 0.705251 | 0.933183 | 0.819217 |
| reg5.q (8) | 0.925835 | 0.735115 | 0.830475 |
| reg5.d (8) | 0.956972 | 0.704975 | 0.830973 |
| reg4.SCAN_OUT (1) | 0.534308 | 1.000000 | 0.767154 |
| reg4.SCAN_IN (1) | 0.765354 | 0.765354 | 0.765354 |
| reg4.q (8) | 0.856907 | 0.408935 | 0.632921 |
| reg4.d (8) | 0.889370 | 0.765354 | 0.827362 |
| reg3.q (8) | 0.734083 | 0.925700 | 0.829892 |
| reg3.d (8) | 0.765354 | 0.894776 | 0.830065 |
| reg2.SCAN_OUT (1) | 0.534308 | 1.000000 | 0.767154 |
| reg2.SCAN_IN (1) | 0.765354 | 0.765354 | 0.765354 |
| reg2.q (8) | 0.731159 | 0.925700 | 0.828429 |
| reg2.d (8) | 0.765354 | 0.891079 | 0.828216 |
| reg1.SCAN_OUT (1) | 0.765354 | 0.765354 | 0.765354 |
| reg1.SCAN_IN (1) | 1.000000 | 0.534308 | 0.767154 |
| reg1.q (8) | 0.765354 | 0.443201 | 0.604278 |
| reg1.d (8) | 0.634246 | 0.534308 | 0.584277 |
| comp.q (8) | 0.741249 | 1.000000 | 0.870624 |
| comp.b (8) | 0.765354 | 0.968504 | 0.866929 |
| comp.a (8) | 1.000000 | 0.765354 | 0.882677 |
| mul2.q (8) | 0.956972 | 0.704975 | 0.830973 |
| mul2.b (8) | 0.992126 | 0.678986 | 0.835556 |
| mul2.a (8) | 0.996063 | 0.699424 | 0.847744 |
| mul1.q (8) | 0.889370 | 0.765354 | 0.827362 |
| mul1.b (8) | 0.922041 | 0.738140 | 0.830090 |
| mul1.a (8) | 0.996063 | 0.705688 | 0.850876 |
| sub.q (8) | 0.634246 | 0.534308 | 0.584277 |
| sub.b (8) | 0.765354 | 0.443201 | 0.604278 |
| sub.a (8) | 0.856907 | 0.408935 | 0.632921 |
| add.q (8) | 0.705251 | 0.933183 | 0.819217 |
| add.b (8) | 0.996063 | 0.659934 | 0.827999 |
| add.a (8) | 0.731159 | 0.929509 | 0.830334 |
| diffeq.SCAN_OUT1 (1) | 0.534308 | 1.000000 | 0.767154 |
| diffeq.SCAN_IN1 (1) | 1.000000 | 0.534308 | 0.767154 |
| diffeq.SCAN_OUT0 (1) | 0.534308 | 1.000000 | 0.767154 |
| diffeq.SCAN_IN0 (1) | 1.000000 | 0.741057 | 0.870529 |
| diffeq.result (8) | 0.741249 | 1.000000 | 0.870624 |
| diffeq.const2 (8) | 1.000000 | 0.696534 | 0.848267 |
| diffeq.dx (8) | 1.000000 | 0.702888 | 0.851444 |
| diffeq.a (8) | 1.000000 | 0.765354 | 0.882677 |
| #Nodes(Total=439) | C(439/100.0%) | O(412/93.8%) | T(412/93.8%) |
| Global measures | 0.920860 | 0.822768 | 0.757654 |
| This table was automatically generated by RTL-ADFT system Copyright © 2000-2002 Josef Strnadel (strnadel@fit.vutbr.cz) Faculty of Information Technology Brno University of Technology Czech Republic | |||