traffic.sim.rpt

verilog HDl 交通灯的实现,而且这是有别于一般的vhdl语言

; |traffic|LAMPA[0]~149         ; |traffic|LAMPA[0]~149         ; combout          ;
; |traffic|countb.011           ; |traffic|countb.011           ; regout           ;
; |traffic|LAMPB[0]~81          ; |traffic|LAMPB[0]~81          ; combout          ;
; |traffic|countb.001           ; |traffic|countb.001           ; regout           ;
; |traffic|countb.000           ; |traffic|countb.000           ; regout           ;
; |traffic|Equal0~71            ; |traffic|Equal0~71            ; combout          ;
; |traffic|Equal1~93            ; |traffic|Equal1~93            ; combout          ;
; |traffic|Equal1~94            ; |traffic|Equal1~94            ; combout          ;
; |traffic|numa[0]~1414         ; |traffic|numa[0]~1414         ; combout          ;
; |traffic|numa~1415            ; |traffic|numa~1415            ; combout          ;
; |traffic|numa[1]~1416         ; |traffic|numa[1]~1416         ; combout          ;
; |traffic|Add1~109             ; |traffic|Add1~109             ; combout          ;
; |traffic|Add1~110             ; |traffic|Add1~110             ; combout          ;
; |traffic|numa[3]~1418         ; |traffic|numa[3]~1418         ; combout          ;
; |traffic|numa[4]~1420         ; |traffic|numa[4]~1420         ; combout          ;
; |traffic|Selector2~10         ; |traffic|Selector2~10         ; combout          ;
; |traffic|Add0~110             ; |traffic|Add0~110             ; combout          ;
; |traffic|Add0~111             ; |traffic|Add0~111             ; combout          ;
; |traffic|WideNor0             ; |traffic|WideNor0             ; combout          ;
; |traffic|Equal2~93            ; |traffic|Equal2~93            ; combout          ;
; |traffic|Equal2~94            ; |traffic|Equal2~94            ; combout          ;
; |traffic|numb[0]~1384         ; |traffic|numb[0]~1384         ; combout          ;
; |traffic|numb~1385            ; |traffic|numb~1385            ; combout          ;
; |traffic|numb[1]~1386         ; |traffic|numb[1]~1386         ; combout          ;
; |traffic|Add3~109             ; |traffic|Add3~109             ; combout          ;
; |traffic|Add3~110             ; |traffic|Add3~110             ; combout          ;
; |traffic|numb[3]~1388         ; |traffic|numb[3]~1388         ; combout          ;
; |traffic|numb[4]~1390         ; |traffic|numb[4]~1390         ; combout          ;
; |traffic|Add2~110             ; |traffic|Add2~110             ; combout          ;
; |traffic|Equal1~95            ; |traffic|Equal1~95            ; combout          ;
; |traffic|Equal2~95            ; |traffic|Equal2~95            ; combout          ;
; |traffic|countb.001~_wirecell ; |traffic|countb.001~_wirecell ; combout          ;
; |traffic|LAMPA[0]             ; |traffic|LAMPA[0]             ; padio            ;
; |traffic|LAMPA[1]             ; |traffic|LAMPA[1]             ; padio            ;
; |traffic|LAMPA[2]             ; |traffic|LAMPA[2]             ; padio            ;
; |traffic|LAMPA[3]             ; |traffic|LAMPA[3]             ; padio            ;
; |traffic|LAMPB[0]             ; |traffic|LAMPB[0]             ; padio            ;
; |traffic|LAMPB[1]             ; |traffic|LAMPB[1]             ; padio            ;
; |traffic|LAMPB[2]             ; |traffic|LAMPB[2]             ; padio            ;
; |traffic|LAMPB[3]             ; |traffic|LAMPB[3]             ; padio            ;
; |traffic|ACOUNT[0]            ; |traffic|ACOUNT[0]            ; padio            ;
; |traffic|ACOUNT[1]            ; |traffic|ACOUNT[1]            ; padio            ;
; |traffic|ACOUNT[2]            ; |traffic|ACOUNT[2]            ; padio            ;
; |traffic|ACOUNT[3]            ; |traffic|ACOUNT[3]            ; padio            ;
; |traffic|ACOUNT[4]            ; |traffic|ACOUNT[4]            ; padio            ;
; |traffic|ACOUNT[5]            ; |traffic|ACOUNT[5]            ; padio            ;
; |traffic|BCOUNT[0]            ; |traffic|BCOUNT[0]            ; padio            ;
; |traffic|BCOUNT[1]            ; |traffic|BCOUNT[1]            ; padio            ;
; |traffic|BCOUNT[2]            ; |traffic|BCOUNT[2]            ; padio            ;
; |traffic|BCOUNT[3]            ; |traffic|BCOUNT[3]            ; padio            ;
; |traffic|BCOUNT[4]            ; |traffic|BCOUNT[4]            ; padio            ;
; |traffic|BCOUNT[5]            ; |traffic|BCOUNT[5]            ; padio            ;
; |traffic|BCOUNT[6]            ; |traffic|BCOUNT[6]            ; padio            ;
; |traffic|CLK                  ; |traffic|CLK~corein           ; combout          ;
+-------------------------------+-------------------------------+------------------+


The following table displays output ports that do not toggle to 1 during simulation.
+------------------------------------------------------------+
; Missing 1-Value Coverage                                   ;
+--------------------+--------------------+------------------+
; Node Name          ; Output Port Name   ; Output Port Type ;
+--------------------+--------------------+------------------+
; |traffic|ACOUNT[6] ; |traffic|ACOUNT[6] ; padio            ;
; |traffic|ACOUNT[7] ; |traffic|ACOUNT[7] ; padio            ;
; |traffic|BCOUNT[7] ; |traffic|BCOUNT[7] ; padio            ;
; |traffic|EN        ; |traffic|EN~corein ; combout          ;
+--------------------+--------------------+------------------+


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|ACOUNT[6] ; |traffic|ACOUNT[6] ; padio            ;
; |traffic|ACOUNT[7] ; |traffic|ACOUNT[7] ; padio            ;
; |traffic|BCOUNT[7] ; |traffic|BCOUNT[7] ; padio            ;
; |traffic|EN        ; |traffic|EN~corein ; combout          ;
+--------------------+--------------------+------------------+


+---------------------+
; 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: Wed Mar 18 12:28:00 2009
Info: Command: quartus_sim --read_settings_files=on --write_settings_files=off traffic -c traffic
Info: Using vector source file "C:/Users/123/Desktop/traffic/traffic.vwf"
Info: Overwriting simulation input file with simulation results
    Info: A backup of traffic.vwf called traffic.sim_ori.vwf has been created in the db folder
Warning: Can't display state machine states -- register holding state machine bit "|traffic|countb.010" was synthesized away
Warning: Can't display state machine states -- register holding state machine bit "|traffic|countb.100" was synthesized away
Warning: Can't display state machine states -- register holding state machine bit "|traffic|counta.011" was synthesized away
Warning: Can't display state machine states -- register holding state machine bit "|traffic|counta.010" was synthesized away
Warning: Can't display state machine states -- register holding state machine bit "|traffic|counta.001" was synthesized away
Warning: Can't display state machine states -- register holding state machine bit "|traffic|counta.000" was synthesized away
Info: Inverted registers were found during simulation
    Info: Register: |traffic|LAMPA[3]~reg0
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      94.29 %
Info: Number of transitions in simulation is 6854514
Info: Vector file traffic.vwf is saved in VWF text format. You can compress it into CVWF format in order to reduce file size. For more details please refer to the Quartus II Help.
Info: Quartus II Simulator was successful. 0 errors, 6 warnings
    Info: Peak virtual memory: 162 megabytes
    Info: Processing ended: Wed Mar 18 12:28:50 2009
    Info: Elapsed time: 00:00:50
    Info: Total CPU time (on all processors): 00:00:49