vending_machine.sim.rpt

自动售货机模型

; Total output ports checked                          ; 120          ;
; Total output ports with complete 1/0-value coverage ; 95           ;
; Total output ports with no 1/0-value coverage       ; 10           ;
; Total output ports with no 1-value coverage         ; 13           ;
; Total output ports with no 0-value coverage         ; 22           ;
+-----------------------------------------------------+--------------+


The following table displays output ports that toggle between 1 and 0 during simulation.
+-----------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------+
; Complete 1/0-Value Coverage                                                                                                                                                                         ;
+--------------------------------------------------------------------------------------+-------------------------------------------------------------------------------------------+------------------+
; Node Name                                                                            ; Output Port Name                                                                          ; Output Port Type ;
+--------------------------------------------------------------------------------------+-------------------------------------------------------------------------------------------+------------------+
; |vending_machine|money[0]~4                                                          ; |vending_machine|money[0]~4                                                               ; data_out0        ;
; |vending_machine|money[0]~5                                                          ; |vending_machine|money[0]~5                                                               ; data_out0        ;
; |vending_machine|money[1]~6                                                          ; |vending_machine|money[1]~6                                                               ; data_out0        ;
; |vending_machine|money[1]~7                                                          ; |vending_machine|money[1]~7                                                               ; data_out0        ;
; |vending_machine|money[2]~8                                                          ; |vending_machine|money[2]~8                                                               ; data_out0        ;
; |vending_machine|money[2]~9                                                          ; |vending_machine|money[2]~9                                                               ; data_out0        ;
; |vending_machine|money[3]~11                                                         ; |vending_machine|money[3]~11                                                              ; data_out0        ;
; |vending_machine|Mux13~0                                                             ; |vending_machine|Mux13~0                                                                  ; data_out0        ;
; |vending_machine|Mux12~0                                                             ; |vending_machine|Mux12~0                                                                  ; data_out0        ;
; |vending_machine|Mux11~0                                                             ; |vending_machine|Mux11~0                                                                  ; data_out0        ;
; |vending_machine|Mux10~0                                                             ; |vending_machine|Mux10~0                                                                  ; data_out0        ;
; |vending_machine|Mux9~0                                                              ; |vending_machine|Mux9~0                                                                   ; data_out0        ;
; |vending_machine|Mux8~0                                                              ; |vending_machine|Mux8~0                                                                   ; data_out0        ;
; |vending_machine|Mux7~0                                                              ; |vending_machine|Mux7~0                                                                   ; data_out0        ;
; |vending_machine|number[0]~0                                                         ; |vending_machine|number[0]~0                                                              ; data_out0        ;
; |vending_machine|number[1]~1                                                         ; |vending_machine|number[1]~1                                                              ; data_out0        ;
; |vending_machine|number[2]~2                                                         ; |vending_machine|number[2]~2                                                              ; data_out0        ;
; |vending_machine|number[3]~3                                                         ; |vending_machine|number[3]~3                                                              ; data_out0        ;
; |vending_machine|Mux20~0                                                             ; |vending_machine|Mux20~0                                                                  ; data_out0        ;
; |vending_machine|Mux19~0                                                             ; |vending_machine|Mux19~0                                                                  ; data_out0        ;
; |vending_machine|Mux18~0                                                             ; |vending_machine|Mux18~0                                                                  ; data_out0        ;
; |vending_machine|Mux17~0                                                             ; |vending_machine|Mux17~0                                                                  ; data_out0        ;
; |vending_machine|Mux16~0                                                             ; |vending_machine|Mux16~0                                                                  ; data_out0        ;
; |vending_machine|Mux15~0                                                             ; |vending_machine|Mux15~0                                                                  ; data_out0        ;
; |vending_machine|Mux14~0                                                             ; |vending_machine|Mux14~0                                                                  ; data_out0        ;
; |vending_machine|item[0]                                                             ; |vending_machine|item[0]                                                                  ; data_out0        ;
; |vending_machine|Mux3~0                                                              ; |vending_machine|Mux3~0                                                                   ; data_out0        ;
; |vending_machine|Mux5~0                                                              ; |vending_machine|Mux5~0                                                                   ; data_out0        ;
; |vending_machine|Mux5~1                                                              ; |vending_machine|Mux5~1                                                                   ; data_out0        ;
; |vending_machine|Mux5~2                                                              ; |vending_machine|Mux5~2                                                                   ; data_out0        ;
; |vending_machine|insert_dollar                                                       ; |vending_machine|insert_dollar                                                            ; data_out0        ;
; |vending_machine|LessThan0~0                                                         ; |vending_machine|LessThan0~0                                                              ; data_out0        ;
; |vending_machine|buyer_money[0]~7                                                    ; |vending_machine|buyer_money[0]~7                                                         ; data_out0        ;
; |vending_machine|lpm_add_sub:Add4|addcore:adder|a_csnbuffer:result_node|cs_buffer[1] ; |vending_machine|lpm_add_sub:Add4|addcore:adder|a_csnbuffer:result_node|cs_buffer[1]      ; data_out0        ;
; |vending_machine|lpm_add_sub:Add4|addcore:adder|a_csnbuffer:result_node|cs_buffer[1] ; |vending_machine|lpm_add_sub:Add4|addcore:adder|a_csnbuffer:result_node|cs_buffer[1]~COUT ; cout             ;
; |vending_machine|lpm_add_sub:Add4|addcore:adder|a_csnbuffer:result_node|cs_buffer[3] ; |vending_machine|lpm_add_sub:Add4|addcore:adder|a_csnbuffer:result_node|cs_buffer[3]      ; data_out0        ;
; |vending_machine|lpm_add_sub:Add4|addcore:adder|a_csnbuffer:result_node|cs_buffer[3] ; |vending_machine|lpm_add_sub:Add4|addcore:adder|a_csnbuffer:result_node|cs_buffer[3]~COUT ; cout             ;
; |vending_machine|lpm_add_sub:Add4|addcore:adder|a_csnbuffer:result_node|cs_buffer[2] ; |vending_machine|lpm_add_sub:Add4|addcore:adder|a_csnbuffer:result_node|cs_buffer[2]      ; data_out0        ;
; |vending_machine|lpm_add_sub:Add4|addcore:adder|a_csnbuffer:result_node|cs_buffer[2] ; |vending_machine|lpm_add_sub:Add4|addcore:adder|a_csnbuffer:result_node|cs_buffer[2]~COUT ; cout             ;
; |vending_machine|ram_store~43                                                        ; |vending_machine|ram_store~43                                                             ; data_out0        ;
; |vending_machine|ram_store~44                                                        ; |vending_machine|ram_store~44                                                             ; data_out0        ;
; |vending_machine|buyer_money~14                                                      ; |vending_machine|buyer_money~14                                                           ; data_out0        ;
; |vending_machine|ram_store~45                                                        ; |vending_machine|ram_store~45                                                             ; data_out0        ;
; |vending_machine|ram_store~46                                                        ; |vending_machine|ram_store~46                                                             ; data_out0        ;
; |vending_machine|ram_store~47                                                        ; |vending_machine|ram_store~47                                                             ; data_out0        ;
; |vending_machine|ram_store~48                                                        ; |vending_machine|ram_store~48                                                             ; data_out0        ;
; |vending_machine|buyer_money~15                                                      ; |vending_machine|buyer_money~15                                                           ; data_out0        ;
; |vending_machine|ram_store~49                                                        ; |vending_machine|ram_store~49                                                             ; data_out0        ;
; |vending_machine|ram_store~50                                                        ; |vending_machine|ram_store~50                                                             ; data_out0        ;
; |vending_machine|ram_store~51                                                        ; |vending_machine|ram_store~51                                                             ; data_out0        ;
; |vending_machine|ram_store~52                                                        ; |vending_machine|ram_store~52                                                             ; data_out0        ;
; |vending_machine|ram_store~53                                                        ; |vending_machine|ram_store~53                                                             ; data_out0        ;
; |vending_machine|ram_store~54                                                        ; |vending_machine|ram_store~54                                                             ; data_out0        ;
; |vending_machine|ram_store~55                                                        ; |vending_machine|ram_store~55                                                             ; data_out0        ;
; |vending_machine|ram_store~56                                                        ; |vending_machine|ram_store~56                                                             ; data_out0        ;
; |vending_machine|ram_store~57                                                        ; |vending_machine|ram_store~57                                                             ; data_out0        ;
; |vending_machine|ram_store~58                                                        ; |vending_machine|ram_store~58                                                             ; data_out0        ;
; |vending_machine|merchandise_out~2                                                   ; |vending_machine|merchandise_out~2                                                        ; data_out0        ;
; |vending_machine|merchandise_out~3                                                   ; |vending_machine|merchandise_out~3                                                        ; data_out0        ;
; |vending_machine|merchandise_out~4                                                   ; |vending_machine|merchandise_out~4                                                        ; data_out0        ;
; |vending_machine|merchandise_out~5                                                   ; |vending_machine|merchandise_out~5                                                        ; data_out0        ;
; |vending_machine|lpm_add_sub:Add4|addcore:adder|unreg_res_node[4]                    ; |vending_machine|lpm_add_sub:Add4|addcore:adder|unreg_res_node[4]                         ; data_out0        ;
; |vending_machine|merchandise_money[0]~12                                             ; |vending_machine|merchandise_money[0]~12                                                  ; data_out0        ;
; |vending_machine|price[1]                                                            ; |vending_machine|price[1]~corein                                                          ; dataout          ;
; |vending_machine|price[2]                                                            ; |vending_machine|price[2]~corein                                                          ; dataout          ;
; |vending_machine|price[3]                                                            ; |vending_machine|price[3]~corein                                                          ; dataout          ;
; |vending_machine|quantity[0]                                                         ; |vending_machine|quantity[0]~corein                                                       ; dataout          ;
; |vending_machine|quantity[1]                                                         ; |vending_machine|quantity[1]~corein                                                       ; dataout          ;
; |vending_machine|quantity[2]                                                         ; |vending_machine|quantity[2]~corein                                                       ; dataout          ;
; |vending_machine|quantity[3]                                                         ; |vending_machine|quantity[3]~corein                                                       ; dataout          ;
; |vending_machine|insert_dollar05                                                     ; |vending_machine|insert_dollar05~corein                                                   ; dataout          ;
; |vending_machine|clk                                                                 ; |vending_machine|clk~corein                                                               ; dataout          ;
; |vending_machine|purchase                                                            ; |vending_machine|purchase~corein                                                          ; dataout          ;
; |vending_machine|set_init                                                            ; |vending_machine|set_init~corein                                                          ; dataout          ;
; |vending_machine|choose                                                              ; |vending_machine|choose~corein                                                            ; dataout          ;
; |vending_machine|insert_dollar10                                                     ; |vending_machine|insert_dollar10~corein                                                   ; dataout          ;
; |vending_machine|operate_finish                                                      ; |vending_machine|operate_finish~corein                                                    ; dataout          ;
; |vending_machine|show_price_data[0]                                                  ; |vending_machine|show_price_data[0]                                                       ; padio            ;
; |vending_machine|show_price_data[1]                                                  ; |vending_machine|show_price_data[1]                                                       ; padio            ;
; |vending_machine|show_price_data[2]                                                  ; |vending_machine|show_price_data[2]                                                       ; padio            ;
; |vending_machine|show_price_data[3]                                                  ; |vending_machine|show_price_data[3]                                                       ; padio            ;
; |vending_machine|show_price_data[4]                                                  ; |vending_machine|show_price_data[4]                                                       ; padio            ;
; |vending_machine|show_price_data[5]                                                  ; |vending_machine|show_price_data[5]                                                       ; padio            ;
; |vending_machine|show_price_data[6]                                                  ; |vending_machine|show_price_data[6]                                                       ; padio            ;