all_traffic.sim.rpt

一个简单的交通灯程序(包括验证,主程序,和译码程序),在ALTER DE2板上实现

; |All_traffic|traffic:inst|led~0                                                ; |All_traffic|traffic:inst|led~0                                                ; out              ;
; |All_traffic|traffic:inst|led~1                                                ; |All_traffic|traffic:inst|led~1                                                ; out              ;
; |All_traffic|traffic:inst|led~2                                                ; |All_traffic|traffic:inst|led~2                                                ; out              ;
; |All_traffic|traffic:inst|led~3                                                ; |All_traffic|traffic:inst|led~3                                                ; out              ;
; |All_traffic|traffic:inst|led~4                                                ; |All_traffic|traffic:inst|led~4                                                ; out              ;
; |All_traffic|traffic:inst|led~5                                                ; |All_traffic|traffic:inst|led~5                                                ; out              ;
; |All_traffic|traffic:inst|led~6                                                ; |All_traffic|traffic:inst|led~6                                                ; out              ;
; |All_traffic|traffic:inst|led~7                                                ; |All_traffic|traffic:inst|led~7                                                ; out              ;
; |All_traffic|traffic:inst|led~8                                                ; |All_traffic|traffic:inst|led~8                                                ; out              ;
; |All_traffic|traffic:inst|led~9                                                ; |All_traffic|traffic:inst|led~9                                                ; out              ;
; |All_traffic|traffic:inst|led~10                                               ; |All_traffic|traffic:inst|led~10                                               ; out              ;
; |All_traffic|traffic:inst|led~11                                               ; |All_traffic|traffic:inst|led~11                                               ; out              ;
; |All_traffic|traffic:inst|led~12                                               ; |All_traffic|traffic:inst|led~12                                               ; out              ;
; |All_traffic|traffic:inst|led~13                                               ; |All_traffic|traffic:inst|led~13                                               ; out              ;
; |All_traffic|traffic:inst|led~14                                               ; |All_traffic|traffic:inst|led~14                                               ; out              ;
; |All_traffic|traffic:inst|led~15                                               ; |All_traffic|traffic:inst|led~15                                               ; out              ;
; |All_traffic|traffic:inst|led~16                                               ; |All_traffic|traffic:inst|led~16                                               ; out              ;
; |All_traffic|traffic:inst|led~17                                               ; |All_traffic|traffic:inst|led~17                                               ; out              ;
; |All_traffic|traffic:inst|led~18                                               ; |All_traffic|traffic:inst|led~18                                               ; out              ;
; |All_traffic|traffic:inst|led~19                                               ; |All_traffic|traffic:inst|led~19                                               ; out              ;
; |All_traffic|traffic:inst|led~20                                               ; |All_traffic|traffic:inst|led~20                                               ; out              ;
; |All_traffic|traffic:inst|led~21                                               ; |All_traffic|traffic:inst|led~21                                               ; out              ;
; |All_traffic|traffic:inst|led~22                                               ; |All_traffic|traffic:inst|led~22                                               ; out              ;
; |All_traffic|traffic:inst|led~23                                               ; |All_traffic|traffic:inst|led~23                                               ; out              ;
; |All_traffic|traffic:inst|south_north[2]                                       ; |All_traffic|traffic:inst|south_north[2]                                       ; out              ;
; |All_traffic|traffic:inst|south_north[3]                                       ; |All_traffic|traffic:inst|south_north[3]                                       ; out              ;
; |All_traffic|traffic:inst|south_north[4]                                       ; |All_traffic|traffic:inst|south_north[4]                                       ; out              ;
; |All_traffic|traffic:inst|south_north[5]                                       ; |All_traffic|traffic:inst|south_north[5]                                       ; out              ;
; |All_traffic|traffic:inst|south_north[6]                                       ; |All_traffic|traffic:inst|south_north[6]                                       ; out              ;
; |All_traffic|traffic:inst|east_west[0]                                         ; |All_traffic|traffic:inst|east_west[0]                                         ; out              ;
; |All_traffic|traffic:inst|east_west[1]                                         ; |All_traffic|traffic:inst|east_west[1]                                         ; out              ;
; |All_traffic|traffic:inst|east_west[2]                                         ; |All_traffic|traffic:inst|east_west[2]                                         ; out              ;
; |All_traffic|traffic:inst|east_west[3]                                         ; |All_traffic|traffic:inst|east_west[3]                                         ; out              ;
; |All_traffic|traffic:inst|east_west[4]                                         ; |All_traffic|traffic:inst|east_west[4]                                         ; out              ;
; |All_traffic|traffic:inst|east_west[5]                                         ; |All_traffic|traffic:inst|east_west[5]                                         ; out              ;
; |All_traffic|traffic:inst|east_west[6]                                         ; |All_traffic|traffic:inst|east_west[6]                                         ; out              ;
; |All_traffic|traffic:inst|led[0]                                               ; |All_traffic|traffic:inst|led[0]                                               ; out              ;
; |All_traffic|traffic:inst|led[1]                                               ; |All_traffic|traffic:inst|led[1]                                               ; out              ;
; |All_traffic|traffic:inst|led[2]                                               ; |All_traffic|traffic:inst|led[2]                                               ; out              ;
; |All_traffic|traffic:inst|led[3]                                               ; |All_traffic|traffic:inst|led[3]                                               ; out              ;
; |All_traffic|traffic:inst|led[4]                                               ; |All_traffic|traffic:inst|led[4]                                               ; out              ;
; |All_traffic|traffic:inst|led[5]                                               ; |All_traffic|traffic:inst|led[5]                                               ; out              ;
; |All_traffic|DECL7S:inst1|LED7S[0]                                             ; |All_traffic|DECL7S:inst1|LED7S[0]                                             ; out              ;
; |All_traffic|DECL7S:inst1|LED7S[1]                                             ; |All_traffic|DECL7S:inst1|LED7S[1]                                             ; out              ;
; |All_traffic|DECL7S:inst1|LED7S[2]                                             ; |All_traffic|DECL7S:inst1|LED7S[2]                                             ; out              ;
; |All_traffic|DECL7S:inst1|LED7S[3]                                             ; |All_traffic|DECL7S:inst1|LED7S[3]                                             ; out              ;
; |All_traffic|DECL7S:inst1|LED7S[4]                                             ; |All_traffic|DECL7S:inst1|LED7S[4]                                             ; out              ;
; |All_traffic|DECL7S:inst1|LED7S[5]                                             ; |All_traffic|DECL7S:inst1|LED7S[5]                                             ; out              ;
; |All_traffic|DECL7S:inst1|LED7S[6]                                             ; |All_traffic|DECL7S:inst1|LED7S[6]                                             ; out              ;
; |All_traffic|traffic:inst|Add0~45                                              ; |All_traffic|traffic:inst|Add0~45                                              ; out0             ;
; |All_traffic|traffic:inst|Add0~46                                              ; |All_traffic|traffic:inst|Add0~46                                              ; out0             ;
; |All_traffic|traffic:inst|Add0~47                                              ; |All_traffic|traffic:inst|Add0~47                                              ; out0             ;
; |All_traffic|traffic:inst|Add0~48                                              ; |All_traffic|traffic:inst|Add0~48                                              ; out0             ;
; |All_traffic|traffic:inst|Add0~49                                              ; |All_traffic|traffic:inst|Add0~49                                              ; out0             ;
; |All_traffic|traffic:inst|Add0~50                                              ; |All_traffic|traffic:inst|Add0~50                                              ; out0             ;
; |All_traffic|traffic:inst|Add0~52                                              ; |All_traffic|traffic:inst|Add0~52                                              ; out0             ;
; |All_traffic|traffic:inst|Add0~53                                              ; |All_traffic|traffic:inst|Add0~53                                              ; out0             ;
; |All_traffic|traffic:inst|Add0~54                                              ; |All_traffic|traffic:inst|Add0~54                                              ; out0             ;
; |All_traffic|traffic:inst|Add0~55                                              ; |All_traffic|traffic:inst|Add0~55                                              ; out0             ;
; |All_traffic|traffic:inst|Add0~56                                              ; |All_traffic|traffic:inst|Add0~56                                              ; out0             ;
; |All_traffic|traffic:inst|Add0~57                                              ; |All_traffic|traffic:inst|Add0~57                                              ; out0             ;
; |All_traffic|traffic:inst|Add0~58                                              ; |All_traffic|traffic:inst|Add0~58                                              ; out0             ;
; |All_traffic|traffic:inst|Add0~59                                              ; |All_traffic|traffic:inst|Add0~59                                              ; out0             ;
; |All_traffic|traffic:inst|Add0~61                                              ; |All_traffic|traffic:inst|Add0~61                                              ; out0             ;
; |All_traffic|traffic:inst|Add1~45                                              ; |All_traffic|traffic:inst|Add1~45                                              ; out0             ;
; |All_traffic|traffic:inst|Add1~46                                              ; |All_traffic|traffic:inst|Add1~46                                              ; out0             ;
; |All_traffic|traffic:inst|Add1~47                                              ; |All_traffic|traffic:inst|Add1~47                                              ; out0             ;
; |All_traffic|traffic:inst|Add1~48                                              ; |All_traffic|traffic:inst|Add1~48                                              ; out0             ;
; |All_traffic|traffic:inst|Add1~49                                              ; |All_traffic|traffic:inst|Add1~49                                              ; out0             ;
; |All_traffic|traffic:inst|Add1~50                                              ; |All_traffic|traffic:inst|Add1~50                                              ; out0             ;
; |All_traffic|traffic:inst|Add1~52                                              ; |All_traffic|traffic:inst|Add1~52                                              ; out0             ;
; |All_traffic|traffic:inst|Add1~53                                              ; |All_traffic|traffic:inst|Add1~53                                              ; out0             ;
; |All_traffic|traffic:inst|Add1~54                                              ; |All_traffic|traffic:inst|Add1~54                                              ; out0             ;
; |All_traffic|traffic:inst|Add1~55                                              ; |All_traffic|traffic:inst|Add1~55                                              ; out0             ;
; |All_traffic|traffic:inst|Add1~56                                              ; |All_traffic|traffic:inst|Add1~56                                              ; out0             ;
; |All_traffic|traffic:inst|Add1~57                                              ; |All_traffic|traffic:inst|Add1~57                                              ; out0             ;
; |All_traffic|traffic:inst|Add1~58                                              ; |All_traffic|traffic:inst|Add1~58                                              ; out0             ;
; |All_traffic|traffic:inst|Add1~59                                              ; |All_traffic|traffic:inst|Add1~59                                              ; out0             ;
; |All_traffic|traffic:inst|Add1~61                                              ; |All_traffic|traffic:inst|Add1~61                                              ; out0             ;
; |All_traffic|traffic:inst|Add2~45                                              ; |All_traffic|traffic:inst|Add2~45                                              ; out0             ;
; |All_traffic|traffic:inst|Add2~46                                              ; |All_traffic|traffic:inst|Add2~46                                              ; out0             ;
; |All_traffic|traffic:inst|Add2~47                                              ; |All_traffic|traffic:inst|Add2~47                                              ; out0             ;
; |All_traffic|traffic:inst|Add2~48                                              ; |All_traffic|traffic:inst|Add2~48                                              ; out0             ;
; |All_traffic|traffic:inst|Add2~49                                              ; |All_traffic|traffic:inst|Add2~49                                              ; out0             ;
; |All_traffic|traffic:inst|Add2~50                                              ; |All_traffic|traffic:inst|Add2~50                                              ; out0             ;
; |All_traffic|traffic:inst|Add2~51                                              ; |All_traffic|traffic:inst|Add2~51                                              ; out0             ;