vending_machine.tan.rpt

自动售货机模型

; N/A   ; None         ; 21.400 ns  ; merchandise_money[2]  ; show_price_data[4]       ; clk        ;
; N/A   ; None         ; 21.100 ns  ; merchandise_number[3] ; show_quantity_data[3]    ; clk        ;
; N/A   ; None         ; 21.100 ns  ; merchandise_money[2]  ; show_price_data[5]       ; clk        ;
; N/A   ; None         ; 21.100 ns  ; merchandise_money[2]  ; show_price_data[0]       ; clk        ;
; N/A   ; None         ; 21.000 ns  ; merchandise_money[2]  ; show_price_data[6]       ; clk        ;
; N/A   ; None         ; 20.900 ns  ; merchandise_number[2] ; show_quantity_data[2]    ; clk        ;
; N/A   ; None         ; 20.800 ns  ; merchandise_number[0] ; show_quantity_data[2]    ; clk        ;
; N/A   ; None         ; 20.600 ns  ; merchandise_number[2] ; show_quantity_data[3]    ; clk        ;
; N/A   ; None         ; 20.600 ns  ; merchandise_money[2]  ; show_price_data[2]       ; clk        ;
; N/A   ; None         ; 20.500 ns  ; merchandise_number[0] ; show_quantity_data[3]    ; clk        ;
; N/A   ; None         ; 20.300 ns  ; merchandise_number[1] ; show_quantity_data[6]    ; clk        ;
; N/A   ; None         ; 20.300 ns  ; merchandise_number[1] ; show_quantity_data[4]    ; clk        ;
; N/A   ; None         ; 19.900 ns  ; merchandise_number[3] ; show_quantity_data[6]    ; clk        ;
; N/A   ; None         ; 19.900 ns  ; merchandise_number[3] ; show_quantity_data[4]    ; clk        ;
; N/A   ; None         ; 19.400 ns  ; merchandise_number[2] ; show_quantity_data[6]    ; clk        ;
; N/A   ; None         ; 19.400 ns  ; merchandise_number[2] ; show_quantity_data[4]    ; clk        ;
; N/A   ; None         ; 19.300 ns  ; merchandise_number[0] ; show_quantity_data[6]    ; clk        ;
; N/A   ; None         ; 19.300 ns  ; merchandise_number[0] ; show_quantity_data[4]    ; clk        ;
; N/A   ; None         ; 19.300 ns  ; merchandise_number[1] ; show_quantity_data[1]    ; clk        ;
; N/A   ; None         ; 19.200 ns  ; merchandise_number[1] ; show_quantity_data[0]    ; clk        ;
; N/A   ; None         ; 18.900 ns  ; merchandise_number[3] ; show_quantity_data[1]    ; clk        ;
; N/A   ; None         ; 18.800 ns  ; merchandise_number[3] ; show_quantity_data[0]    ; clk        ;
; N/A   ; None         ; 18.700 ns  ; merchandise_number[1] ; show_quantity_data[5]    ; clk        ;
; N/A   ; None         ; 18.600 ns  ; back_money[2]         ; thank_return             ; clk        ;
; N/A   ; None         ; 18.400 ns  ; back_money[3]         ; thank_return             ; clk        ;
; N/A   ; None         ; 18.400 ns  ; merchandise_number[2] ; show_quantity_data[1]    ; clk        ;
; N/A   ; None         ; 18.300 ns  ; merchandise_number[2] ; show_quantity_data[5]    ; clk        ;
; N/A   ; None         ; 18.300 ns  ; merchandise_number[0] ; show_quantity_data[1]    ; clk        ;
; N/A   ; None         ; 18.300 ns  ; merchandise_number[2] ; show_quantity_data[0]    ; clk        ;
; N/A   ; None         ; 18.200 ns  ; merchandise_number[3] ; show_quantity_data[5]    ; clk        ;
; N/A   ; None         ; 18.200 ns  ; merchandise_number[0] ; show_quantity_data[0]    ; clk        ;
; N/A   ; None         ; 18.100 ns  ; item[0]               ; merchandise_indication_a ; choose     ;
; N/A   ; None         ; 18.000 ns  ; item[0]               ; merchandise_indication_d ; choose     ;
; N/A   ; None         ; 18.000 ns  ; item[1]               ; merchandise_indication_a ; choose     ;
; N/A   ; None         ; 17.800 ns  ; item[1]               ; merchandise_indication_d ; choose     ;
; N/A   ; None         ; 17.700 ns  ; merchandise_number[0] ; show_quantity_data[5]    ; clk        ;
; N/A   ; None         ; 16.400 ns  ; back_money[1]         ; money_return_10          ; clk        ;
; N/A   ; None         ; 16.400 ns  ; back_money[0]         ; money_return_05          ; clk        ;
; N/A   ; None         ; 16.400 ns  ; item[0]               ; merchandise_indication_b ; choose     ;
; N/A   ; None         ; 16.300 ns  ; back_money[2]         ; money_return_10          ; clk        ;
; N/A   ; None         ; 16.300 ns  ; back_money[2]         ; money_return_05          ; clk        ;
; N/A   ; None         ; 16.200 ns  ; item[1]               ; merchandise_indication_b ; choose     ;
; N/A   ; None         ; 16.100 ns  ; back_money[3]         ; money_return_10          ; clk        ;
; N/A   ; None         ; 16.100 ns  ; back_money[3]         ; money_return_05          ; clk        ;
; N/A   ; None         ; 15.300 ns  ; item[1]               ; merchandise_indication_c ; choose     ;
; N/A   ; None         ; 15.100 ns  ; item[0]               ; merchandise_indication_c ; choose     ;
; N/A   ; None         ; 13.200 ns  ; merchandise_out~reg0  ; merchandise_out          ; clk        ;
+-------+--------------+------------+-----------------------+--------------------------+------------+


+-----------------------------------------------------------------------------------+
; tpd                                                                               ;
+-------+-------------------+-----------------+-------------+-----------------------+
; Slack ; Required P2P Time ; Actual P2P Time ; From        ; To                    ;
+-------+-------------------+-----------------+-------------+-----------------------+
; N/A   ; None              ; 25.500 ns       ; quantity[2] ; show_quantity_data[2] ;
; N/A   ; None              ; 25.400 ns       ; quantity[1] ; show_quantity_data[2] ;
; N/A   ; None              ; 25.200 ns       ; quantity[2] ; show_quantity_data[3] ;
; N/A   ; None              ; 25.100 ns       ; quantity[1] ; show_quantity_data[3] ;
; N/A   ; None              ; 24.600 ns       ; quantity[3] ; show_quantity_data[2] ;
; N/A   ; None              ; 24.300 ns       ; quantity[3] ; show_quantity_data[3] ;
; N/A   ; None              ; 24.300 ns       ; price[2]    ; show_price_data[3]    ;
; N/A   ; None              ; 24.300 ns       ; price[3]    ; show_price_data[3]    ;
; N/A   ; None              ; 24.300 ns       ; price[2]    ; show_price_data[1]    ;
; N/A   ; None              ; 24.300 ns       ; price[3]    ; show_price_data[1]    ;
; N/A   ; None              ; 24.200 ns       ; price[1]    ; show_price_data[3]    ;
; N/A   ; None              ; 24.200 ns       ; price[1]    ; show_price_data[1]    ;
; N/A   ; None              ; 24.000 ns       ; quantity[2] ; show_quantity_data[6] ;
; N/A   ; None              ; 24.000 ns       ; quantity[2] ; show_quantity_data[4] ;
; N/A   ; None              ; 23.900 ns       ; quantity[1] ; show_quantity_data[6] ;
; N/A   ; None              ; 23.900 ns       ; quantity[1] ; show_quantity_data[4] ;
; N/A   ; None              ; 23.900 ns       ; quantity[0] ; show_quantity_data[2] ;
; N/A   ; None              ; 23.600 ns       ; quantity[0] ; show_quantity_data[3] ;
; N/A   ; None              ; 23.200 ns       ; price[2]    ; show_price_data[4]    ;
; N/A   ; None              ; 23.200 ns       ; price[3]    ; show_price_data[4]    ;
; N/A   ; None              ; 23.100 ns       ; quantity[3] ; show_quantity_data[6] ;
; N/A   ; None              ; 23.100 ns       ; quantity[3] ; show_quantity_data[4] ;
; N/A   ; None              ; 23.100 ns       ; price[1]    ; show_price_data[4]    ;
; N/A   ; None              ; 23.000 ns       ; quantity[2] ; show_quantity_data[1] ;
; N/A   ; None              ; 22.900 ns       ; quantity[2] ; show_quantity_data[5] ;
; N/A   ; None              ; 22.900 ns       ; quantity[1] ; show_quantity_data[1] ;
; N/A   ; None              ; 22.900 ns       ; quantity[2] ; show_quantity_data[0] ;
; N/A   ; None              ; 22.900 ns       ; price[2]    ; show_price_data[5]    ;
; N/A   ; None              ; 22.900 ns       ; price[3]    ; show_price_data[5]    ;
; N/A   ; None              ; 22.900 ns       ; price[2]    ; show_price_data[0]    ;
; N/A   ; None              ; 22.900 ns       ; price[3]    ; show_price_data[0]    ;
; N/A   ; None              ; 22.800 ns       ; quantity[1] ; show_quantity_data[0] ;
; N/A   ; None              ; 22.800 ns       ; price[2]    ; show_price_data[6]    ;
; N/A   ; None              ; 22.800 ns       ; price[3]    ; show_price_data[6]    ;
; N/A   ; None              ; 22.800 ns       ; price[1]    ; show_price_data[5]    ;
; N/A   ; None              ; 22.800 ns       ; price[1]    ; show_price_data[0]    ;
; N/A   ; None              ; 22.700 ns       ; price[1]    ; show_price_data[6]    ;
; N/A   ; None              ; 22.400 ns       ; quantity[0] ; show_quantity_data[6] ;
; N/A   ; None              ; 22.400 ns       ; quantity[0] ; show_quantity_data[4] ;
; N/A   ; None              ; 22.400 ns       ; price[2]    ; show_price_data[2]    ;
; N/A   ; None              ; 22.400 ns       ; price[3]    ; show_price_data[2]    ;
; N/A   ; None              ; 22.300 ns       ; quantity[1] ; show_quantity_data[5] ;
; N/A   ; None              ; 22.300 ns       ; price[1]    ; show_price_data[2]    ;
; N/A   ; None              ; 22.100 ns       ; quantity[3] ; show_quantity_data[1] ;
; N/A   ; None              ; 22.000 ns       ; quantity[3] ; show_quantity_data[0] ;
; N/A   ; None              ; 21.400 ns       ; quantity[3] ; show_quantity_data[5] ;
; N/A   ; None              ; 21.400 ns       ; quantity[0] ; show_quantity_data[1] ;
; N/A   ; None              ; 21.300 ns       ; quantity[0] ; show_quantity_data[0] ;
; N/A   ; None              ; 20.800 ns       ; quantity[0] ; show_quantity_data[5] ;
; N/A   ; None