ff.sim.rpt

QUARTUS II平台上的基于VHDL语言的电梯系统控制程序。

; |ff|lift:inst2|dr[3]~549        ; |ff|lift:inst2|dr[3]~549        ; data_out0        ;
; |ff|lift:inst2|p2~856           ; |ff|lift:inst2|p2~856           ; data_out0        ;
; |ff|lift:inst2|p2~857           ; |ff|lift:inst2|p2~857           ; data_out0        ;
; |ff|lift:inst2|p2~858           ; |ff|lift:inst2|p2~858           ; data_out0        ;
; |ff|lift:inst2|p2~860           ; |ff|lift:inst2|p2~860           ; data_out0        ;
; |ff|lift:inst2|ur[3]~480        ; |ff|lift:inst2|ur[3]~480        ; data_out0        ;
; |ff|lift:inst2|dr[2]            ; |ff|lift:inst2|dr[2]            ; data_out0        ;
; |ff|lift:inst2|Equal0~14        ; |ff|lift:inst2|Equal0~14        ; data_out0        ;
; |ff|lift:inst2|dr[5]~553        ; |ff|lift:inst2|dr[5]~553        ; data_out0        ;
; |ff|lift:inst2|dr[6]~554        ; |ff|lift:inst2|dr[6]~554        ; data_out0        ;
; |ff|lift:inst2|ur[6]~484        ; |ff|lift:inst2|ur[6]~484        ; data_out0        ;
; |ff|lift:inst2|ur[6]            ; |ff|lift:inst2|ur[6]            ; data_out0        ;
; |ff|lift:inst2|dr[5]~555        ; |ff|lift:inst2|dr[5]~555        ; data_out0        ;
; |ff|lift:inst2|dr[5]~556        ; |ff|lift:inst2|dr[5]~556        ; data_out0        ;
; |ff|lift:inst2|ur[5]~485        ; |ff|lift:inst2|ur[5]~485        ; data_out0        ;
; |ff|lift:inst2|ur[5]            ; |ff|lift:inst2|ur[5]            ; data_out0        ;
; |ff|lift:inst2|liftor[2]~491    ; |ff|lift:inst2|liftor[2]~491    ; data_out0        ;
; |ff|lift:inst2|liftor~495       ; |ff|lift:inst2|liftor~495       ; data_out0        ;
; |ff|lift:inst2|Mux2~270         ; |ff|lift:inst2|Mux2~270         ; data_out0        ;
; |ff|lift:inst2|Mux2~271         ; |ff|lift:inst2|Mux2~271         ; data_out0        ;
; |ff|lift:inst2|Mux2~272         ; |ff|lift:inst2|Mux2~281         ; cascout          ;
; |ff|lift:inst2|Mux2~273         ; |ff|lift:inst2|Mux2~273         ; data_out0        ;
; |ff|lift:inst2|Mux2~274         ; |ff|lift:inst2|Mux2~274         ; data_out0        ;
; |ff|lift:inst2|Mux2~276         ; |ff|lift:inst2|Mux2~276         ; data_out0        ;
; |ff|lift:inst2|liftor~496       ; |ff|lift:inst2|liftor~496       ; data_out0        ;
; |ff|lift:inst2|liftor~497       ; |ff|lift:inst2|liftor~509       ; cascout          ;
; |ff|lift:inst2|Equal8~11        ; |ff|lift:inst2|Equal8~11        ; data_out0        ;
; |ff|lift:inst2|liftor~500       ; |ff|lift:inst2|liftor~500       ; data_out0        ;
; |ff|lift:inst2|ladd[0]~87       ; |ff|lift:inst2|ladd[0]~87       ; data_out0        ;
; |ff|lift:inst2|ladd[0]          ; |ff|lift:inst2|ladd[0]          ; data_out0        ;
; |ff|lift:inst2|ur[2]~495        ; |ff|lift:inst2|ur[2]~517        ; cascout          ;
; |ff|lift:inst2|ur[2]~501        ; |ff|lift:inst2|ur[2]~501        ; data_out0        ;
; |ff|lift:inst2|dr[2]~566        ; |ff|lift:inst2|dr[2]~593        ; cascout          ;
; |ff|lift:inst2|dr[2]~572        ; |ff|lift:inst2|dr[2]~572        ; data_out0        ;
; |ff|lift:inst2|dr[1]~568        ; |ff|lift:inst2|dr[1]~596        ; cascout          ;
; |ff|lift:inst2|dr[1]~573        ; |ff|lift:inst2|dr[1]~573        ; data_out0        ;
; |ff|lift:inst2|ur[1]~502        ; |ff|lift:inst2|ur[1]~502        ; data_out0        ;
; |ff|lift:inst2|dr[4]~574        ; |ff|lift:inst2|dr[4]~574        ; data_out0        ;
; |ff|lift:inst2|ur[4]~503        ; |ff|lift:inst2|ur[4]~503        ; data_out0        ;
; |ff|lift:inst2|Mux1~746         ; |ff|lift:inst2|Mux1~746         ; data_out0        ;
; |ff|lift:inst2|Mux1~747         ; |ff|lift:inst2|Mux1~765         ; cascout          ;
; |ff|lift:inst2|Mux1~750         ; |ff|lift:inst2|Mux1~750         ; data_out0        ;
; |ff|lift:inst2|Mux1~759         ; |ff|lift:inst2|Mux1~759         ; data_out0        ;
; |ff|lift:inst2|Mux1~755         ; |ff|lift:inst2|Mux1~755         ; data_out0        ;
; |ff|lift:inst2|Mux1~756         ; |ff|lift:inst2|Mux1~771         ; cascout          ;
; |ff|lift:inst2|Mux1~757         ; |ff|lift:inst2|Mux1~757         ; data_out0        ;
; |ff|lift:inst2|Mux1~760         ; |ff|lift:inst2|Mux1~760         ; data_out0        ;
; |ff|clkin                       ; |ff|clkin~corein                ; dataout          ;
; |ff|st_ch                       ; |ff|st_ch~corein                ; dataout          ;
; |ff|lamp                        ; |ff|lamp                        ; padio            ;
; |ff|floornum[6]                 ; |ff|floornum[6]                 ; padio            ;
; |ff|floornum[5]                 ; |ff|floornum[5]                 ; padio            ;
; |ff|floornum[4]                 ; |ff|floornum[4]                 ; padio            ;
; |ff|floornum[3]                 ; |ff|floornum[3]                 ; padio            ;
; |ff|floornum[2]                 ; |ff|floornum[2]                 ; padio            ;
; |ff|floornum[1]                 ; |ff|floornum[1]                 ; padio            ;
; |ff|floornum[0]                 ; |ff|floornum[0]                 ; padio            ;
; |ff|floorselect[6]              ; |ff|floorselect[6]              ; padio            ;
; |ff|floorselect[5]              ; |ff|floorselect[5]              ; padio            ;
; |ff|floorselect[4]              ; |ff|floorselect[4]              ; padio            ;
; |ff|floorselect[3]              ; |ff|floorselect[3]              ; padio            ;
; |ff|floorselect[2]              ; |ff|floorselect[2]              ; padio            ;
; |ff|floorselect[1]              ; |ff|floorselect[1]              ; padio            ;
; |ff|floorselect[0]              ; |ff|floorselect[0]              ; padio            ;
; |ff|run_wait[2]                 ; |ff|run_wait[2]                 ; padio            ;
; |ff|run_wait[1]                 ; |ff|run_wait[1]                 ; padio            ;
; |ff|run_wait[0]                 ; |ff|run_wait[0]                 ; 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 ;
+--------------------------+--------------------------+------------------+
; |ff|lift:inst2|p3~4      ; |ff|lift:inst2|p3~4      ; data_out0        ;
; |ff|lift:inst2|p3~7      ; |ff|lift:inst2|p3~7      ; data_out0        ;
; |ff|lift:inst2|dr[3]     ; |ff|lift:inst2|dr[3]     ; data_out0        ;
; |ff|lift:inst2|p2~859    ; |ff|lift:inst2|p2~859    ; data_out0        ;
; |ff|lift:inst2|ur[3]     ; |ff|lift:inst2|ur[3]     ; data_out0        ;
; |ff|lift:inst2|ur[2]     ; |ff|lift:inst2|ur[2]     ; data_out0        ;
; |ff|lift:inst2|ur[1]     ; |ff|lift:inst2|ur[1]     ; data_out0        ;
; |ff|lift:inst2|dr[4]     ; |ff|lift:inst2|dr[4]     ; data_out0        ;
; |ff|lift:inst2|ur[4]     ; |ff|lift:inst2|ur[4]     ; data_out0        ;
; |ff|lift:inst2|dr[6]     ; |ff|lift:inst2|dr[6]     ; data_out0        ;
; |ff|lift:inst2|dr[5]     ; |ff|lift:inst2|dr[5]     ; data_out0        ;
; |ff|lift:inst2|ur[1]~497 ; |ff|lift:inst2|ur[1]~520 ; cascout          ;
; |ff|lift:inst2|dr[4]~570 ; |ff|lift:inst2|dr[4]~599 ; cascout          ;
; |ff|lift:inst2|ur[4]~499 ; |ff|lift:inst2|ur[4]~523 ; cascout          ;
; |ff|lift:inst2|Mux1~749  ; |ff|lift:inst2|Mux1~749  ; data_out0        ;
; |ff|run_stop             ; |ff|run_stop~corein      ; dataout          ;
; |ff|close                ; |ff|close~corein         ; dataout          ;
; |ff|delay                ; |ff|delay~corein         ; dataout          ;
; |ff|downin               ; |ff|downin~corein        ; dataout          ;
; |ff|upin                 ; |ff|upin~corein          ; dataout          ;
; |ff|run_wait[3]          ; |ff|run_wait[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 ;
+--------------------------+--------------------------+------------------+
; |ff|lift:inst2|p2~859    ; |ff|lift:inst2|p2~859    ; data_out0        ;
; |ff|lift:inst2|dr[1]     ; |ff|lift:inst2|dr[1]     ; data_out0        ;
; |ff|lift:inst2|ur[1]~497 ; |ff|lift:inst2|ur[1]~520 ; cascout          ;
; |ff|lift:inst2|dr[4]~570 ; |ff|lift:inst2|dr[4]~599 ; cascout          ;
; |ff|lift:inst2|ur[4]~499 ; |ff|lift:inst2|ur[4]~523 ; cascout          ;
; |ff|run_stop             ; |ff|run_stop~corein      ; dataout          ;
; |ff|close                ; |ff|close~corein         ; dataout          ;
; |ff|delay                ; |ff|delay~corein         ; dataout          ;
; |ff|downin               ; |ff|downin~corein        ; dataout          ;
; |ff|upin                 ; |ff|upin~corein          ; dataout          ;
; |ff|run_wait[3]          ; |ff|run_wait[3]          ; padio            ;
+--------------------------+--------------------------+------------------+


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


+--------------------+
; Simulator Messages ;
+--------------------+
Info: *******************************************************************
Info: Running Quartus II Simulator
    Info: Version 7.2 Build 151 09/26/2007 SJ Full Version
    Info: Processing started: Sun Dec 14 12:19:41 2008
Info: Command: quartus_sim --read_settings_files=on --write_settings_files=off ff -c ff
Info: Using vector source file "F:/研究生课程/可编程逻辑课件/原理课课件/期末课程设计/ff/ff.vwf"
Info: Overwriting simulation input file with simulation results
    Info: A backup of ff.vwf called ff.sim_ori.vwf has been created in the db folder
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      82.81 %
Info: Number of transitions in simulation is 1326514
Info: Vector file ff.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, 0 warnings
    Info: Allocated 97 megabytes of memory during processing
    Info: Processing ended: Sun Dec 14 12:20:03 2008
    Info: Elapsed time: 00:00:22