all_traffic.sim.rpt

来自「一个简单的交通灯程序(包括验证,主程序,和译码程序),在ALTER DE2板上实」· RPT 代码 · 共 427 行 · 第 1/5 页

+--------------------------------------------------------------------+
; Coverage Summary                                                   ;
+-----------------------------------------------------+--------------+
; Type                                                ; Value        ;
+-----------------------------------------------------+--------------+
; Total coverage as a percentage                      ;      75.87 % ;
; Total nodes checked                                 ; 2520         ;
; Total output ports checked                          ; 2520         ;
; Total output ports with complete 1/0-value coverage ; 1912         ;
; Total output ports with no 1/0-value coverage       ; 603          ;
; Total output ports with no 1-value coverage         ; 606          ;
; Total output ports with no 0-value coverage         ; 605          ;
+-----------------------------------------------------+--------------+


The following table displays output ports that toggle between 1 and 0 during simulation.
+------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------+
; Complete 1/0-Value Coverage                                                                                                                                                        ;
+--------------------------------------------------------------------------------+--------------------------------------------------------------------------------+------------------+
; Node Name                                                                      ; Output Port Name                                                               ; Output Port Type ;
+--------------------------------------------------------------------------------+--------------------------------------------------------------------------------+------------------+
; |All_traffic|ewa[6]                                                            ; |All_traffic|ewa[6]                                                            ; pin_out          ;
; |All_traffic|ewa[5]                                                            ; |All_traffic|ewa[5]                                                            ; pin_out          ;
; |All_traffic|ewa[4]                                                            ; |All_traffic|ewa[4]                                                            ; pin_out          ;
; |All_traffic|ewa[3]                                                            ; |All_traffic|ewa[3]                                                            ; pin_out          ;
; |All_traffic|ewa[2]                                                            ; |All_traffic|ewa[2]                                                            ; pin_out          ;
; |All_traffic|ewa[1]                                                            ; |All_traffic|ewa[1]                                                            ; pin_out          ;
; |All_traffic|ewa[0]                                                            ; |All_traffic|ewa[0]                                                            ; pin_out          ;
; |All_traffic|clk                                                               ; |All_traffic|clk                                                               ; out              ;
; |All_traffic|ewb[6]                                                            ; |All_traffic|ewb[6]                                                            ; pin_out          ;
; |All_traffic|ewb[5]                                                            ; |All_traffic|ewb[5]                                                            ; pin_out          ;
; |All_traffic|ewb[4]                                                            ; |All_traffic|ewb[4]                                                            ; pin_out          ;
; |All_traffic|ewb[3]                                                            ; |All_traffic|ewb[3]                                                            ; pin_out          ;
; |All_traffic|ewb[2]                                                            ; |All_traffic|ewb[2]                                                            ; pin_out          ;
; |All_traffic|ewb[1]                                                            ; |All_traffic|ewb[1]                                                            ; pin_out          ;
; |All_traffic|ewb[0]                                                            ; |All_traffic|ewb[0]                                                            ; pin_out          ;
; |All_traffic|led[5]                                                            ; |All_traffic|led[5]                                                            ; pin_out          ;
; |All_traffic|led[4]                                                            ; |All_traffic|led[4]                                                            ; pin_out          ;
; |All_traffic|led[3]                                                            ; |All_traffic|led[3]                                                            ; pin_out          ;
; |All_traffic|led[2]                                                            ; |All_traffic|led[2]                                                            ; pin_out          ;
; |All_traffic|led[1]                                                            ; |All_traffic|led[1]                                                            ; pin_out          ;
; |All_traffic|led[0]                                                            ; |All_traffic|led[0]                                                            ; pin_out          ;
; |All_traffic|sna[6]                                                            ; |All_traffic|sna[6]                                                            ; pin_out          ;
; |All_traffic|sna[5]                                                            ; |All_traffic|sna[5]                                                            ; pin_out          ;
; |All_traffic|sna[4]                                                            ; |All_traffic|sna[4]                                                            ; pin_out          ;
; |All_traffic|sna[3]                                                            ; |All_traffic|sna[3]                                                            ; pin_out          ;
; |All_traffic|sna[2]                                                            ; |All_traffic|sna[2]                                                            ; pin_out          ;
; |All_traffic|sna[1]                                                            ; |All_traffic|sna[1]                                                            ; pin_out          ;
; |All_traffic|sna[0]                                                            ; |All_traffic|sna[0]                                                            ; pin_out          ;
; |All_traffic|snb[6]                                                            ; |All_traffic|snb[6]                                                            ; pin_out          ;
; |All_traffic|snb[5]                                                            ; |All_traffic|snb[5]                                                            ; pin_out          ;
; |All_traffic|snb[4]                                                            ; |All_traffic|snb[4]                                                            ; pin_out          ;
; |All_traffic|snb[3]                                                            ; |All_traffic|snb[3]                                                            ; pin_out          ;
; |All_traffic|snb[2]                                                            ; |All_traffic|snb[2]                                                            ; pin_out          ;
; |All_traffic|snb[1]                                                            ; |All_traffic|snb[1]                                                            ; pin_out          ;
; |All_traffic|snb[0]                                                            ; |All_traffic|snb[0]                                                            ; pin_out          ;
; |All_traffic|DECL7S:inst4|LED7S[0]                                             ; |All_traffic|DECL7S:inst4|LED7S[0]                                             ; out              ;
; |All_traffic|DECL7S:inst4|LED7S[1]                                             ; |All_traffic|DECL7S:inst4|LED7S[1]                                             ; out              ;
; |All_traffic|DECL7S:inst4|LED7S[2]                                             ; |All_traffic|DECL7S:inst4|LED7S[2]                                             ; out              ;
; |All_traffic|DECL7S:inst4|LED7S[3]                                             ; |All_traffic|DECL7S:inst4|LED7S[3]                                             ; out              ;
; |All_traffic|DECL7S:inst4|LED7S[4]                                             ; |All_traffic|DECL7S:inst4|LED7S[4]                                             ; out              ;
; |All_traffic|DECL7S:inst4|LED7S[5]                                             ; |All_traffic|DECL7S:inst4|LED7S[5]                                             ; out              ;
; |All_traffic|DECL7S:inst4|LED7S[6]                                             ; |All_traffic|DECL7S:inst4|LED7S[6]                                             ; out              ;
; |All_traffic|DECL7S:inst3|LED7S[0]                                             ; |All_traffic|DECL7S:inst3|LED7S[0]                                             ; out              ;
; |All_traffic|DECL7S:inst3|LED7S[1]                                             ; |All_traffic|DECL7S:inst3|LED7S[1]                                             ; out              ;
; |All_traffic|DECL7S:inst3|LED7S[2]                                             ; |All_traffic|DECL7S:inst3|LED7S[2]                                             ; out              ;
; |All_traffic|DECL7S:inst3|LED7S[3]                                             ; |All_traffic|DECL7S:inst3|LED7S[3]                                             ; out              ;
; |All_traffic|DECL7S:inst3|LED7S[4]                                             ; |All_traffic|DECL7S:inst3|LED7S[4]                                             ; out              ;
; |All_traffic|DECL7S:inst3|LED7S[5]                                             ; |All_traffic|DECL7S:inst3|LED7S[5]                                             ; out              ;
; |All_traffic|DECL7S:inst3|LED7S[6]                                             ; |All_traffic|DECL7S:inst3|LED7S[6]                                             ; out              ;
; |All_traffic|DECL7S:inst2|LED7S[0]                                             ; |All_traffic|DECL7S:inst2|LED7S[0]                                             ; out              ;
; |All_traffic|DECL7S:inst2|LED7S[1]                                             ; |All_traffic|DECL7S:inst2|LED7S[1]                                             ; out              ;
; |All_traffic|DECL7S:inst2|LED7S[2]                                             ; |All_traffic|DECL7S:inst2|LED7S[2]                                             ; out              ;
; |All_traffic|DECL7S:inst2|LED7S[3]                                             ; |All_traffic|DECL7S:inst2|LED7S[3]                                             ; out              ;
; |All_traffic|DECL7S:inst2|LED7S[4]                                             ; |All_traffic|DECL7S:inst2|LED7S[4]                                             ; out              ;
; |All_traffic|DECL7S:inst2|LED7S[5]                                             ; |All_traffic|DECL7S:inst2|LED7S[5]                                             ; out              ;
; |All_traffic|DECL7S:inst2|LED7S[6]                                             ; |All_traffic|DECL7S:inst2|LED7S[6]                                             ; out              ;
; |All_traffic|traffic:inst|process0~0                                           ; |All_traffic|traffic:inst|process0~0                                           ; out0             ;
; |All_traffic|traffic:inst|process0~1                                           ; |All_traffic|traffic:inst|process0~1                                           ; out0             ;
; |All_traffic|traffic:inst|south_north[1]                                       ; |All_traffic|traffic:inst|south_north[1]                                       ; out              ;
; |All_traffic|traffic:inst|process0~2                                           ; |All_traffic|traffic:inst|process0~2                                           ; out0             ;
; |All_traffic|traffic:inst|process0~3                                           ; |All_traffic|traffic:inst|process0~3                                           ; out0             ;
; |All_traffic|traffic:inst|process0~4                                           ; |All_traffic|traffic:inst|process0~4                                           ; out0             ;
; |All_traffic|traffic:inst|process0~5                                           ; |All_traffic|traffic:inst|process0~5                                           ; out0             ;