taxi.sim.rpt

在Quatus下用VerilogHDL语言编写

+--------------------------------------------------------------------+
; Coverage Summary                                                   ;
+-----------------------------------------------------+--------------+
; Type                                                ; Value        ;
+-----------------------------------------------------+--------------+
; Total coverage as a percentage                      ;      71.39 % ;
; Total nodes checked                                 ; 1133         ;
; Total output ports checked                          ; 1185         ;
; Total output ports with complete 1/0-value coverage ; 846          ;
; Total output ports with no 1/0-value coverage       ; 339          ;
; Total output ports with no 1-value coverage         ; 339          ;
; Total output ports with no 0-value coverage         ; 339          ;
+-----------------------------------------------------+--------------+


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 ;
+----------------------------------------------------------------------------+----------------------------------------------------------------------------+------------------+
; |taxi|j~0                                                                  ; |taxi|j~0                                                                  ; out              ;
; |taxi|j~1                                                                  ; |taxi|j~1                                                                  ; out              ;
; |taxi|j~2                                                                  ; |taxi|j~2                                                                  ; out              ;
; |taxi|j~3                                                                  ; |taxi|j~3                                                                  ; out              ;
; |taxi|j~4                                                                  ; |taxi|j~4                                                                  ; out              ;
; |taxi|j~5                                                                  ; |taxi|j~5                                                                  ; out              ;
; |taxi|j~6                                                                  ; |taxi|j~6                                                                  ; out              ;
; |taxi|j~7                                                                  ; |taxi|j~7                                                                  ; out              ;
; |taxi|minout~0                                                             ; |taxi|minout~0                                                             ; out              ;
; |taxi|k~0                                                                  ; |taxi|k~0                                                                  ; out              ;
; |taxi|k~1                                                                  ; |taxi|k~1                                                                  ; out              ;
; |taxi|k~2                                                                  ; |taxi|k~2                                                                  ; out              ;
; |taxi|k~3                                                                  ; |taxi|k~3                                                                  ; out              ;
; |taxi|k~4                                                                  ; |taxi|k~4                                                                  ; out              ;
; |taxi|k~5                                                                  ; |taxi|k~5                                                                  ; out              ;
; |taxi|k~6                                                                  ; |taxi|k~6                                                                  ; out              ;
; |taxi|k~7                                                                  ; |taxi|k~7                                                                  ; out              ;
; |taxi|miles~0                                                              ; |taxi|miles~0                                                              ; out              ;
; |taxi|j~8                                                                  ; |taxi|j~8                                                                  ; out              ;
; |taxi|j~9                                                                  ; |taxi|j~9                                                                  ; out              ;
; |taxi|j~10                                                                 ; |taxi|j~10                                                                 ; out              ;
; |taxi|j~11                                                                 ; |taxi|j~11                                                                 ; out              ;
; |taxi|j~12                                                                 ; |taxi|j~12                                                                 ; out              ;
; |taxi|j~13                                                                 ; |taxi|j~13                                                                 ; out              ;
; |taxi|j~14                                                                 ; |taxi|j~14                                                                 ; out              ;
; |taxi|j~15                                                                 ; |taxi|j~15                                                                 ; out              ;
; |taxi|minout~1                                                             ; |taxi|minout~1                                                             ; out              ;
; |taxi|k~8                                                                  ; |taxi|k~8                                                                  ; out              ;
; |taxi|k~9                                                                  ; |taxi|k~9                                                                  ; out              ;
; |taxi|k~10                                                                 ; |taxi|k~10                                                                 ; out              ;
; |taxi|k~11                                                                 ; |taxi|k~11                                                                 ; out              ;
; |taxi|k~12                                                                 ; |taxi|k~12                                                                 ; out              ;
; |taxi|k~13                                                                 ; |taxi|k~13                                                                 ; out              ;
; |taxi|k~14                                                                 ; |taxi|k~14                                                                 ; out              ;
; |taxi|k~15                                                                 ; |taxi|k~15                                                                 ; out              ;
; |taxi|miles~1                                                              ; |taxi|miles~1                                                              ; out              ;
; |taxi|j~16                                                                 ; |taxi|j~16                                                                 ; out              ;
; |taxi|j~17                                                                 ; |taxi|j~17                                                                 ; out              ;
; |taxi|j~18                                                                 ; |taxi|j~18                                                                 ; out              ;
; |taxi|j~19                                                                 ; |taxi|j~19                                                                 ; out              ;
; |taxi|j~20                                                                 ; |taxi|j~20                                                                 ; out              ;
; |taxi|j~21                                                                 ; |taxi|j~21                                                                 ; out              ;
; |taxi|j~22                                                                 ; |taxi|j~22                                                                 ; out              ;
; |taxi|j~23                                                                 ; |taxi|j~23                                                                 ; out              ;
; |taxi|k~16                                                                 ; |taxi|k~16                                                                 ; out              ;
; |taxi|k~17                                                                 ; |taxi|k~17                                                                 ; out              ;
; |taxi|k~18                                                                 ; |taxi|k~18                                                                 ; out              ;
; |taxi|k~19                                                                 ; |taxi|k~19                                                                 ; out              ;
; |taxi|k~20                                                                 ; |taxi|k~20                                                                 ; out              ;
; |taxi|k~21                                                                 ; |taxi|k~21                                                                 ; out              ;
; |taxi|k~22                                                                 ; |taxi|k~22                                                                 ; out              ;
; |taxi|k~23                                                                 ; |taxi|k~23                                                                 ; out              ;
; |taxi|flagmin~0                                                            ; |taxi|flagmin~0                                                            ; out              ;
; |taxi|flagmile~0                                                           ; |taxi|flagmile~0                                                           ; out              ;
; |taxi|minout~2                                                             ; |taxi|minout~2                                                             ; out              ;
; |taxi|miles~2                                                              ; |taxi|miles~2                                                              ; out              ;
; |taxi|j~24                                                                 ; |taxi|j~24                                                                 ; out              ;
; |taxi|j~25                                                                 ; |taxi|j~25                                                                 ; out              ;
; |taxi|j~26                                                                 ; |taxi|j~26                                                                 ; out              ;
; |taxi|j~27                                                                 ; |taxi|j~27                                                                 ; out              ;
; |taxi|j~28                                                                 ; |taxi|j~28                                                                 ; out              ;
; |taxi|j~29                                                                 ; |taxi|j~29                                                                 ; out              ;
; |taxi|j~30                                                                 ; |taxi|j~30                                                                 ; out              ;
; |taxi|j~31                                                                 ; |taxi|j~31                                                                 ; out              ;
; |taxi|k~24                                                                 ; |taxi|k~24                                                                 ; out              ;
; |taxi|k~25                                                                 ; |taxi|k~25                                                                 ; out              ;
; |taxi|k~26                                                                 ; |taxi|k~26                                                                 ; out              ;