threeflift.sim.rpt

电梯控制器的设计与分析---控制器的层数为三层,,电梯到达有停站请求的楼层

; |THREEFLIFT|MYLIFT~2562       ; |THREEFLIFT|MYLIFT~2562        ; data_out0        ;
; |THREEFLIFT|MYLIFT~2563       ; |THREEFLIFT|MYLIFT~2563        ; data_out0        ;
; |THREEFLIFT|MYLIFT~2564       ; |THREEFLIFT|MYLIFT~2564        ; data_out0        ;
; |THREEFLIFT|MYLIFT~2565       ; |THREEFLIFT|MYLIFT~2565        ; data_out0        ;
; |THREEFLIFT|MYLIFT~2566       ; |THREEFLIFT|MYLIFT~2566        ; data_out0        ;
; |THREEFLIFT|MYLIFT~2567       ; |THREEFLIFT|MYLIFT~2567        ; data_out0        ;
; |THREEFLIFT|DOORLIGHT~12      ; |THREEFLIFT|DOORLIGHT~12       ; data_out0        ;
; |THREEFLIFT|UDSIG~1231        ; |THREEFLIFT|UDSIG~1231         ; data_out0        ;
; |THREEFLIFT|UDSIG~1232        ; |THREEFLIFT|UDSIG~1232         ; data_out0        ;
; |THREEFLIFT|UDSIG~1233        ; |THREEFLIFT|UDSIG~1233         ; data_out0        ;
; |THREEFLIFT|UDSIG~1234        ; |THREEFLIFT|UDSIG~1234         ; data_out0        ;
; |THREEFLIFT|UDSIG~1235        ; |THREEFLIFT|UDSIG~1235         ; data_out0        ;
; |THREEFLIFT|UDSIG~1236        ; |THREEFLIFT|UDSIG~1236         ; data_out0        ;
; |THREEFLIFT|UDSIG~1237        ; |THREEFLIFT|UDSIG~1237         ; data_out0        ;
; |THREEFLIFT|MYLIFT~2568       ; |THREEFLIFT|MYLIFT~2568        ; data_out0        ;
; |THREEFLIFT|MYLIFT~2569       ; |THREEFLIFT|MYLIFT~2569        ; data_out0        ;
; |THREEFLIFT|MYLIFT~2570       ; |THREEFLIFT|MYLIFT~2570        ; data_out0        ;
; |THREEFLIFT|MYLIFT~2571       ; |THREEFLIFT|MYLIFT~2571        ; data_out0        ;
; |THREEFLIFT|MYLIFT~2573       ; |THREEFLIFT|MYLIFT~2573        ; data_out0        ;
; |THREEFLIFT|MYLIFT~2574       ; |THREEFLIFT|MYLIFT~2574        ; data_out0        ;
; |THREEFLIFT|MYLIFT~2575       ; |THREEFLIFT|MYLIFT~2575        ; data_out0        ;
; |THREEFLIFT|MYLIFT~2576       ; |THREEFLIFT|MYLIFT~2576        ; data_out0        ;
; |THREEFLIFT|MYLIFT~2577       ; |THREEFLIFT|MYLIFT~2577        ; data_out0        ;
; |THREEFLIFT|MYLIFT~2578       ; |THREEFLIFT|MYLIFT~2578        ; data_out0        ;
; |THREEFLIFT|MYLIFT.stop       ; |THREEFLIFT|MYLIFT.stop        ; data_out0        ;
; |THREEFLIFT|MYLIFT.doorwait1  ; |THREEFLIFT|MYLIFT.doorwait1   ; data_out0        ;
; |THREEFLIFT|MYLIFT.doorwait3  ; |THREEFLIFT|MYLIFT.doorwait3   ; data_out0        ;
; |THREEFLIFT|Selector3~72      ; |THREEFLIFT|Selector3~72       ; data_out0        ;
; |THREEFLIFT|LIFTCLK           ; |THREEFLIFT|LIFTCLK~corein     ; dataout          ;
; |THREEFLIFT|BUTTONCLK         ; |THREEFLIFT|BUTTONCLK~corein   ; dataout          ;
; |THREEFLIFT|F1UPBUTTON        ; |THREEFLIFT|F1UPBUTTON~corein  ; dataout          ;
; |THREEFLIFT|STOP3BUTTON       ; |THREEFLIFT|STOP3BUTTON~corein ; dataout          ;
; |THREEFLIFT|POSITION[0]       ; |THREEFLIFT|POSITION[0]        ; padio            ;
; |THREEFLIFT|POSITION[1]       ; |THREEFLIFT|POSITION[1]        ; padio            ;
; |THREEFLIFT|DOUT1[0]          ; |THREEFLIFT|DOUT1[0]           ; padio            ;
; |THREEFLIFT|DOUT1[1]          ; |THREEFLIFT|DOUT1[1]           ; padio            ;
; |THREEFLIFT|FUPLIGHT[1]       ; |THREEFLIFT|FUPLIGHT[1]        ; padio            ;
; |THREEFLIFT|STOPLIGHT[3]      ; |THREEFLIFT|STOPLIGHT[3]       ; padio            ;
; |THREEFLIFT|DOORLIGHT         ; |THREEFLIFT|DOORLIGHT          ; padio            ;
; |THREEFLIFT|UDSIG             ; |THREEFLIFT|UDSIG              ; padio            ;
+-------------------------------+--------------------------------+------------------+


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 ;
+-------------------------------+--------------------------------+------------------+
; |THREEFLIFT|FUPLIGHT[2]~reg0  ; |THREEFLIFT|FUPLIGHT[2]~reg0   ; data_out0        ;
; |THREEFLIFT|FDNLIGHT[2]~reg0  ; |THREEFLIFT|FDNLIGHT[2]~reg0   ; data_out0        ;
; |THREEFLIFT|FDNLIGHT[3]~reg0  ; |THREEFLIFT|FDNLIGHT[3]~reg0   ; data_out0        ;
; |THREEFLIFT|STOPLIGHT[2]~reg0 ; |THREEFLIFT|STOPLIGHT[2]~reg0  ; data_out0        ;
; |THREEFLIFT|FUPLIGHT~70       ; |THREEFLIFT|FUPLIGHT~70        ; data_out0        ;
; |THREEFLIFT|FDNLIGHT~116      ; |THREEFLIFT|FDNLIGHT~116       ; data_out0        ;
; |THREEFLIFT|STOPLIGHT~280     ; |THREEFLIFT|STOPLIGHT~280      ; data_out0        ;
; |THREEFLIFT|Selector12~399    ; |THREEFLIFT|Selector12~399     ; data_out0        ;
; |THREEFLIFT|Selector12~401    ; |THREEFLIFT|Selector12~401     ; data_out0        ;
; |THREEFLIFT|CTRLIFT~156       ; |THREEFLIFT|CTRLIFT~156        ; data_out0        ;
; |THREEFLIFT|MYLIFT~2560       ; |THREEFLIFT|MYLIFT~2560        ; data_out0        ;
; |THREEFLIFT|POSITION[0]~88    ; |THREEFLIFT|POSITION[0]~88     ; data_out0        ;
; |THREEFLIFT|F2UPBUTTON        ; |THREEFLIFT|F2UPBUTTON~corein  ; dataout          ;
; |THREEFLIFT|F2DNBUTTON        ; |THREEFLIFT|F2DNBUTTON~corein  ; dataout          ;
; |THREEFLIFT|F3DNBUTTON        ; |THREEFLIFT|F3DNBUTTON~corein  ; dataout          ;
; |THREEFLIFT|STOP1BUTTON       ; |THREEFLIFT|STOP1BUTTON~corein ; dataout          ;
; |THREEFLIFT|STOP2BUTTON       ; |THREEFLIFT|STOP2BUTTON~corein ; dataout          ;
; |THREEFLIFT|RESET             ; |THREEFLIFT|RESET~corein       ; dataout          ;
; |THREEFLIFT|DOUT1[2]          ; |THREEFLIFT|DOUT1[2]           ; padio            ;
; |THREEFLIFT|DOUT1[3]          ; |THREEFLIFT|DOUT1[3]           ; padio            ;
; |THREEFLIFT|FUPLIGHT[2]       ; |THREEFLIFT|FUPLIGHT[2]        ; padio            ;
; |THREEFLIFT|FUPLIGHT[3]       ; |THREEFLIFT|FUPLIGHT[3]        ; padio            ;
; |THREEFLIFT|FDNLIGHT[1]       ; |THREEFLIFT|FDNLIGHT[1]        ; padio            ;
; |THREEFLIFT|FDNLIGHT[2]       ; |THREEFLIFT|FDNLIGHT[2]        ; padio            ;
; |THREEFLIFT|FDNLIGHT[3]       ; |THREEFLIFT|FDNLIGHT[3]        ; padio            ;
; |THREEFLIFT|STOPLIGHT[1]      ; |THREEFLIFT|STOPLIGHT[1]       ; padio            ;
; |THREEFLIFT|STOPLIGHT[2]      ; |THREEFLIFT|STOPLIGHT[2]       ; 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 ;
+-------------------------------+--------------------------------+------------------+
; |THREEFLIFT|FUPLIGHT[2]~reg0  ; |THREEFLIFT|FUPLIGHT[2]~reg0   ; data_out0        ;
; |THREEFLIFT|FDNLIGHT[2]~reg0  ; |THREEFLIFT|FDNLIGHT[2]~reg0   ; data_out0        ;
; |THREEFLIFT|FDNLIGHT[3]~reg0  ; |THREEFLIFT|FDNLIGHT[3]~reg0   ; data_out0        ;
; |THREEFLIFT|STOPLIGHT[2]~reg0 ; |THREEFLIFT|STOPLIGHT[2]~reg0  ; data_out0        ;
; |THREEFLIFT|FUPLIGHT~70       ; |THREEFLIFT|FUPLIGHT~70        ; data_out0        ;
; |THREEFLIFT|FDNLIGHT~116      ; |THREEFLIFT|FDNLIGHT~116       ; data_out0        ;
; |THREEFLIFT|STOPLIGHT~280     ; |THREEFLIFT|STOPLIGHT~280      ; data_out0        ;
; |THREEFLIFT|MYLIFT.stopon1    ; |THREEFLIFT|MYLIFT.stopon1     ; data_out0        ;
; |THREEFLIFT|Selector12~399    ; |THREEFLIFT|Selector12~399     ; data_out0        ;
; |THREEFLIFT|Selector12~401    ; |THREEFLIFT|Selector12~401     ; data_out0        ;
; |THREEFLIFT|CTRLIFT~156       ; |THREEFLIFT|CTRLIFT~156        ; data_out0        ;
; |THREEFLIFT|MYLIFT~2560       ; |THREEFLIFT|MYLIFT~2560        ; data_out0        ;
; |THREEFLIFT|POSITION[0]~88    ; |THREEFLIFT|POSITION[0]~88     ; data_out0        ;
; |THREEFLIFT|F2UPBUTTON        ; |THREEFLIFT|F2UPBUTTON~corein  ; dataout          ;
; |THREEFLIFT|F2DNBUTTON        ; |THREEFLIFT|F2DNBUTTON~corein  ; dataout          ;
; |THREEFLIFT|F3DNBUTTON        ; |THREEFLIFT|F3DNBUTTON~corein  ; dataout          ;
; |THREEFLIFT|STOP1BUTTON       ; |THREEFLIFT|STOP1BUTTON~corein ; dataout          ;
; |THREEFLIFT|STOP2BUTTON       ; |THREEFLIFT|STOP2BUTTON~corein ; dataout          ;
; |THREEFLIFT|RESET             ; |THREEFLIFT|RESET~corein       ; dataout          ;
; |THREEFLIFT|DOUT1[2]          ; |THREEFLIFT|DOUT1[2]           ; padio            ;
; |THREEFLIFT|DOUT1[3]          ; |THREEFLIFT|DOUT1[3]           ; padio            ;
; |THREEFLIFT|FUPLIGHT[2]       ; |THREEFLIFT|FUPLIGHT[2]        ; padio            ;
; |THREEFLIFT|FUPLIGHT[3]       ; |THREEFLIFT|FUPLIGHT[3]        ; padio            ;
; |THREEFLIFT|FDNLIGHT[1]       ; |THREEFLIFT|FDNLIGHT[1]        ; padio            ;
; |THREEFLIFT|FDNLIGHT[2]       ; |THREEFLIFT|FDNLIGHT[2]        ; padio            ;
; |THREEFLIFT|FDNLIGHT[3]       ; |THREEFLIFT|FDNLIGHT[3]        ; padio            ;
; |THREEFLIFT|STOPLIGHT[1]      ; |THREEFLIFT|STOPLIGHT[1]       ; padio            ;
; |THREEFLIFT|STOPLIGHT[2]      ; |THREEFLIFT|STOPLIGHT[2]       ; padio            ;
+-------------------------------+--------------------------------+------------------+


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


+--------------------+
; Simulator Messages ;
+--------------------+
Info: *******************************************************************
Info: Running Quartus II Simulator
    Info: Version 7.1 Build 156 04/30/2007 SJ Full Version
    Info: Processing started: Thu Sep 28 09:32:24 2006
Info: Command: quartus_sim --read_settings_files=on --write_settings_files=off THREEFLIFT -c THREEFLIFT
Info: Using vector source file "F:/THREEFLIFT/THREEFLIFT.vwf"
Info: Inverted registers were found during simulation
    Info: Register: |THREEFLIFT|POSITION[0]~reg0
    Info: Register: |THREEFLIFT|\CTRLIFT:POS[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      72.82 %
Info: Number of transitions in simulation is 652
Info: Quartus II Simulator was successful. 0 errors, 0 warnings
    Info: Allocated 93 megabytes of memory during processing
    Info: Processing ended: Thu Sep 28 09:32:26 2006
    Info: Elapsed time: 00:00:02