seller.tan.rpt

自动售货机的程序

; Number of destination nodes to report                 ; 10                 ;      ;    ;             ;
; Number of paths to report                             ; 200                ;      ;    ;             ;
; Report Minimum Timing Checks                          ; Off                ;      ;    ;             ;
; Use Fast Timing Models                                ; Off                ;      ;    ;             ;
; Report IO Paths Separately                            ; Off                ;      ;    ;             ;
+-------------------------------------------------------+--------------------+------+----+-------------+


+------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------+
; Clock Settings Summary                                                                                                                                                             ;
+-----------------+--------------------+----------+------------------+---------------+--------------+----------+-----------------------+---------------------+--------+--------------+
; Clock Node Name ; Clock Setting Name ; Type     ; Fmax Requirement ; Early Latency ; Late Latency ; Based on ; Multiply Base Fmax by ; Divide Base Fmax by ; Offset ; Phase offset ;
+-----------------+--------------------+----------+------------------+---------------+--------------+----------+-----------------------+---------------------+--------+--------------+
; clk_in          ;                    ; User Pin ; None             ; 0.000 ns      ; 0.000 ns     ; --       ; N/A                   ; N/A                 ; N/A    ;              ;
+-----------------+--------------------+----------+------------------+---------------+--------------+----------+-----------------------+---------------------+--------+--------------+


+---------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------+
; Clock Setup: 'clk_in'                                                                                                                                                                                                                                               ;
+-----------------------------------------+-----------------------------------------------------+----------------------------+----------------------------+------------+----------+-----------------------------+---------------------------+-------------------------+
; Slack                                   ; Actual fmax (period)                                ; From                       ; To                         ; From Clock ; To Clock ; Required Setup Relationship ; Required Longest P2P Time ; Actual Longest P2P Time ;
+-----------------------------------------+-----------------------------------------------------+----------------------------+----------------------------+------------+----------+-----------------------------+---------------------------+-------------------------+
; N/A                                     ; 175.13 MHz ( period = 5.710 ns )                    ; debounce:inst3|dout2[1]    ; seller:inst|PS.idle        ; clk_in     ; clk_in   ; None                        ; None                      ; 2.542 ns                ;
; N/A                                     ; 177.15 MHz ( period = 5.645 ns )                    ; debounce:inst3|dout2[1]    ; seller:inst|PS.yikuaiwu    ; clk_in     ; clk_in   ; None                        ; None                      ; 2.478 ns                ;
; N/A                                     ; 177.46 MHz ( period = 5.635 ns )                    ; debounce:inst3|dout2[1]    ; seller:inst|PS.liangkuai   ; clk_in     ; clk_in   ; None                        ; None                      ; 2.468 ns                ;
; N/A                                     ; 177.59 MHz ( period = 5.631 ns )                    ; debounce:inst3|dout2[1]    ; seller:inst|PS.yikuai      ; clk_in     ; clk_in   ; None                        ; None                      ; 2.464 ns                ;
; N/A                                     ; 179.92 MHz ( period = 5.558 ns )                    ; debounce:inst3|dout3[0]    ; seller:inst|PS.idle        ; clk_in     ; clk_in   ; None                        ; None                      ; 2.390 ns                ;
; N/A                                     ; 186.64 MHz ( period = 5.358 ns )                    ; debounce:inst3|dout3[1]    ; seller:inst|PS.idle        ; clk_in     ; clk_in   ; None                        ; None                      ; 2.190 ns                ;
; N/A                                     ; 188.25 MHz ( period = 5.312 ns )                    ; debounce:inst3|dout3[0]    ; seller:inst|PS.yikuaiwu    ; clk_in     ; clk_in   ; None                        ; None                      ; 2.145 ns                ;
; N/A                                     ; 188.50 MHz ( period = 5.305 ns )                    ; debounce:inst3|dout3[0]    ; seller:inst|get_change     ; clk_in     ; clk_in   ; None                        ; None                      ; 2.138 ns                ;
; N/A                                     ; 188.57 MHz ( period = 5.303 ns )                    ; debounce:inst3|dout3[0]    ; seller:inst|PS.liangkuai   ; clk_in     ; clk_in   ; None                        ; None                      ; 2.136 ns                ;
; N/A                                     ; 188.57 MHz ( period = 5.303 ns )                    ; debounce:inst3|dout2[0]    ; seller:inst|get_change     ; clk_in     ; clk_in   ; None                        ; None                      ; 2.136 ns                ;
; N/A                                     ; 188.68 MHz ( period = 5.300 ns )                    ; debounce:inst3|dout3[0]    ; seller:inst|PS.yikuai      ; clk_in     ; clk_in   ; None                        ; None                      ; 2.133 ns                ;
; N/A                                     ; 188.93 MHz ( period = 5.293 ns )                    ; debounce:inst3|dout3[1]    ; seller:inst|PS.yikuaiwu    ; clk_in     ; clk_in   ; None                        ; None                      ; 2.126 ns                ;
; N/A                                     ; 189.29 MHz ( period = 5.283 ns )                    ; debounce:inst3|dout3[1]    ; seller:inst|PS.liangkuai   ; clk_in     ; clk_in   ; None                        ; None                      ; 2.116 ns                ;
; N/A                                     ; 189.43 MHz ( period = 5.279 ns )                    ; debounce:inst3|dout3[1]    ; seller:inst|PS.yikuai      ; clk_in     ; clk_in   ; None                        ; None                      ; 2.112 ns                ;
; N/A                                     ; 190.15 MHz ( period = 5.259 ns )                    ; debounce:inst3|dout1[0]    ; seller:inst|get_change     ; clk_in     ; clk_in   ; None                        ; None                      ; 2.092 ns                ;
; N/A                                     ; 191.61 MHz ( period = 5.219 ns )                    ; debounce:inst3|dout2[0]    ; seller:inst|PS.idle        ; clk_in     ; clk_in   ; None                        ; None                      ; 2.051 ns                ;
; N/A                                     ; 192.64 MHz ( period = 5.191 ns )                    ; debounce:inst3|dout2[1]    ; seller:inst|PS.wujiao      ; clk_in     ; clk_in   ; None                        ; None                      ; 2.023 ns                ;
; N/A                                     ; 193.46 MHz ( period = 5.169 ns )                    ; debounce:inst3|dout1[1]    ; seller:inst|PS.idle        ; clk_in     ; clk_in   ; None                        ; None                      ; 2.001 ns                ;
; N/A                                     ; 193.72 MHz ( period = 5.162 ns )                    ; debounce:inst3|dout3[0]    ; seller:inst|PS.wujiao      ; clk_in     ; clk_in   ; None                        ; None                      ; 1.994 ns                ;
; N/A                                     ; 194.14 MHz ( period = 5.151 ns )                    ; debounce:inst3|dout3[1]    ; seller:inst|get_change     ; clk_in     ; clk_in   ; None                        ; None                      ; 1.984 ns                ;
; N/A                                     ; 195.50 MHz ( period = 5.115 ns )                    ; debounce:inst3|dout3[0]    ; seller:inst|sell_succeed   ; clk_in     ; clk_in   ; None                        ; None                      ; 1.948 ns                ;
; N/A                                     ; 195.58 MHz ( period = 5.113 ns )                    ; debounce:inst3|dout2[0]    ; seller:inst|sell_succeed   ; clk_in     ; clk_in   ; None                        ; None                      ; 1.946 ns                ;
; N/A                                     ; 195.92 MHz ( period = 5.104 ns )                    ; debounce:inst3|dout1[1]    ; seller:inst|PS.yikuaiwu    ; clk_in     ; clk_in   ; None                        ; None                      ; 1.937 ns                ;
; N/A                                     ; 196.31 MHz ( period = 5.094 ns )                    ; debounce:inst3|dout1[1]    ; seller:inst|PS.liangkuai   ; clk_in     ; clk_in   ; None                        ; None                      ; 1.927 ns                ;
; N/A                                     ; 196.46 MHz ( period = 5.090 ns )                    ; debounce:inst3|dout1[1]    ; seller:inst|PS.yikuai      ; clk_in     ; clk_in   ; None                        ; None                      ; 1.923 ns                ;
; N/A                                     ; 197.12 MHz ( period = 5.073 ns )                    ; debounce:inst3|dout2[1]    ; seller:inst|get_change     ; clk_in     ; clk_in   ; None                        ; None                      ; 1.906 ns                ;
; N/A                                     ; 197.28 MHz ( period = 5.069 ns )                    ; debounce:inst3|dout1[0]    ; seller:inst|sell_succeed   ; clk_in     ; clk_in   ; None                        ; None                      ; 1.902 ns                ;
; N/A                                     ; 199.00 MHz ( period = 5.025 ns )                    ; debounce:inst3|dout1[0]    ; seller:inst|PS.idle        ; clk_in     ; clk_in   ; None                        ; None                      ; 1.857 ns                ;
; N/A                                     ; 201.09 MHz ( period = 4.973 ns )                    ; debounce:inst3|dout2[0]    ; seller:inst|PS.yikuaiwu    ; clk_in     ; clk_in   ; None                        ; None                      ; 1.806 ns                ;
; N/A                                     ; 201.45 MHz ( period = 4.964 ns )                    ; debounce:inst3|dout2[0]    ; seller:inst|PS.liangkuai   ; clk_in     ; clk_in   ; None                        ; None                      ; 1.797 ns                ;
; N/A                                     ; 201.57 MHz ( period = 4.961 ns )                    ; debounce:inst3|dout2[0]    ; seller:inst|PS.yikuai      ; clk_in     ; clk_in   ; None                        ; None                      ; 1.794 ns                ;
; N/A                                     ; 204.42 MHz ( period = 4.892 ns )                    ; debounce:inst3|dout3[1]    ; seller:inst|sell_succeed   ; clk_in     ; clk_in   ; None                        ; None                      ; 1.725 ns                ;
; N/A                                     ; 206.65 MHz ( period = 4.839 ns )                    ; debounce:inst3|dout3[1]    ; seller:inst|PS.wujiao      ; clk_in     ; clk_in   ; None                        ; None                      ; 1.671 ns                ;
; N/A                                     ; 207.34 MHz ( period = 4.823 ns )                    ; debounce:inst3|dout2[0]    ; seller:inst|PS.wujiao      ; clk_in     ; clk_in   ; None                        ; None                      ; 1.655 ns                ;
; N/A                                     ; 207.73 MHz ( period = 4.814 ns )                    ; debounce:inst3|dout2[1]    ; seller:inst|sell_succeed   ; clk_in     ; clk_in   ; None                        ; None                      ; 1.647 ns                ;
; N/A                                     ; 209.25 MHz ( period = 4.779 ns )                    ; debounce:inst3|dout1[0]    ; seller:inst|PS.yikuaiwu    ; clk_in     ; clk_in   ; None                        ; None                      ; 1.612 ns                ;
; N/A                                     ; 209.34 MHz ( period = 4.777 ns )                    ; debounce:inst3|dout1[1]    ; seller:inst|get_change     ; clk_in     ; clk_in   ; None                        ; None                      ; 1.610 ns                ;
; N/A                                     ; 209.64 MHz ( period = 4.770 ns )                    ; debounce:inst3|dout1[0]    ; seller:inst|PS.liangkuai   ; clk_in     ; clk_in   ; None                        ; None                      ; 1.603 ns                ;
; N/A                                     ; 209.78 MHz ( period = 4.767 ns )                    ; debounce:inst3|dout1[0]    ; seller:inst|PS.yikuai      ; clk_in     ; clk_in   ; None                        ; None                      ; 1.600 ns                ;
; N/A                                     ; 215.05 MHz ( period = 4.650 ns )                    ; debounce:inst3|dout1[1]    ; seller:inst|PS.wujiao      ; clk_in     ; clk_in   ; None                        ; None                      ; 1.482 ns                ;
; N/A                                     ; 216.03 MHz ( period = 4.629 ns )                    ; debounce:inst3|dout1[0]    ; seller:inst|PS.wujiao      ; clk_in     ; clk_in   ; None                        ; None                      ; 1.461 ns                ;
; N/A                                     ; 218.53 MHz ( period = 4.576 ns )                    ; Reset_Delay:inst2|Cont[14] ; Reset_Delay:inst2|Cont[19] ; clk_in     ; clk_in   ; None                        ; None                      ; 4.337 ns                ;
; N/A                                     ; 218.53 MHz ( period = 4.576 ns )                    ; Reset_Delay:inst2|Cont[14] ; Reset_Delay:inst2|Cont[18] ; clk_in     ; clk_in   ; None                        ; None                      ; 4.337 ns                ;
; N/A                                     ; 218.53 MHz ( period = 4.576 ns )                    ; Reset_Delay:inst2|Cont[14] ; Reset_Delay:inst2|Cont[17] ; clk_in     ; clk_in   ; None                        ; None                      ; 4.337 ns                ;
; N/A                                     ; 218.53 MHz ( period = 4.576 ns )                    ; Reset_Delay:inst2|Cont[14] ; Reset_Delay:inst2|Cont[16] ; clk_in     ; clk_in   ; None                        ; None                      ; 4.337 ns                ;
; N/A                                     ; 218.53 MHz ( period = 4.576 ns )                    ; Reset_Delay:inst2|Cont[14] ; Reset_Delay:inst2|Cont[23] ; clk_in     ; clk_in   ; None                        ; None                      ; 4.337 ns                ;
; N/A                                     ; 218.53 MHz ( period = 4.576 ns )                    ; Reset_Delay:inst2|Cont[14] ; Reset_Delay:inst2|Cont[21] ; clk_in     ; clk_in   ; None                        ; None                      ; 4.337 ns                ;