seg7led.sim.rpt

Verilog 经典实例

+--------------------------------------------------------------------+
; Coverage Summary                                                   ;
+-----------------------------------------------------+--------------+
; Type                                                ; Value        ;
+-----------------------------------------------------+--------------+
; Total coverage as a percentage                      ;      75.43 % ;
; Total nodes checked                                 ; 279          ;
; Total output ports checked                          ; 293          ;
; Total output ports with complete 1/0-value coverage ; 221          ;
; Total output ports with no 1/0-value coverage       ; 72           ;
; Total output ports with no 1-value coverage         ; 72           ;
; Total output ports with no 0-value coverage         ; 72           ;
+-----------------------------------------------------+--------------+


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 ;
+-------------------------------------------------------------------------------+-------------------------------------------------------------------------------+------------------+
; |segmain|count[12]                                                            ; |segmain|count[12]                                                            ; regout           ;
; |segmain|count[11]                                                            ; |segmain|count[11]                                                            ; regout           ;
; |segmain|count~22                                                             ; |segmain|count~22                                                             ; out              ;
; |segmain|count~23                                                             ; |segmain|count~23                                                             ; out              ;
; |segmain|count~24                                                             ; |segmain|count~24                                                             ; out              ;
; |segmain|count~25                                                             ; |segmain|count~25                                                             ; out              ;
; |segmain|count~26                                                             ; |segmain|count~26                                                             ; out              ;
; |segmain|count~27                                                             ; |segmain|count~27                                                             ; out              ;
; |segmain|count~28                                                             ; |segmain|count~28                                                             ; out              ;
; |segmain|count~29                                                             ; |segmain|count~29                                                             ; out              ;
; |segmain|count~30                                                             ; |segmain|count~30                                                             ; out              ;
; |segmain|count~31                                                             ; |segmain|count~31                                                             ; out              ;
; |segmain|count~32                                                             ; |segmain|count~32                                                             ; out              ;
; |segmain|count~33                                                             ; |segmain|count~33                                                             ; out              ;
; |segmain|count~34                                                             ; |segmain|count~34                                                             ; out              ;
; |segmain|count~35                                                             ; |segmain|count~35                                                             ; out              ;
; |segmain|count~36                                                             ; |segmain|count~36                                                             ; out              ;
; |segmain|count[10]                                                            ; |segmain|count[10]                                                            ; regout           ;
; |segmain|count[9]                                                             ; |segmain|count[9]                                                             ; regout           ;
; |segmain|count[8]                                                             ; |segmain|count[8]                                                             ; regout           ;
; |segmain|count[7]                                                             ; |segmain|count[7]                                                             ; regout           ;
; |segmain|count[6]                                                             ; |segmain|count[6]                                                             ; regout           ;
; |segmain|count[5]                                                             ; |segmain|count[5]                                                             ; regout           ;
; |segmain|count[4]                                                             ; |segmain|count[4]                                                             ; regout           ;
; |segmain|WideOr0                                                              ; |segmain|WideOr0                                                              ; out0             ;
; |segmain|count[3]                                                             ; |segmain|count[3]                                                             ; regout           ;
; |segmain|WideOr1                                                              ; |segmain|WideOr1                                                              ; out0             ;
; |segmain|count[2]                                                             ; |segmain|count[2]                                                             ; regout           ;
; |segmain|WideOr3                                                              ; |segmain|WideOr3                                                              ; out0             ;
; |segmain|count[1]                                                             ; |segmain|count[1]                                                             ; regout           ;
; |segmain|WideOr4                                                              ; |segmain|WideOr4                                                              ; out0             ;
; |segmain|count[0]                                                             ; |segmain|count[0]                                                             ; regout           ;
; |segmain|WideOr5                                                              ; |segmain|WideOr5                                                              ; out0             ;
; |segmain|WideOr6                                                              ; |segmain|WideOr6                                                              ; out0             ;
; |segmain|count[13]                                                            ; |segmain|count[13]                                                            ; regout           ;
; |segmain|count[14]                                                            ; |segmain|count[14]                                                            ; regout           ;
; |segmain|clk                                                                  ; |segmain|clk                                                                  ; out              ;
; |segmain|seg_data[0]                                                          ; |segmain|seg_data[0]                                                          ; pin_out          ;
; |segmain|seg_data[1]                                                          ; |segmain|seg_data[1]                                                          ; pin_out          ;
; |segmain|seg_data[2]                                                          ; |segmain|seg_data[2]                                                          ; pin_out          ;
; |segmain|seg_data[3]                                                          ; |segmain|seg_data[3]                                                          ; pin_out          ;
; |segmain|seg_data[5]                                                          ; |segmain|seg_data[5]                                                          ; pin_out          ;
; |segmain|seg_data[6]                                                          ; |segmain|seg_data[6]                                                          ; pin_out          ;
; |segmain|seg_com[0]                                                           ; |segmain|seg_com[0]                                                           ; pin_out          ;
; |segmain|seg_com[1]                                                           ; |segmain|seg_com[1]                                                           ; pin_out          ;
; |segmain|seg_com[2]                                                           ; |segmain|seg_com[2]                                                           ; pin_out          ;
; |segmain|seg_com[3]                                                           ; |segmain|seg_com[3]                                                           ; pin_out          ;
; |segmain|Decoder0~4                                                           ; |segmain|Decoder0~4                                                           ; out0             ;
; |segmain|Decoder0~5                                                           ; |segmain|Decoder0~5                                                           ; out0             ;
; |segmain|Decoder0~6                                                           ; |segmain|Decoder0~6                                                           ; out0             ;
; |segmain|Decoder0~7                                                           ; |segmain|Decoder0~7                                                           ; out0             ;
; |segmain|Decoder1~32                                                          ; |segmain|Decoder1~32                                                          ; out              ;
; |segmain|Decoder1~41                                                          ; |segmain|Decoder1~41                                                          ; out              ;
; |segmain|Decoder1~42                                                          ; |segmain|Decoder1~42                                                          ; out              ;
; |segmain|Decoder1~43                                                          ; |segmain|Decoder1~43                                                          ; out              ;
; |segmain|Decoder1~44                                                          ; |segmain|Decoder1~44                                                          ; out              ;
; |segmain|Decoder1~45                                                          ; |segmain|Decoder1~45                                                          ; out              ;
; |segmain|Decoder1~46                                                          ; |segmain|Decoder1~46                                                          ; out              ;
; |segmain|lpm_mux:Mux3|mux_cfc:auto_generated|_~1                              ; |segmain|lpm_mux:Mux3|mux_cfc:auto_generated|_~1                              ; out0             ;
; |segmain|lpm_mux:Mux3|mux_cfc:auto_generated|_~2                              ; |segmain|lpm_mux:Mux3|mux_cfc:auto_generated|_~2                              ; out0             ;
; |segmain|lpm_mux:Mux3|mux_cfc:auto_generated|_~3                              ; |segmain|lpm_mux:Mux3|mux_cfc:auto_generated|_~3                              ; out0             ;
; |segmain|lpm_mux:Mux3|mux_cfc:auto_generated|result_node[0]~1                 ; |segmain|lpm_mux:Mux3|mux_cfc:auto_generated|result_node[0]~1                 ; out0             ;
; |segmain|lpm_mux:Mux3|mux_cfc:auto_generated|result_node[0]                   ; |segmain|lpm_mux:Mux3|mux_cfc:auto_generated|result_node[0]                   ; out0             ;
; |segmain|lpm_mux:Mux3|mux_cfc:auto_generated|_~4                              ; |segmain|lpm_mux:Mux3|mux_cfc:auto_generated|_~4                              ; out0             ;
; |segmain|lpm_mux:Mux3|mux_cfc:auto_generated|_~5                              ; |segmain|lpm_mux:Mux3|mux_cfc:auto_generated|_~5                              ; out0             ;
; |segmain|lpm_mux:Mux3|mux_cfc:auto_generated|_~6                              ; |segmain|lpm_mux:Mux3|mux_cfc:auto_generated|_~6                              ; out0             ;
; |segmain|lpm_mux:Mux3|mux_cfc:auto_generated|w_result19w~0                    ; |segmain|lpm_mux:Mux3|mux_cfc:auto_generated|w_result19w~0                    ; out0             ;
; |segmain|lpm_mux:Mux3|mux_cfc:auto_generated|w_result19w~1                    ; |segmain|lpm_mux:Mux3|mux_cfc:auto_generated|w_result19w~1                    ; out0             ;
; |segmain|lpm_mux:Mux3|mux_cfc:auto_generated|w_result19w                      ; |segmain|lpm_mux:Mux3|mux_cfc:auto_generated|w_result19w                      ; out0             ;
; |segmain|lpm_mux:Mux2|mux_cfc:auto_generated|_~1                              ; |segmain|lpm_mux:Mux2|mux_cfc:auto_generated|_~1                              ; out0             ;
; |segmain|lpm_mux:Mux2|mux_cfc:auto_generated|_~2                              ; |segmain|lpm_mux:Mux2|mux_cfc:auto_generated|_~2                              ; out0             ;