?? taxi.sim.rpt
字號:
+--------------------------------------------------------------------+
; 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 ;
?? 快捷鍵說明
復制代碼
Ctrl + C
搜索代碼
Ctrl + F
全屏模式
F11
切換主題
Ctrl + Shift + D
顯示快捷鍵
?
增大字號
Ctrl + =
減小字號
Ctrl + -