source: caseStudy_Huffmann/huffmann/huff_original/resultat_huff_orig

Last change on this file was 105, checked in by cecile, 12 years ago

Hufmann case study

File size: 32.8 KB
Line 
1 
2*******************************
3huff.mv
4*******************************
5vis> vis release 2.3 (compiled 13-Jul-11 at 10:56 AM)
6vis> vis> vis> Dynamic variable ordering is enabled with method sift.
7vis> file protect_output  created (contains 8 signals)
8vis> ROB4 huff
9vis> Class USUT ROB4 huff
10vis> character<0>                 2  not protected
11character<1>                 2  not protected
12character<2>                 2  not protected
13character<3>                 2  not protected
14character<4>                 2  not protected
15character<5>                 2  not protected
16character<6>                 2  not protected
17character<7>                 2  not protected
18decoder.state<0>             2  not protected
19decoder.state<1>             2  not protected
20decoder.state<2>             2  not protected
21decoder.state<3>             2  not protected
22decoder.state<4>             2  not protected
23decoder.state<5>             2  not protected
24decoder.state<6>             2  not protected
25decoder.state<7>             2  not protected
26decoder.state<8>             2  not protected
27decoder.state<9>             2  not protected
28encoder.shiftreg<0>          2  not protected
29encoder.shiftreg<1>          2  not protected
30encoder.shiftreg<2>          2  not protected
31encoder.shiftreg<3>          2  not protected
32encoder.shiftreg<4>          2  not protected
33encoder.shiftreg<5>          2  not protected
34encoder.shiftreg<6>          2  not protected
35encoder.shiftreg<7>          2  not protected
36encoder.shiftreg<8>          2  not protected
37encoder.shiftreg<9>          2  not protected
38********************************
39Error states                        =                2.243500e+04
40States reachable from error states  =                6.165400e+04
41Reachable states whithout faults   =                 8.780000e+02
42Analysis time                       =                         0.5
43vis> ********************************
44Fair error states                              =     2.243500e+04
45********************************
46Dealing with  F = A[!forbiden U Required & A[!forbiden U Safe]]
47  --Error states satisfying F                                        =    1.078500e+04 (Ratio: 4.807221e+01%)
48  --Error states originaly reachable by the design and satisfying F  =    8.780000e+02 (Ratio: 1.000000e+02%)
49  Analysis time                                                      =            0.25
50********************************
51Dealing with F =  E[!forbiden U Required & A[!forbiden U Safe]]
52  --Error states satisfying F                                        =    2.243500e+04 (Ratio: 1.000000e+02%)
53  --Error states originaly reachable by the design and satisfying F  =    8.780000e+02 (Ratio: 1.000000e+02%)
54  Analysis time                                                      =            0.04
55vis> vis release 2.3 (compiled 13-Jul-11 at 10:56 AM)
56vis> vis> vis> Dynamic variable ordering is enabled with method sift.
57vis> file protect_output  created (contains 8 signals)
58vis> Class USMT ROB4 huff
59vis> vis release 2.3 (compiled 13-Jul-11 at 10:56 AM)
60vis> vis> vis> Dynamic variable ordering is enabled with method sift.
61vis> file protect_output  created (contains 8 signals)
62vis> Class MSUT ROB4 huff
63vis> character<0>                 2  not protected
64character<1>                 2  not protected
65character<2>                 2  not protected
66character<3>                 2  not protected
67character<4>                 2  not protected
68character<5>                 2  not protected
69character<6>                 2  not protected
70character<7>                 2  not protected
71decoder.state<0>             2  not protected
72decoder.state<1>             2  not protected
73decoder.state<2>             2  not protected
74decoder.state<3>             2  not protected
75decoder.state<4>             2  not protected
76decoder.state<5>             2  not protected
77decoder.state<6>             2  not protected
78decoder.state<7>             2  not protected
79decoder.state<8>             2  not protected
80decoder.state<9>             2  not protected
81encoder.shiftreg<0>          2  not protected
82encoder.shiftreg<1>          2  not protected
83encoder.shiftreg<2>          2  not protected
84encoder.shiftreg<3>          2  not protected
85encoder.shiftreg<4>          2  not protected
86encoder.shiftreg<5>          2  not protected
87encoder.shiftreg<6>          2  not protected
88encoder.shiftreg<7>          2  not protected
89encoder.shiftreg<8>          2  not protected
90encoder.shiftreg<9>          2  not protected
91********************************
92Error states                        =                2.684355e+08
93States reachable from error states  =                2.684355e+08
94Reachable states whithout faults   =                 8.780000e+02
95Analysis time                       =                        0.22
96vis> ********************************
97Fair error states                              =     2.684355e+08
98********************************
99Dealing with  F = A[!forbiden U Required & A[!forbiden U Safe]]
100  --Error states satisfying F                                        =    1.898214e+07 (Ratio: 7.071400e+00%)
101  --Error states originaly reachable by the design and satisfying F  =    8.780000e+02 (Ratio: 1.000000e+02%)
102  Analysis time                                                      =            0.29
103********************************
104Dealing with F =  E[!forbiden U Required & A[!forbiden U Safe]]
105  --Error states satisfying F                                        =    2.684355e+08 (Ratio: 1.000000e+02%)
106  --Error states originaly reachable by the design and satisfying F  =    8.780000e+02 (Ratio: 1.000000e+02%)
107  Analysis time                                                      =            0.09
108vis> vis release 2.3 (compiled 13-Jul-11 at 10:56 AM)
109vis> vis> vis> Dynamic variable ordering is enabled with method sift.
110vis> file protect_output  created (contains 8 signals)
111vis> Class MSMT ROB4 huff
112vis> character<0>                 2  not protected
113character<1>                 2  not protected
114character<2>                 2  not protected
115character<3>                 2  not protected
116character<4>                 2  not protected
117character<5>                 2  not protected
118character<6>                 2  not protected
119character<7>                 2  not protected
120decoder.state<0>             2  not protected
121decoder.state<1>             2  not protected
122decoder.state<2>             2  not protected
123decoder.state<3>             2  not protected
124decoder.state<4>             2  not protected
125decoder.state<5>             2  not protected
126decoder.state<6>             2  not protected
127decoder.state<7>             2  not protected
128decoder.state<8>             2  not protected
129decoder.state<9>             2  not protected
130encoder.shiftreg<0>          2  not protected
131encoder.shiftreg<1>          2  not protected
132encoder.shiftreg<2>          2  not protected
133encoder.shiftreg<3>          2  not protected
134encoder.shiftreg<4>          2  not protected
135encoder.shiftreg<5>          2  not protected
136encoder.shiftreg<6>          2  not protected
137encoder.shiftreg<7>          2  not protected
138encoder.shiftreg<8>          2  not protected
139encoder.shiftreg<9>          2  not protected
140********************************
141Error states                        =                2.684355e+08
142States reachable from error states  =                2.684355e+08
143Reachable states whithout faults   =                 8.780000e+02
144Analysis time                       =                         0.2
145vis> ********************************
146Fair error states                              =     2.684355e+08
147********************************
148Dealing with  F = A[!forbiden U Required & A[!forbiden U Safe]]
149  --Error states satisfying F                                        =    1.898214e+07 (Ratio: 7.071400e+00%)
150  --Error states originaly reachable by the design and satisfying F  =    8.780000e+02 (Ratio: 1.000000e+02%)
151  Analysis time                                                      =            0.29
152********************************
153Dealing with F =  E[!forbiden U Required & A[!forbiden U Safe]]
154  --Error states satisfying F                                        =    2.684355e+08 (Ratio: 1.000000e+02%)
155  --Error states originaly reachable by the design and satisfying F  =    8.780000e+02 (Ratio: 1.000000e+02%)
156  Analysis time                                                      =            0.08
157vis> vis release 2.3 (compiled 13-Jul-11 at 10:56 AM)
158vis> vis> vis> Dynamic variable ordering is enabled with method sift.
159vis> file protect_output  created (contains 8 signals)
160vis> *** Rob3 ***
161Root main
162vis> vis> Dynamic variable ordering is enabled with method sift.
163vis> file protect_golden.reg  created (contains 28 registers)
164vis> ROB3 huff
165vis> Class USUT ROB3 huff
166vis> faulty.character<0>          2  not protected
167faulty.character<1>          2  not protected
168faulty.character<2>          2  not protected
169faulty.character<3>          2  not protected
170faulty.character<4>          2  not protected
171faulty.character<5>          2  not protected
172faulty.character<6>          2  not protected
173faulty.character<7>          2  not protected
174faulty.decoder.state<0>         2  not protected
175faulty.decoder.state<1>         2  not protected
176faulty.decoder.state<2>         2  not protected
177faulty.decoder.state<3>         2  not protected
178faulty.decoder.state<4>         2  not protected
179faulty.decoder.state<5>         2  not protected
180faulty.decoder.state<6>         2  not protected
181faulty.decoder.state<7>         2  not protected
182faulty.decoder.state<8>         2  not protected
183faulty.decoder.state<9>         2  not protected
184faulty.encoder.shiftreg<0>         2  not protected
185faulty.encoder.shiftreg<1>         2  not protected
186faulty.encoder.shiftreg<2>         2  not protected
187faulty.encoder.shiftreg<3>         2  not protected
188faulty.encoder.shiftreg<4>         2  not protected
189faulty.encoder.shiftreg<5>         2  not protected
190faulty.encoder.shiftreg<6>         2  not protected
191faulty.encoder.shiftreg<7>         2  not protected
192faulty.encoder.shiftreg<8>         2  not protected
193faulty.encoder.shiftreg<9>         2  not protected
194golden.character<0>          2  protected
195golden.character<1>          2  protected
196golden.character<2>          2  protected
197golden.character<3>          2  protected
198golden.character<4>          2  protected
199golden.character<5>          2  protected
200golden.character<6>          2  protected
201golden.character<7>          2  protected
202golden.decoder.state<0>         2  protected
203golden.decoder.state<1>         2  protected
204golden.decoder.state<2>         2  protected
205golden.decoder.state<3>         2  protected
206golden.decoder.state<4>         2  protected
207golden.decoder.state<5>         2  protected
208golden.decoder.state<6>         2  protected
209golden.decoder.state<7>         2  protected
210golden.decoder.state<8>         2  protected
211golden.decoder.state<9>         2  protected
212golden.encoder.shiftreg<0>         2  protected
213golden.encoder.shiftreg<1>         2  protected
214golden.encoder.shiftreg<2>         2  protected
215golden.encoder.shiftreg<3>         2  protected
216golden.encoder.shiftreg<4>         2  protected
217golden.encoder.shiftreg<5>         2  protected
218golden.encoder.shiftreg<6>         2  protected
219golden.encoder.shiftreg<7>         2  protected
220golden.encoder.shiftreg<8>         2  protected
221golden.encoder.shiftreg<9>         2  protected
222********************************
223Error states                        =                2.458400e+04
224States reachable from error states  =                1.425640e+06
225Reachable states whithout faults   =                 8.780000e+02
226Analysis time                       =                        8.58
227vis> ********************************
228Fair error states                              =     2.458400e+04
229********************************
230Dealing with  F = A[!forbiden U Required & A[!forbiden U Safe]]
231  --Error states satisfying F                                        =    1.102500e+04 (Ratio: 4.484624e+01%)
232  --Error states originaly reachable by the design and satisfying F  =    8.780000e+02 (Ratio: 1.000000e+02%)
233  Analysis time                                                      =           24.02
234********************************
235Dealing with F =  E[!forbiden U Required & A[!forbiden U Safe]]
236  --Error states satisfying F                                        =    2.458400e+04 (Ratio: 1.000000e+02%)
237  --Error states originaly reachable by the design and satisfying F  =    8.780000e+02 (Ratio: 1.000000e+02%)
238  Analysis time                                                      =          122.53
239vis> vis release 2.3 (compiled 13-Jul-11 at 10:56 AM)
240vis> vis> vis> Dynamic variable ordering is enabled with method sift.
241vis> file protect_output  created (contains 8 signals)
242vis> *** Rob3 ***
243Root main
244vis> vis> Dynamic variable ordering is enabled with method sift.
245vis> file protect_golden.reg  created (contains 28 registers)
246vis> Class MSUT ROB3 huff
247vis> faulty.character<0>          2  not protected
248faulty.character<1>          2  not protected
249faulty.character<2>          2  not protected
250faulty.character<3>          2  not protected
251faulty.character<4>          2  not protected
252faulty.character<5>          2  not protected
253faulty.character<6>          2  not protected
254faulty.character<7>          2  not protected
255faulty.decoder.state<0>         2  not protected
256faulty.decoder.state<1>         2  not protected
257faulty.decoder.state<2>         2  not protected
258faulty.decoder.state<3>         2  not protected
259faulty.decoder.state<4>         2  not protected
260faulty.decoder.state<5>         2  not protected
261faulty.decoder.state<6>         2  not protected
262faulty.decoder.state<7>         2  not protected
263faulty.decoder.state<8>         2  not protected
264faulty.decoder.state<9>         2  not protected
265faulty.encoder.shiftreg<0>         2  not protected
266faulty.encoder.shiftreg<1>         2  not protected
267faulty.encoder.shiftreg<2>         2  not protected
268faulty.encoder.shiftreg<3>         2  not protected
269faulty.encoder.shiftreg<4>         2  not protected
270faulty.encoder.shiftreg<5>         2  not protected
271faulty.encoder.shiftreg<6>         2  not protected
272faulty.encoder.shiftreg<7>         2  not protected
273faulty.encoder.shiftreg<8>         2  not protected
274faulty.encoder.shiftreg<9>         2  not protected
275golden.character<0>          2  protected
276golden.character<1>          2  protected
277golden.character<2>          2  protected
278golden.character<3>          2  protected
279golden.character<4>          2  protected
280golden.character<5>          2  protected
281golden.character<6>          2  protected
282golden.character<7>          2  protected
283golden.decoder.state<0>         2  protected
284golden.decoder.state<1>         2  protected
285golden.decoder.state<2>         2  protected
286golden.decoder.state<3>         2  protected
287golden.decoder.state<4>         2  protected
288golden.decoder.state<5>         2  protected
289golden.decoder.state<6>         2  protected
290golden.decoder.state<7>         2  protected
291golden.decoder.state<8>         2  protected
292golden.decoder.state<9>         2  protected
293golden.encoder.shiftreg<0>         2  protected
294golden.encoder.shiftreg<1>         2  protected
295golden.encoder.shiftreg<2>         2  protected
296golden.encoder.shiftreg<3>         2  protected
297golden.encoder.shiftreg<4>         2  protected
298golden.encoder.shiftreg<5>         2  protected
299golden.encoder.shiftreg<6>         2  protected
300golden.encoder.shiftreg<7>         2  protected
301golden.encoder.shiftreg<8>         2  protected
302golden.encoder.shiftreg<9>         2  protected
303********************************
304Error states                        =                2.356863e+11
305States reachable from error states  =                2.356863e+11
306Reachable states whithout faults   =                 8.780000e+02
307Analysis time                       =                        1.51
308vis> ********************************
309Fair error states                              =     2.356863e+11
310********************************
311Dealing with  F = A[!forbiden U Required & A[!forbiden U Safe]]
312  --Error states satisfying F                                        =    1.384898e+09 (Ratio: 5.876020e-01%)
313  --Error states originaly reachable by the design and satisfying F  =    8.780000e+02 (Ratio: 1.000000e+02%)
314  Analysis time                                                      =            8.32
315********************************
316Dealing with F =  E[!forbiden U Required & A[!forbiden U Safe]]
317  --Error states satisfying F                                        =    2.356863e+11 (Ratio: 1.000000e+02%)
318  --Error states originaly reachable by the design and satisfying F  =    8.780000e+02 (Ratio: 1.000000e+02%)
319  Analysis time                                                      =          103.11
320vis> vis release 2.3 (compiled 13-Jul-11 at 10:56 AM)
321vis> vis> vis> Dynamic variable ordering is enabled with method sift.
322vis> file protect_output  created (contains 8 signals)
323vis> *** Rob3 ***
324Root main
325vis> vis> Dynamic variable ordering is enabled with method sift.
326vis> file protect_golden.reg  created (contains 28 registers)
327vis> Class MSMT ROB3 huff
328vis> faulty.character<0>          2  not protected
329faulty.character<1>          2  not protected
330faulty.character<2>          2  not protected
331faulty.character<3>          2  not protected
332faulty.character<4>          2  not protected
333faulty.character<5>          2  not protected
334faulty.character<6>          2  not protected
335faulty.character<7>          2  not protected
336faulty.decoder.state<0>         2  not protected
337faulty.decoder.state<1>         2  not protected
338faulty.decoder.state<2>         2  not protected
339faulty.decoder.state<3>         2  not protected
340faulty.decoder.state<4>         2  not protected
341faulty.decoder.state<5>         2  not protected
342faulty.decoder.state<6>         2  not protected
343faulty.decoder.state<7>         2  not protected
344faulty.decoder.state<8>         2  not protected
345faulty.decoder.state<9>         2  not protected
346faulty.encoder.shiftreg<0>         2  not protected
347faulty.encoder.shiftreg<1>         2  not protected
348faulty.encoder.shiftreg<2>         2  not protected
349faulty.encoder.shiftreg<3>         2  not protected
350faulty.encoder.shiftreg<4>         2  not protected
351faulty.encoder.shiftreg<5>         2  not protected
352faulty.encoder.shiftreg<6>         2  not protected
353faulty.encoder.shiftreg<7>         2  not protected
354faulty.encoder.shiftreg<8>         2  not protected
355faulty.encoder.shiftreg<9>         2  not protected
356golden.character<0>          2  protected
357golden.character<1>          2  protected
358golden.character<2>          2  protected
359golden.character<3>          2  protected
360golden.character<4>          2  protected
361golden.character<5>          2  protected
362golden.character<6>          2  protected
363golden.character<7>          2  protected
364golden.decoder.state<0>         2  protected
365golden.decoder.state<1>         2  protected
366golden.decoder.state<2>         2  protected
367golden.decoder.state<3>         2  protected
368golden.decoder.state<4>         2  protected
369golden.decoder.state<5>         2  protected
370golden.decoder.state<6>         2  protected
371golden.decoder.state<7>         2  protected
372golden.decoder.state<8>         2  protected
373golden.decoder.state<9>         2  protected
374golden.encoder.shiftreg<0>         2  protected
375golden.encoder.shiftreg<1>         2  protected
376golden.encoder.shiftreg<2>         2  protected
377golden.encoder.shiftreg<3>         2  protected
378golden.encoder.shiftreg<4>         2  protected
379golden.encoder.shiftreg<5>         2  protected
380golden.encoder.shiftreg<6>         2  protected
381golden.encoder.shiftreg<7>         2  protected
382golden.encoder.shiftreg<8>         2  protected
383golden.encoder.shiftreg<9>         2  protected
384********************************
385Error states                        =                2.356863e+11
386States reachable from error states  =                2.356863e+11
387Reachable states whithout faults   =                 8.780000e+02
388Analysis time                       =                        1.03
389vis> ********************************
390Fair error states                              =     2.356863e+11
391********************************
392Dealing with  F = A[!forbiden U Required & A[!forbiden U Safe]]
393  --Error states satisfying F                                        =    1.384899e+09 (Ratio: 5.876024e-01%)
394  --Error states originaly reachable by the design and satisfying F  =    8.780000e+02 (Ratio: 1.000000e+02%)
395  Analysis time                                                      =            4.37
396********************************
397Dealing with F =  E[!forbiden U Required & A[!forbiden U Safe]]
398  --Error states satisfying F                                        =    2.356863e+11 (Ratio: 1.000000e+02%)
399  --Error states originaly reachable by the design and satisfying F  =    8.780000e+02 (Ratio: 1.000000e+02%)
400  Analysis time                                                      =          119.79
401vis> vis release 2.3 (compiled 13-Jul-11 at 10:56 AM)
402vis> vis> vis> Dynamic variable ordering is enabled with method sift.
403vis> file protect_output  created (contains 8 signals)
404vis> *** Rob3 ***
405Root main
406vis> vis> Dynamic variable ordering is enabled with method sift.
407vis> file protect_golden.reg  created (contains 28 registers)
408vis> vis> ROB1 huff
409vis> Class USUT ROB1 huff
410vis> faulty.character<0>          2  not protected
411faulty.character<1>          2  not protected
412faulty.character<2>          2  not protected
413faulty.character<3>          2  not protected
414faulty.character<4>          2  not protected
415faulty.character<5>          2  not protected
416faulty.character<6>          2  not protected
417faulty.character<7>          2  not protected
418faulty.decoder.state<0>         2  not protected
419faulty.decoder.state<1>         2  not protected
420faulty.decoder.state<2>         2  not protected
421faulty.decoder.state<3>         2  not protected
422faulty.decoder.state<4>         2  not protected
423faulty.decoder.state<5>         2  not protected
424faulty.decoder.state<6>         2  not protected
425faulty.decoder.state<7>         2  not protected
426faulty.decoder.state<8>         2  not protected
427faulty.decoder.state<9>         2  not protected
428faulty.encoder.shiftreg<0>         2  not protected
429faulty.encoder.shiftreg<1>         2  not protected
430faulty.encoder.shiftreg<2>         2  not protected
431faulty.encoder.shiftreg<3>         2  not protected
432faulty.encoder.shiftreg<4>         2  not protected
433faulty.encoder.shiftreg<5>         2  not protected
434faulty.encoder.shiftreg<6>         2  not protected
435faulty.encoder.shiftreg<7>         2  not protected
436faulty.encoder.shiftreg<8>         2  not protected
437faulty.encoder.shiftreg<9>         2  not protected
438golden.character<0>          2  protected
439golden.character<1>          2  protected
440golden.character<2>          2  protected
441golden.character<3>          2  protected
442golden.character<4>          2  protected
443golden.character<5>          2  protected
444golden.character<6>          2  protected
445golden.character<7>          2  protected
446golden.decoder.state<0>         2  protected
447golden.decoder.state<1>         2  protected
448golden.decoder.state<2>         2  protected
449golden.decoder.state<3>         2  protected
450golden.decoder.state<4>         2  protected
451golden.decoder.state<5>         2  protected
452golden.decoder.state<6>         2  protected
453golden.decoder.state<7>         2  protected
454golden.decoder.state<8>         2  protected
455golden.decoder.state<9>         2  protected
456golden.encoder.shiftreg<0>         2  protected
457golden.encoder.shiftreg<1>         2  protected
458golden.encoder.shiftreg<2>         2  protected
459golden.encoder.shiftreg<3>         2  protected
460golden.encoder.shiftreg<4>         2  protected
461golden.encoder.shiftreg<5>         2  protected
462golden.encoder.shiftreg<6>         2  protected
463golden.encoder.shiftreg<7>         2  protected
464golden.encoder.shiftreg<8>         2  protected
465golden.encoder.shiftreg<9>         2  protected
466********************************
467Error states                        =                2.458400e+04
468States reachable from error states  =                1.425640e+06
469Reachable states whithout faults   =                 8.780000e+02
470Analysis time                       =                       12.68
471vis> ********************************
472Fair error states                              =     2.458400e+04
473********************************
474Dealing with  F = AG[Safe]]
475  --Error states satisfying F                                        =    7.502000e+03 (Ratio: 3.051578e+01%)
476  --Error states originaly reachable by the design and satisfying F  =    8.780000e+02 (Ratio: 1.000000e+02%)
477  Analysis time                                                      =           28.57
478********************************
479Dealing with F =  EG[Safe]]
480  --Error states satisfying F                                        =    1.170700e+04 (Ratio: 4.762040e+01%)
481  --Error states originaly reachable by the design and satisfying F  =    8.780000e+02 (Ratio: 1.000000e+02%)
482  Analysis time                                                      =            33.9
483vis> vis release 2.3 (compiled 13-Jul-11 at 10:56 AM)
484vis> vis> vis> Dynamic variable ordering is enabled with method sift.
485vis> file protect_output  created (contains 8 signals)
486vis> *** Rob3 ***
487Root main
488vis> vis> Dynamic variable ordering is enabled with method sift.
489vis> file protect_golden.reg  created (contains 28 registers)
490vis> vis> Class MSUT ROB1 huff
491vis> faulty.character<0>          2  not protected
492faulty.character<1>          2  not protected
493faulty.character<2>          2  not protected
494faulty.character<3>          2  not protected
495faulty.character<4>          2  not protected
496faulty.character<5>          2  not protected
497faulty.character<6>          2  not protected
498faulty.character<7>          2  not protected
499faulty.decoder.state<0>         2  not protected
500faulty.decoder.state<1>         2  not protected
501faulty.decoder.state<2>         2  not protected
502faulty.decoder.state<3>         2  not protected
503faulty.decoder.state<4>         2  not protected
504faulty.decoder.state<5>         2  not protected
505faulty.decoder.state<6>         2  not protected
506faulty.decoder.state<7>         2  not protected
507faulty.decoder.state<8>         2  not protected
508faulty.decoder.state<9>         2  not protected
509faulty.encoder.shiftreg<0>         2  not protected
510faulty.encoder.shiftreg<1>         2  not protected
511faulty.encoder.shiftreg<2>         2  not protected
512faulty.encoder.shiftreg<3>         2  not protected
513faulty.encoder.shiftreg<4>         2  not protected
514faulty.encoder.shiftreg<5>         2  not protected
515faulty.encoder.shiftreg<6>         2  not protected
516faulty.encoder.shiftreg<7>         2  not protected
517faulty.encoder.shiftreg<8>         2  not protected
518faulty.encoder.shiftreg<9>         2  not protected
519golden.character<0>          2  protected
520golden.character<1>          2  protected
521golden.character<2>          2  protected
522golden.character<3>          2  protected
523golden.character<4>          2  protected
524golden.character<5>          2  protected
525golden.character<6>          2  protected
526golden.character<7>          2  protected
527golden.decoder.state<0>         2  protected
528golden.decoder.state<1>         2  protected
529golden.decoder.state<2>         2  protected
530golden.decoder.state<3>         2  protected
531golden.decoder.state<4>         2  protected
532golden.decoder.state<5>         2  protected
533golden.decoder.state<6>         2  protected
534golden.decoder.state<7>         2  protected
535golden.decoder.state<8>         2  protected
536golden.decoder.state<9>         2  protected
537golden.encoder.shiftreg<0>         2  protected
538golden.encoder.shiftreg<1>         2  protected
539golden.encoder.shiftreg<2>         2  protected
540golden.encoder.shiftreg<3>         2  protected
541golden.encoder.shiftreg<4>         2  protected
542golden.encoder.shiftreg<5>         2  protected
543golden.encoder.shiftreg<6>         2  protected
544golden.encoder.shiftreg<7>         2  protected
545golden.encoder.shiftreg<8>         2  protected
546golden.encoder.shiftreg<9>         2  protected
547********************************
548Error states                        =                2.356863e+11
549States reachable from error states  =                2.356863e+11
550Reachable states whithout faults   =                 8.780000e+02
551Analysis time                       =                        1.11
552vis> ********************************
553Fair error states                              =     2.356863e+11
554********************************
555Dealing with  F = AG[Safe]]
556  --Error states satisfying F                                        =    1.449618e+06 (Ratio: 6.150624e-04%)
557  --Error states originaly reachable by the design and satisfying F  =    8.780000e+02 (Ratio: 1.000000e+02%)
558  Analysis time                                                      =           29.27
559********************************
560Dealing with F =  EG[Safe]]
561  --Error states satisfying F                                        =    5.338613e+07 (Ratio: 2.265135e-02%)
562  --Error states originaly reachable by the design and satisfying F  =    8.780000e+02 (Ratio: 1.000000e+02%)
563  Analysis time                                                      =            4.27
564vis> vis release 2.3 (compiled 13-Jul-11 at 10:56 AM)
565vis> vis> vis> Dynamic variable ordering is enabled with method sift.
566vis> file protect_output  created (contains 8 signals)
567vis> *** Rob3 ***
568Root main
569vis> vis> Dynamic variable ordering is enabled with method sift.
570vis> file protect_golden.reg  created (contains 28 registers)
571vis> vis> Class MSMT ROB1 huff
572vis> faulty.character<0>          2  not protected
573faulty.character<1>          2  not protected
574faulty.character<2>          2  not protected
575faulty.character<3>          2  not protected
576faulty.character<4>          2  not protected
577faulty.character<5>          2  not protected
578faulty.character<6>          2  not protected
579faulty.character<7>          2  not protected
580faulty.decoder.state<0>         2  not protected
581faulty.decoder.state<1>         2  not protected
582faulty.decoder.state<2>         2  not protected
583faulty.decoder.state<3>         2  not protected
584faulty.decoder.state<4>         2  not protected
585faulty.decoder.state<5>         2  not protected
586faulty.decoder.state<6>         2  not protected
587faulty.decoder.state<7>         2  not protected
588faulty.decoder.state<8>         2  not protected
589faulty.decoder.state<9>         2  not protected
590faulty.encoder.shiftreg<0>         2  not protected
591faulty.encoder.shiftreg<1>         2  not protected
592faulty.encoder.shiftreg<2>         2  not protected
593faulty.encoder.shiftreg<3>         2  not protected
594faulty.encoder.shiftreg<4>         2  not protected
595faulty.encoder.shiftreg<5>         2  not protected
596faulty.encoder.shiftreg<6>         2  not protected
597faulty.encoder.shiftreg<7>         2  not protected
598faulty.encoder.shiftreg<8>         2  not protected
599faulty.encoder.shiftreg<9>         2  not protected
600golden.character<0>          2  protected
601golden.character<1>          2  protected
602golden.character<2>          2  protected
603golden.character<3>          2  protected
604golden.character<4>          2  protected
605golden.character<5>          2  protected
606golden.character<6>          2  protected
607golden.character<7>          2  protected
608golden.decoder.state<0>         2  protected
609golden.decoder.state<1>         2  protected
610golden.decoder.state<2>         2  protected
611golden.decoder.state<3>         2  protected
612golden.decoder.state<4>         2  protected
613golden.decoder.state<5>         2  protected
614golden.decoder.state<6>         2  protected
615golden.decoder.state<7>         2  protected
616golden.decoder.state<8>         2  protected
617golden.decoder.state<9>         2  protected
618golden.encoder.shiftreg<0>         2  protected
619golden.encoder.shiftreg<1>         2  protected
620golden.encoder.shiftreg<2>         2  protected
621golden.encoder.shiftreg<3>         2  protected
622golden.encoder.shiftreg<4>         2  protected
623golden.encoder.shiftreg<5>         2  protected
624golden.encoder.shiftreg<6>         2  protected
625golden.encoder.shiftreg<7>         2  protected
626golden.encoder.shiftreg<8>         2  protected
627golden.encoder.shiftreg<9>         2  protected
628********************************
629Error states                        =                2.356863e+11
630States reachable from error states  =                2.356863e+11
631Reachable states whithout faults   =                 8.780000e+02
632Analysis time                       =                        0.96
633vis> ********************************
634Fair error states                              =     2.356863e+11
635********************************
636Dealing with  F = AG[Safe]]
637  --Error states satisfying F                                        =    1.450496e+06 (Ratio: 6.154349e-04%)
638  --Error states originaly reachable by the design and satisfying F  =    8.780000e+02 (Ratio: 1.000000e+02%)
639  Analysis time                                                      =            24.5
640********************************
641Dealing with F =  EG[Safe]]
642  --Error states satisfying F                                        =    5.338701e+07 (Ratio: 2.265172e-02%)
643  --Error states originaly reachable by the design and satisfying F  =    8.780000e+02 (Ratio: 1.000000e+02%)
644  Analysis time                                                      =           29.62
Note: See TracBrowser for help on using the repository browser.