vending_machine.sim.rpt

自动售货机模型

; |vending_machine|show_quantity_data[0]                                               ; |vending_machine|show_quantity_data[0]                                                    ; padio            ;
; |vending_machine|show_quantity_data[1]                                               ; |vending_machine|show_quantity_data[1]                                                    ; padio            ;
; |vending_machine|show_quantity_data[2]                                               ; |vending_machine|show_quantity_data[2]                                                    ; padio            ;
; |vending_machine|show_quantity_data[3]                                               ; |vending_machine|show_quantity_data[3]                                                    ; padio            ;
; |vending_machine|show_quantity_data[4]                                               ; |vending_machine|show_quantity_data[4]                                                    ; padio            ;
; |vending_machine|show_quantity_data[5]                                               ; |vending_machine|show_quantity_data[5]                                                    ; padio            ;
; |vending_machine|show_quantity_data[6]                                               ; |vending_machine|show_quantity_data[6]                                                    ; padio            ;
; |vending_machine|merchandise_indication_a                                            ; |vending_machine|merchandise_indication_a                                                 ; padio            ;
; |vending_machine|merchandise_indication_b                                            ; |vending_machine|merchandise_indication_b                                                 ; padio            ;
; |vending_machine|merchandise_indication_c                                            ; |vending_machine|merchandise_indication_c                                                 ; padio            ;
; |vending_machine|merchandise_indication_d                                            ; |vending_machine|merchandise_indication_d                                                 ; 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 ;
+----------------------------------------+----------------------------------------+------------------+
; |vending_machine|merchandise_money[1]  ; |vending_machine|merchandise_money[1]  ; data_out0        ;
; |vending_machine|merchandise_money[3]  ; |vending_machine|merchandise_money[3]  ; data_out0        ;
; |vending_machine|merchandise_number[0] ; |vending_machine|merchandise_number[0] ; data_out0        ;
; |vending_machine|merchandise_number[1] ; |vending_machine|merchandise_number[1] ; data_out0        ;
; |vending_machine|merchandise_number[2] ; |vending_machine|merchandise_number[2] ; data_out0        ;
; |vending_machine|back_money[0]         ; |vending_machine|back_money[0]         ; data_out0        ;
; |vending_machine|back_money[3]         ; |vending_machine|back_money[3]         ; data_out0        ;
; |vending_machine|Mux0~0                ; |vending_machine|Mux0~0                ; data_out0        ;
; |vending_machine|back_money[1]         ; |vending_machine|back_money[1]         ; data_out0        ;
; |vending_machine|Mux1~0                ; |vending_machine|Mux1~0                ; data_out0        ;
; |vending_machine|Mux0~1                ; |vending_machine|Mux0~1                ; data_out0        ;
; |vending_machine|show_price_cs         ; |vending_machine|show_price_cs         ; padio            ;
; |vending_machine|show_quantity_cs      ; |vending_machine|show_quantity_cs      ; 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 ;
+----------------------------------------+----------------------------------------+------------------+
; |vending_machine|merchandise_money[0]  ; |vending_machine|merchandise_money[0]  ; data_out0        ;
; |vending_machine|merchandise_money[1]  ; |vending_machine|merchandise_money[1]  ; data_out0        ;
; |vending_machine|merchandise_money[2]  ; |vending_machine|merchandise_money[2]  ; data_out0        ;
; |vending_machine|merchandise_money[3]  ; |vending_machine|merchandise_money[3]  ; data_out0        ;
; |vending_machine|money[3]~10           ; |vending_machine|money[3]~10           ; data_out0        ;
; |vending_machine|merchandise_number[0] ; |vending_machine|merchandise_number[0] ; data_out0        ;
; |vending_machine|merchandise_number[1] ; |vending_machine|merchandise_number[1] ; data_out0        ;
; |vending_machine|merchandise_number[2] ; |vending_machine|merchandise_number[2] ; data_out0        ;
; |vending_machine|merchandise_number[3] ; |vending_machine|merchandise_number[3] ; data_out0        ;
; |vending_machine|merchandise_out~reg0  ; |vending_machine|merchandise_out~reg0  ; data_out0        ;
; |vending_machine|back_money[0]         ; |vending_machine|back_money[0]         ; data_out0        ;
; |vending_machine|back_money[2]         ; |vending_machine|back_money[2]         ; data_out0        ;
; |vending_machine|back_money[3]         ; |vending_machine|back_money[3]         ; data_out0        ;
; |vending_machine|back_money[1]         ; |vending_machine|back_money[1]         ; data_out0        ;
; |vending_machine|process_7~0           ; |vending_machine|process_7~0           ; data_out0        ;
; |vending_machine|price[0]              ; |vending_machine|price[0]~corein       ; dataout          ;
; |vending_machine|show_price_cs         ; |vending_machine|show_price_cs         ; padio            ;
; |vending_machine|show_quantity_cs      ; |vending_machine|show_quantity_cs      ; padio            ;
; |vending_machine|merchandise_out       ; |vending_machine|merchandise_out       ; padio            ;
; |vending_machine|money_return_05       ; |vending_machine|money_return_05       ; padio            ;
; |vending_machine|money_return_10       ; |vending_machine|money_return_10       ; padio            ;
; |vending_machine|thank_return          ; |vending_machine|thank_return          ; padio            ;
+----------------------------------------+----------------------------------------+------------------+


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


+--------------------+
; Simulator Messages ;
+--------------------+
Info: *******************************************************************
Info: Running Quartus II Simulator
    Info: Version 9.0 Build 132 02/25/2009 SJ Web Edition
    Info: Processing started: Sat May 16 23:02:26 2009
Info: Command: quartus_sim --read_settings_files=on --write_settings_files=off vending_machine -c vending_machine
Info: Using vector source file "D:/myproject/quarter/vending machine/vending_machine.vwf"
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      79.17 %
Info: Number of transitions in simulation is 3133
Info: Quartus II Simulator was successful. 0 errors, 0 warnings
    Info: Peak virtual memory: 121 megabytes
    Info: Processing ended: Sat May 16 23:02:29 2009
    Info: Elapsed time: 00:00:03
    Info: Total CPU time (on all processors): 00:00:03