traffic.sim.rpt

VHDL 学习很好的一个例程

; |traffic|div_cnt[16]    ; |traffic|div_cnt[16]~155          ; cout0            ;
; |traffic|div_cnt[16]    ; |traffic|div_cnt[16]~155COUT1_215 ; cout1            ;
; |traffic|div_cnt[7]     ; |traffic|div_cnt[7]~157           ; cout             ;
; |traffic|div_cnt[6]     ; |traffic|div_cnt[6]~159           ; cout0            ;
; |traffic|div_cnt[6]     ; |traffic|div_cnt[6]~159COUT1_199  ; cout1            ;
; |traffic|div_cnt[5]     ; |traffic|div_cnt[5]~161           ; cout0            ;
; |traffic|div_cnt[5]     ; |traffic|div_cnt[5]~161COUT1_197  ; cout1            ;
; |traffic|div_cnt[4]     ; |traffic|div_cnt[4]~163           ; cout0            ;
; |traffic|div_cnt[4]     ; |traffic|div_cnt[4]~163COUT1_195  ; cout1            ;
; |traffic|div_cnt[3]     ; |traffic|div_cnt[3]~165           ; cout0            ;
; |traffic|div_cnt[3]     ; |traffic|div_cnt[3]~165COUT1_193  ; cout1            ;
; |traffic|div_cnt[2]     ; |traffic|div_cnt[2]~167           ; cout             ;
; |traffic|div_cnt[1]     ; |traffic|div_cnt[1]~169           ; cout0            ;
; |traffic|div_cnt[1]     ; |traffic|div_cnt[1]~169COUT1_191  ; cout1            ;
; |traffic|div_cnt[0]     ; |traffic|div_cnt[0]               ; regout           ;
; |traffic|rst            ; |traffic|rst~corein               ; combout          ;
; |traffic|dataout[0]     ; |traffic|dataout[0]               ; padio            ;
; |traffic|dataout[1]     ; |traffic|dataout[1]               ; padio            ;
; |traffic|dataout[2]     ; |traffic|dataout[2]               ; padio            ;
; |traffic|dataout[3]     ; |traffic|dataout[3]               ; padio            ;
; |traffic|dataout[4]     ; |traffic|dataout[4]               ; padio            ;
; |traffic|dataout[5]     ; |traffic|dataout[5]               ; padio            ;
; |traffic|dataout[6]     ; |traffic|dataout[6]               ; padio            ;
; |traffic|dataout[7]     ; |traffic|dataout[7]               ; padio            ;
; |traffic|en[0]          ; |traffic|en[0]                    ; padio            ;
; |traffic|en[1]          ; |traffic|en[1]                    ; padio            ;
; |traffic|lightY[0]      ; |traffic|lightY[0]                ; padio            ;
; |traffic|lightY[1]      ; |traffic|lightY[1]                ; padio            ;
; |traffic|lightY[2]      ; |traffic|lightY[2]                ; padio            ;
; |traffic|lightY[3]      ; |traffic|lightY[3]                ; padio            ;
; |traffic|lightG[0]      ; |traffic|lightG[0]                ; padio            ;
; |traffic|lightG[1]      ; |traffic|lightG[1]                ; padio            ;
; |traffic|lightG[2]      ; |traffic|lightG[2]                ; padio            ;
; |traffic|lightG[3]      ; |traffic|lightG[3]                ; padio            ;
; |traffic|lightR[0]      ; |traffic|lightR[0]                ; padio            ;
; |traffic|lightR[1]      ; |traffic|lightR[1]                ; padio            ;
; |traffic|lightR[2]      ; |traffic|lightR[2]                ; padio            ;
; |traffic|lightR[3]      ; |traffic|lightR[3]                ; padio            ;
+-------------------------+-----------------------------------+------------------+


The following table displays output ports that do not toggle to 0 during simulation.
+--------------------------------------------------------------------------------+
; Missing 0-Value Coverage                                                       ;
+-------------------------+-----------------------------------+------------------+
; Node Name               ; Output Port Name                  ; Output Port Type ;
+-------------------------+-----------------------------------+------------------+
; |traffic|data4[0]~164   ; |traffic|data4[0]~164             ; combout          ;
; |traffic|data4[1]~165   ; |traffic|data4[1]~165             ; combout          ;
; |traffic|data4[2]~166   ; |traffic|data4[2]~166             ; combout          ;
; |traffic|data4[3]~167   ; |traffic|data4[3]~167             ; combout          ;
; |traffic|Mux28~13       ; |traffic|Mux28~13                 ; combout          ;
; |traffic|Mux27~15       ; |traffic|Mux27~15                 ; combout          ;
; |traffic|Mux26~17       ; |traffic|Mux26~17                 ; combout          ;
; |traffic|Mux25~17       ; |traffic|Mux25~17                 ; combout          ;
; |traffic|Mux24~13       ; |traffic|Mux24~13                 ; combout          ;
; |traffic|Mux23~17       ; |traffic|Mux23~17                 ; combout          ;
; |traffic|Mux22~13       ; |traffic|Mux22~13                 ; combout          ;
; |traffic|state[1]       ; |traffic|state[1]                 ; regout           ;
; |traffic|state[0]       ; |traffic|state[0]                 ; regout           ;
; |traffic|Mux17~11       ; |traffic|Mux17~11                 ; combout          ;
; |traffic|Mux21~11       ; |traffic|Mux21~11                 ; combout          ;
; |traffic|Mux14~18       ; |traffic|Mux14~18                 ; combout          ;
; |traffic|div_cnt[24]    ; |traffic|div_cnt[24]              ; regout           ;
; |traffic|Mux3~15        ; |traffic|Mux3~15                  ; combout          ;
; |traffic|Equal0~31      ; |traffic|Equal0~31                ; combout          ;
; |traffic|Equal1~38      ; |traffic|Equal1~38                ; combout          ;
; |traffic|first[3]~376   ; |traffic|first[3]~376             ; combout          ;
; |traffic|first[3]~377   ; |traffic|first[3]~377             ; combout          ;
; |traffic|div_cnt[15]    ; |traffic|div_cnt[15]              ; regout           ;
; |traffic|div_cnt[15]    ; |traffic|div_cnt[15]~125          ; cout0            ;
; |traffic|div_cnt[15]    ; |traffic|div_cnt[15]~125COUT1_213 ; cout1            ;
; |traffic|second[3]~1025 ; |traffic|second[3]~1025           ; combout          ;
; |traffic|second[3]~1026 ; |traffic|second[3]~1026           ; combout          ;
; |traffic|second[1]~1028 ; |traffic|second[1]~1028           ; combout          ;
; |traffic|Mux7~74        ; |traffic|Mux7~74                  ; combout          ;
; |traffic|Equal1~39      ; |traffic|Equal1~39                ; combout          ;
; |traffic|Mux1~35        ; |traffic|Mux1~35                  ; combout          ;
; |traffic|Add1~109       ; |traffic|Add1~109                 ; combout          ;
; |traffic|Equal1~40      ; |traffic|Equal1~40                ; combout          ;
; |traffic|Mux0~53        ; |traffic|Mux0~53                  ; combout          ;
; |traffic|Add1~110       ; |traffic|Add1~110                 ; combout          ;
; |traffic|div_cnt[23]    ; |traffic|div_cnt[23]~127          ; cout0            ;
; |traffic|div_cnt[23]    ; |traffic|div_cnt[23]~127COUT1_225 ; cout1            ;
; |traffic|div_cnt[14]    ; |traffic|div_cnt[14]~129          ; cout0            ;
; |traffic|div_cnt[14]    ; |traffic|div_cnt[14]~129COUT1_211 ; cout1            ;
; |traffic|div_cnt[22]    ; |traffic|div_cnt[22]~131          ; cout             ;
; |traffic|div_cnt[13]    ; |traffic|div_cnt[13]~133          ; cout0            ;
; |traffic|div_cnt[13]    ; |traffic|div_cnt[13]~133COUT1_209 ; cout1            ;
; |traffic|div_cnt[21]    ; |traffic|div_cnt[21]~135          ; cout0            ;
; |traffic|div_cnt[21]    ; |traffic|div_cnt[21]~135COUT1_223 ; cout1            ;
; |traffic|div_cnt[12]    ; |traffic|div_cnt[12]~137          ; cout             ;
; |traffic|div_cnt[20]    ; |traffic|div_cnt[20]~139          ; cout0            ;
; |traffic|div_cnt[20]    ; |traffic|div_cnt[20]~139COUT1_221 ; cout1            ;
; |traffic|div_cnt[11]    ; |traffic|div_cnt[11]~141          ; cout0            ;
; |traffic|div_cnt[11]    ; |traffic|div_cnt[11]~141COUT1_207 ; cout1            ;
; |traffic|div_cnt[19]    ; |traffic|div_cnt[19]~143          ; cout0            ;
; |traffic|div_cnt[19]    ; |traffic|div_cnt[19]~143COUT1_219 ; cout1            ;
; |traffic|div_cnt[10]    ; |traffic|div_cnt[10]~145          ; cout0            ;
; |traffic|div_cnt[10]    ; |traffic|div_cnt[10]~145COUT1_205 ; cout1            ;
; |traffic|div_cnt[18]    ; |traffic|div_cnt[18]~147          ; cout0            ;
; |traffic|div_cnt[18]    ; |traffic|div_cnt[18]~147COUT1_217 ; cout1            ;
; |traffic|div_cnt[9]     ; |traffic|div_cnt[9]~149           ; cout0            ;
; |traffic|div_cnt[9]     ; |traffic|div_cnt[9]~149COUT1_203  ; cout1            ;
; |traffic|div_cnt[17]    ; |traffic|div_cnt[17]~151          ; cout             ;
; |traffic|div_cnt[8]     ; |traffic|div_cnt[8]~153           ; cout0            ;
; |traffic|div_cnt[8]     ; |traffic|div_cnt[8]~153COUT1_201  ; cout1            ;
; |traffic|div_cnt[16]    ; |traffic|div_cnt[16]~155          ; cout0            ;
; |traffic|div_cnt[16]    ; |traffic|div_cnt[16]~155COUT1_215 ; cout1            ;
; |traffic|div_cnt[7]     ; |traffic|div_cnt[7]~157           ; cout             ;
; |traffic|div_cnt[6]     ; |traffic|div_cnt[6]~159           ; cout0            ;
; |traffic|div_cnt[6]     ; |traffic|div_cnt[6]~159COUT1_199  ; cout1            ;
; |traffic|div_cnt[5]     ; |traffic|div_cnt[5]~161           ; cout0            ;
; |traffic|div_cnt[5]     ; |traffic|div_cnt[5]~161COUT1_197  ; cout1            ;
; |traffic|div_cnt[4]     ; |traffic|div_cnt[4]~163           ; cout0            ;
; |traffic|div_cnt[4]     ; |traffic|div_cnt[4]~163COUT1_195  ; cout1            ;
; |traffic|div_cnt[3]     ; |traffic|div_cnt[3]~165           ; cout0            ;
; |traffic|div_cnt[3]     ; |traffic|div_cnt[3]~165COUT1_193  ; cout1            ;
; |traffic|div_cnt[2]     ; |traffic|div_cnt[2]~167           ; cout             ;
; |traffic|div_cnt[1]     ; |traffic|div_cnt[1]~169           ; cout0            ;
; |traffic|div_cnt[1]     ; |traffic|div_cnt[1]~169COUT1_191  ; cout1            ;
; |traffic|div_cnt[0]     ; |traffic|div_cnt[0]               ; regout           ;
; |traffic|rst            ; |traffic|rst~corein               ; combout          ;
; |traffic|dataout[0]     ; |traffic|dataout[0]               ; padio            ;
; |traffic|dataout[1]     ; |traffic|dataout[1]               ; padio            ;
; |traffic|dataout[2]     ; |traffic|dataout[2]               ; padio            ;
; |traffic|dataout[3]     ; |traffic|dataout[3]               ; padio            ;
; |traffic|dataout[4]     ; |traffic|dataout[4]               ; padio            ;
; |traffic|dataout[5]     ; |traffic|dataout[5]               ; padio            ;
; |traffic|dataout[6]     ; |traffic|dataout[6]               ; padio            ;
; |traffic|dataout[7]     ; |traffic|dataout[7]               ; padio            ;
; |traffic|en[0]          ; |traffic|en[0]                    ; padio            ;
; |traffic|en[1]          ; |traffic|en[1]                    ; padio            ;
; |traffic|lightY[0]      ; |traffic|lightY[0]                ; padio            ;
; |traffic|lightY[1]      ; |traffic|lightY[1]                ; padio            ;
; |traffic|lightY[2]      ; |traffic|lightY[2]                ; padio            ;
; |traffic|lightY[3]      ; |traffic|lightY[3]                ; padio            ;
; |traffic|lightG[0]      ; |traffic|lightG[0]                ; padio            ;
; |traffic|lightG[1]      ; |traffic|lightG[1]                ; padio            ;
; |traffic|lightG[2]      ; |traffic|lightG[2]                ; padio            ;
; |traffic|lightG[3]      ; |traffic|lightG[3]                ; padio            ;
; |traffic|lightR[0]      ; |traffic|lightR[0]                ; padio            ;
; |traffic|lightR[1]      ; |traffic|lightR[1]                ; padio            ;
; |traffic|lightR[2]      ; |traffic|lightR[2]                ; padio            ;
; |traffic|lightR[3]      ; |traffic|lightR[3]                ; padio            ;
+-------------------------+-----------------------------------+------------------+


+---------------------+
; Simulator INI Usage ;
+--------+------------+
; Option ; Usage      ;
+--------+------------+


+--------------------+
; Simulator Messages ;
+--------------------+
Info: *******************************************************************
Info: Running Quartus II Simulator
    Info: Version 8.0 Build 215 05/29/2008 SJ Full Version
    Info: Processing started: Tue Apr 21 10:34:54 2009
Info: Command: quartus_sim --read_settings_files=on --write_settings_files=off traffic -c traffic
Info: Using vector source file "C:/altera/80/quartus/vhdl/integratedexperiment/trafficlight/traffic/traffic.vwf"
Info: Inverted registers were found during simulation
    Info: Register: |traffic|en_xhdl[1]
    Info: Register: |traffic|second[0]
    Info: Register: |traffic|second[1]
Info: Option to preserve fewer signal transitions to reduce memory requirements is enabled
    Info: Simulation has been partitioned into sub-simulations according to the maximum transition count determined by the engine. Transitions from memory will be flushed out to disk at the end of each sub-simulation to reduce memory requirements.
Info: Simulation partitioned into 1 sub-simulations
Info: Simulation coverage is       1.01 %
Info: Number of transitions in simulation is 999
Info: Quartus II Simulator was successful. 0 errors, 0 warnings
    Info: Peak virtual memory: 110 megabytes
    Info: Processing ended: Tue Apr 21 10:34:55 2009
    Info: Elapsed time: 00:00:01
    Info: Total CPU time (on all processors): 00:00:01