lift.tan.rpt

不同于网上的四层电梯

; N/A   ; None         ; 0.758 ns   ; f2dnbutton  ; fdnlight[6]~reg0  ; buttonclk ;
; N/A   ; None         ; 0.626 ns   ; f2dnbutton  ; fdnlight[3]~reg0  ; buttonclk ;
; N/A   ; None         ; 0.494 ns   ; f4dnbutton  ; fdnlight[4]~reg0  ; buttonclk ;
; N/A   ; None         ; 0.473 ns   ; f5dnbutton  ; fdnlight[5]~reg0  ; buttonclk ;
; N/A   ; None         ; 0.365 ns   ; f2dnbutton  ; fdnlight[5]~reg0  ; buttonclk ;
; N/A   ; None         ; 0.362 ns   ; f2dnbutton  ; fdnlight[4]~reg0  ; buttonclk ;
; N/A   ; None         ; 0.340 ns   ; f2upbutton  ; fuplight[2]~reg0  ; buttonclk ;
; N/A   ; None         ; 0.336 ns   ; f2upbutton  ; fuplight[4]~reg0  ; buttonclk ;
; N/A   ; None         ; 0.330 ns   ; f2upbutton  ; fuplight[3]~reg0  ; buttonclk ;
; N/A   ; None         ; 0.156 ns   ; f2upbutton  ; fuplight[5]~reg0  ; buttonclk ;
; N/A   ; None         ; 0.136 ns   ; f1upbutton  ; fuplight[4]~reg0  ; buttonclk ;
; N/A   ; None         ; 0.129 ns   ; f1upbutton  ; fuplight[3]~reg0  ; buttonclk ;
; N/A   ; None         ; 0.088 ns   ; f1upbutton  ; fuplight[2]~reg0  ; buttonclk ;
; N/A   ; None         ; 0.001 ns   ; f2dnbutton  ; fdnlight[2]~reg0  ; buttonclk ;
; N/A   ; None         ; -0.044 ns  ; f1upbutton  ; fuplight[5]~reg0  ; buttonclk ;
; N/A   ; None         ; -0.583 ns  ; f1upbutton  ; fuplight[1]~reg0  ; buttonclk ;
+-------+--------------+------------+-------------+-------------------+-----------+


+-----------------------------------------------------------------------------------+
; tco                                                                               ;
+-------+--------------+------------+-------------------+--------------+------------+
; Slack ; Required tco ; Actual tco ; From              ; To           ; From Clock ;
+-------+--------------+------------+-------------------+--------------+------------+
; N/A   ; None         ; 10.067 ns  ; display:u2|dp[4]  ; lightout[4]  ; buttonclk  ;
; N/A   ; None         ; 10.021 ns  ; display:u2|dp[2]  ; lightout[2]  ; buttonclk  ;
; N/A   ; None         ; 9.793 ns   ; display:u2|dp[3]  ; lightout[3]  ; buttonclk  ;
; N/A   ; None         ; 9.741 ns   ; fdnlight[3]~reg0  ; fdnlight[3]  ; buttonclk  ;
; N/A   ; None         ; 9.571 ns   ; display:u2|dp[0]  ; lightout[0]  ; buttonclk  ;
; N/A   ; None         ; 9.540 ns   ; display:u2|dp[3]  ; lightout[6]  ; buttonclk  ;
; N/A   ; None         ; 9.417 ns   ; fdnlight[5]~reg0  ; fdnlight[5]  ; buttonclk  ;
; N/A   ; None         ; 9.020 ns   ; doorlight~reg0    ; doorlight    ; liftclk    ;
; N/A   ; None         ; 8.706 ns   ; fdnlight[2]~reg0  ; fdnlight[2]  ; buttonclk  ;
; N/A   ; None         ; 8.294 ns   ; display:u2|dp[5]  ; lightout[5]  ; buttonclk  ;
; N/A   ; None         ; 8.250 ns   ; udsig~reg0        ; udsig        ; liftclk    ;
; N/A   ; None         ; 8.229 ns   ; fuplight[1]~reg0  ; fuplight[1]  ; buttonclk  ;
; N/A   ; None         ; 8.181 ns   ; fdnlight[4]~reg0  ; fdnlight[4]  ; buttonclk  ;
; N/A   ; None         ; 8.042 ns   ; stoplight[2]~reg0 ; stoplight[2] ; buttonclk  ;
; N/A   ; None         ; 8.039 ns   ; fuplight[4]~reg0  ; fuplight[4]  ; buttonclk  ;
; N/A   ; None         ; 8.026 ns   ; stoplight[3]~reg0 ; stoplight[3] ; buttonclk  ;
; N/A   ; None         ; 7.986 ns   ; fuplight[5]~reg0  ; fuplight[5]  ; buttonclk  ;
; N/A   ; None         ; 7.950 ns   ; stoplight[5]~reg0 ; stoplight[5] ; buttonclk  ;
; N/A   ; None         ; 7.945 ns   ; fuplight[3]~reg0  ; fuplight[3]  ; buttonclk  ;
; N/A   ; None         ; 7.939 ns   ; fdnlight[6]~reg0  ; fdnlight[6]  ; buttonclk  ;
; N/A   ; None         ; 7.925 ns   ; fuplight[2]~reg0  ; fuplight[2]  ; buttonclk  ;
; N/A   ; None         ; 7.912 ns   ; stoplight[6]~reg0 ; stoplight[6] ; buttonclk  ;
; N/A   ; None         ; 7.746 ns   ; stoplight[4]~reg0 ; stoplight[4] ; buttonclk  ;
; N/A   ; None         ; 7.091 ns   ; stoplight[1]~reg0 ; stoplight[1] ; buttonclk  ;
; N/A   ; None         ; 6.793 ns   ; \ctrlift:pos[0]   ; position[0]  ; liftclk    ;
; N/A   ; None         ; 6.562 ns   ; \ctrlift:pos[2]   ; position[2]  ; liftclk    ;
; N/A   ; None         ; 6.252 ns   ; \ctrlift:pos[1]   ; position[1]  ; liftclk    ;
+-------+--------------+------------+-------------------+--------------+------------+


+---------------------------------------------------------------------------------------+
; th                                                                                    ;
+---------------+-------------+-----------+-------------+-------------------+-----------+
; Minimum Slack ; Required th ; Actual th ; From        ; To                ; To Clock  ;
+---------------+-------------+-----------+-------------+-------------------+-----------+
; N/A           ; None        ; 0.813 ns  ; f1upbutton  ; fuplight[1]~reg0  ; buttonclk ;
; N/A           ; None        ; 0.274 ns  ; f1upbutton  ; fuplight[5]~reg0  ; buttonclk ;
; N/A           ; None        ; 0.229 ns  ; f2dnbutton  ; fdnlight[2]~reg0  ; buttonclk ;
; N/A           ; None        ; 0.142 ns  ; f1upbutton  ; fuplight[2]~reg0  ; buttonclk ;
; N/A           ; None        ; 0.101 ns  ; f1upbutton  ; fuplight[3]~reg0  ; buttonclk ;
; N/A           ; None        ; 0.094 ns  ; f1upbutton  ; fuplight[4]~reg0  ; buttonclk ;
; N/A           ; None        ; 0.074 ns  ; f2upbutton  ; fuplight[5]~reg0  ; buttonclk ;
; N/A           ; None        ; -0.100 ns ; f2upbutton  ; fuplight[3]~reg0  ; buttonclk ;
; N/A           ; None        ; -0.106 ns ; f2upbutton  ; fuplight[4]~reg0  ; buttonclk ;
; N/A           ; None        ; -0.110 ns ; f2upbutton  ; fuplight[2]~reg0  ; buttonclk ;
; N/A           ; None        ; -0.132 ns ; f2dnbutton  ; fdnlight[4]~reg0  ; buttonclk ;
; N/A           ; None        ; -0.135 ns ; f2dnbutton  ; fdnlight[5]~reg0  ; buttonclk ;
; N/A           ; None        ; -0.243 ns ; f5dnbutton  ; fdnlight[5]~reg0  ; buttonclk ;
; N/A           ; None        ; -0.264 ns ; f4dnbutton  ; fdnlight[4]~reg0  ; buttonclk ;
; N/A           ; None        ; -0.396 ns ; f2dnbutton  ; fdnlight[3]~reg0  ; buttonclk ;
; N/A           ; None        ; -0.528 ns ; f2dnbutton  ; fdnlight[6]~reg0  ; buttonclk ;
; N/A           ; None        ; -0.542 ns ; f4dnbutton  ; fdnlight[5]~reg0  ; buttonclk ;
; N/A           ; None        ; -0.592 ns ; f4upbutton  ; fuplight[4]~reg0  ; buttonclk ;
; N/A           ; None        ; -0.600 ns ; f5dnbutton  ; fdnlight[6]~reg0  ; buttonclk ;
; N/A           ; None        ; -0.612 ns ; stop1button ; stoplight[1]~reg0 ; buttonclk ;
; N/A           ; None        ; -0.660 ns ; f4dnbutton  ; fdnlight[6]~reg0  ; buttonclk ;
; N/A           ; None        ; -0.719 ns ; f6dnbutton  ; fdnlight[6]~reg0  ; buttonclk ;
; N/A           ; None        ; -0.812 ns ; f5upbutton  ; fuplight[5]~reg0  ; buttonclk ;
; N/A           ; None        ; -0.839 ns ; f4upbutton  ; fuplight[5]~reg0  ; buttonclk ;
; N/A           ; None        ; -0.922 ns ; f3dnbutton  ; fdnlight[4]~reg0  ; buttonclk ;
; N/A           ; None        ; -0.925 ns ; f3dnbutton  ; fdnlight[5]~reg0  ; buttonclk ;
; N/A           ; None        ; -0.980 ns ; stop1button ; stoplight[2]~reg0 ; buttonclk ;
; N/A           ; None        ; -1.006 ns ; stop1button ; stoplight[3]~reg0 ; buttonclk ;
; N/A           ; None        ; -1.128 ns ; stop1button ; stoplight[4]~reg0 ; buttonclk ;
; N/A           ; None        ; -1.318 ns ; f3dnbutton  ; fdnlight[6]~reg0  ; buttonclk ;
; N/A           ; None        ; -1.347 ns ; f3upbutton  ; fuplight[5]~reg0  ; buttonclk ;
; N/A           ; None        ; -1.399 ns ; stop1button ; stoplight[5]~reg0 ; buttonclk ;
; N/A           ; None        ; -1.520 ns ; f3upbutton  ; fuplight[3]~reg0  ; buttonclk ;
; N/A           ; None        ; -1.526 ns ; stop1button ; stoplight[6]~reg0 ; buttonclk ;
; N/A           ; None        ; -1.527 ns ; f3upbutton  ; fuplight[4]~reg0  ; buttonclk ;
; N/A           ; None        ; -1.686 ns ; f3dnbutton  ; fdnlight[3]~reg0  ; buttonclk ;
; N/A           ; None        ; -3.941 ns ; reset       ; doorlight~reg0    ; liftclk   ;
; N/A           ; None        ; -4.182 ns ; reset       ; \ctrlift:pos[0]   ; liftclk   ;
; N/A           ; None        ; -4.326 ns ; reset       ; \ctrlift:pos[2]   ; liftclk   ;
; N/A           ; None        ; -4.326 ns ; reset       ; \ctrlift:pos[1]   ; liftclk   ;
; N/A           ; None        ; -4.430 ns ; reset       ; udsig~reg0        ; liftclk   ;
; N/A           ; None        ; -4.859 ns ; stop5button ; stoplight[5]~reg0 ; buttonclk ;
; N/A           ; None        ; -5.046 ns ; stop4button ; stoplight[5]~reg0 ; buttonclk ;
; N/A           ; None        ; -5.065 ns ; stop4button ; stoplight[4]~reg0 ; buttonclk ;
; N/A           ; None        ; -5.260 ns ; stop5button ; stoplight[6]~reg0 ; buttonclk ;
; N/A           ; None        ; -5.307 ns ; stop6button ; stoplight[6]~reg0 ; buttonclk ;
; N/A           ; None        ; -5.426 ns ; stop4button ; stoplight[6]~reg0 ; buttonclk ;
; N/A           ; None        ; -5.537 ns ; stop2button ; stoplight[2]~reg0 ; buttonclk ;
; N/A           ; None        ; -5.568 ns ; stop3button ; stoplight[3]~reg0 ; buttonclk ;
; N/A           ; None        ; -5.570 ns ; stop2button ; stoplight[3]~reg0 ; buttonclk ;
; N/A           ; None        ; -5.642 ns ; stop3button ; stoplight[4]~reg0 ; buttonclk ;
; N/A           ; None        ; -5.685 ns ; stop2button ; stoplight[4]~reg0 ; buttonclk ;
; N/A           ; None        ; -5.913 ns ; stop3button ; stoplight[5]~reg0 ; buttonclk ;
; N/A           ; None        ; -5.956 ns ; stop2button ; stoplight[5]~reg0 ; buttonclk ;
; N/A           ; None        ; -6.040 ns ; stop3button ; stoplight[6]~reg0 ; buttonclk ;
; N/A           ; None        ; -6.083 ns ; stop2button ; stoplight[6]~reg0 ; buttonclk ;
+---------------+-------------+-----------+-------------+-------------------+-----------+