all_traffic.sim.rpt

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

; |All_traffic|traffic:inst|Add2~52                                              ; |All_traffic|traffic:inst|Add2~52                                              ; out0             ;
; |All_traffic|traffic:inst|Add2~53                                              ; |All_traffic|traffic:inst|Add2~53                                              ; out0             ;
; |All_traffic|traffic:inst|Add2~54                                              ; |All_traffic|traffic:inst|Add2~54                                              ; out0             ;
; |All_traffic|traffic:inst|Add2~55                                              ; |All_traffic|traffic:inst|Add2~55                                              ; out0             ;
; |All_traffic|traffic:inst|Add2~56                                              ; |All_traffic|traffic:inst|Add2~56                                              ; out0             ;
; |All_traffic|traffic:inst|Add2~57                                              ; |All_traffic|traffic:inst|Add2~57                                              ; out0             ;
; |All_traffic|traffic:inst|Add2~58                                              ; |All_traffic|traffic:inst|Add2~58                                              ; out0             ;
; |All_traffic|traffic:inst|Add2~59                                              ; |All_traffic|traffic:inst|Add2~59                                              ; out0             ;
; |All_traffic|traffic:inst|Add2~60                                              ; |All_traffic|traffic:inst|Add2~60                                              ; out0             ;
; |All_traffic|traffic:inst|Add2~62                                              ; |All_traffic|traffic:inst|Add2~62                                              ; out0             ;
; |All_traffic|traffic:inst|Add3~45                                              ; |All_traffic|traffic:inst|Add3~45                                              ; out0             ;
; |All_traffic|traffic:inst|Add3~46                                              ; |All_traffic|traffic:inst|Add3~46                                              ; out0             ;
; |All_traffic|traffic:inst|Add3~47                                              ; |All_traffic|traffic:inst|Add3~47                                              ; out0             ;
; |All_traffic|traffic:inst|Add3~48                                              ; |All_traffic|traffic:inst|Add3~48                                              ; out0             ;
; |All_traffic|traffic:inst|Add3~49                                              ; |All_traffic|traffic:inst|Add3~49                                              ; out0             ;
; |All_traffic|traffic:inst|Add3~50                                              ; |All_traffic|traffic:inst|Add3~50                                              ; out0             ;
; |All_traffic|traffic:inst|Add3~51                                              ; |All_traffic|traffic:inst|Add3~51                                              ; out0             ;
; |All_traffic|traffic:inst|Add3~52                                              ; |All_traffic|traffic:inst|Add3~52                                              ; out0             ;
; |All_traffic|traffic:inst|Add3~53                                              ; |All_traffic|traffic:inst|Add3~53                                              ; out0             ;
; |All_traffic|traffic:inst|Add3~54                                              ; |All_traffic|traffic:inst|Add3~54                                              ; out0             ;
; |All_traffic|traffic:inst|Add3~55                                              ; |All_traffic|traffic:inst|Add3~55                                              ; out0             ;
; |All_traffic|traffic:inst|Add3~56                                              ; |All_traffic|traffic:inst|Add3~56                                              ; out0             ;
; |All_traffic|traffic:inst|Add3~57                                              ; |All_traffic|traffic:inst|Add3~57                                              ; out0             ;
; |All_traffic|traffic:inst|Add3~58                                              ; |All_traffic|traffic:inst|Add3~58                                              ; out0             ;
; |All_traffic|traffic:inst|Add3~59                                              ; |All_traffic|traffic:inst|Add3~59                                              ; out0             ;
; |All_traffic|traffic:inst|Add3~60                                              ; |All_traffic|traffic:inst|Add3~60                                              ; out0             ;
; |All_traffic|traffic:inst|Add3~62                                              ; |All_traffic|traffic:inst|Add3~62                                              ; out0             ;
; |All_traffic|traffic:inst|Equal0~10                                            ; |All_traffic|traffic:inst|Equal0~10                                            ; out0             ;
; |All_traffic|traffic:inst|Equal1~10                                            ; |All_traffic|traffic:inst|Equal1~10                                            ; out0             ;
; |All_traffic|traffic:inst|Equal2~10                                            ; |All_traffic|traffic:inst|Equal2~10                                            ; out0             ;
; |All_traffic|traffic:inst|Equal3~10                                            ; |All_traffic|traffic:inst|Equal3~10                                            ; out0             ;
; |All_traffic|traffic:inst|Equal5~5                                             ; |All_traffic|traffic:inst|Equal5~5                                             ; out0             ;
; |All_traffic|traffic:inst|Equal6~5                                             ; |All_traffic|traffic:inst|Equal6~5                                             ; out0             ;
; |All_traffic|DECL7S:inst1|lpm_mux:Mux7|mux_llc:auto_generated|_~0              ; |All_traffic|DECL7S:inst1|lpm_mux:Mux7|mux_llc:auto_generated|_~0              ; out0             ;
; |All_traffic|DECL7S:inst1|lpm_mux:Mux7|mux_llc:auto_generated|_~1              ; |All_traffic|DECL7S:inst1|lpm_mux:Mux7|mux_llc:auto_generated|_~1              ; out0             ;
; |All_traffic|DECL7S:inst1|lpm_mux:Mux7|mux_llc:auto_generated|result_node[0]~0 ; |All_traffic|DECL7S:inst1|lpm_mux:Mux7|mux_llc:auto_generated|result_node[0]~0 ; out0             ;
; |All_traffic|DECL7S:inst1|lpm_mux:Mux7|mux_llc:auto_generated|_~2              ; |All_traffic|DECL7S:inst1|lpm_mux:Mux7|mux_llc:auto_generated|_~2              ; out0             ;
; |All_traffic|DECL7S:inst1|lpm_mux:Mux7|mux_llc:auto_generated|_~3              ; |All_traffic|DECL7S:inst1|lpm_mux:Mux7|mux_llc:auto_generated|_~3              ; out0             ;
; |All_traffic|DECL7S:inst1|lpm_mux:Mux7|mux_llc:auto_generated|result_node[0]~1 ; |All_traffic|DECL7S:inst1|lpm_mux:Mux7|mux_llc:auto_generated|result_node[0]~1 ; out0             ;
; |All_traffic|DECL7S:inst1|lpm_mux:Mux7|mux_llc:auto_generated|result_node[0]   ; |All_traffic|DECL7S:inst1|lpm_mux:Mux7|mux_llc:auto_generated|result_node[0]   ; out0             ;
; |All_traffic|DECL7S:inst1|lpm_mux:Mux7|mux_llc:auto_generated|_~4              ; |All_traffic|DECL7S:inst1|lpm_mux:Mux7|mux_llc:auto_generated|_~4              ; out0             ;
; |All_traffic|DECL7S:inst1|lpm_mux:Mux7|mux_llc:auto_generated|_~5              ; |All_traffic|DECL7S:inst1|lpm_mux:Mux7|mux_llc:auto_generated|_~5              ; out0             ;
; |All_traffic|DECL7S:inst1|lpm_mux:Mux7|mux_llc:auto_generated|_~6              ; |All_traffic|DECL7S:inst1|lpm_mux:Mux7|mux_llc:auto_generated|_~6              ; out0             ;
; |All_traffic|DECL7S:inst1|lpm_mux:Mux7|mux_llc:auto_generated|w_result112w~0   ; |All_traffic|DECL7S:inst1|lpm_mux:Mux7|mux_llc:auto_generated|w_result112w~0   ; out0             ;
; |All_traffic|DECL7S:inst1|lpm_mux:Mux7|mux_llc:auto_generated|_~7              ; |All_traffic|DECL7S:inst1|lpm_mux:Mux7|mux_llc:auto_generated|_~7              ; out0             ;
; |All_traffic|DECL7S:inst1|lpm_mux:Mux7|mux_llc:auto_generated|w_result112w~1   ; |All_traffic|DECL7S:inst1|lpm_mux:Mux7|mux_llc:auto_generated|w_result112w~1   ; out0             ;
; |All_traffic|DECL7S:inst1|lpm_mux:Mux7|mux_llc:auto_generated|w_result112w     ; |All_traffic|DECL7S:inst1|lpm_mux:Mux7|mux_llc:auto_generated|w_result112w     ; out0             ;
; |All_traffic|DECL7S:inst1|lpm_mux:Mux7|mux_llc:auto_generated|_~8              ; |All_traffic|DECL7S:inst1|lpm_mux:Mux7|mux_llc:auto_generated|_~8              ; out0             ;
; |All_traffic|DECL7S:inst1|lpm_mux:Mux7|mux_llc:auto_generated|_~10             ; |All_traffic|DECL7S:inst1|lpm_mux:Mux7|mux_llc:auto_generated|_~10             ; out0             ;
; |All_traffic|DECL7S:inst1|lpm_mux:Mux7|mux_llc:auto_generated|_~11             ; |All_traffic|DECL7S:inst1|lpm_mux:Mux7|mux_llc:auto_generated|_~11             ; out0             ;
; |All_traffic|DECL7S:inst1|lpm_mux:Mux7|mux_llc:auto_generated|w_result129w~1   ; |All_traffic|DECL7S:inst1|lpm_mux:Mux7|mux_llc:auto_generated|w_result129w~1   ; out0             ;
; |All_traffic|DECL7S:inst1|lpm_mux:Mux7|mux_llc:auto_generated|w_result129w     ; |All_traffic|DECL7S:inst1|lpm_mux:Mux7|mux_llc:auto_generated|w_result129w     ; out0             ;
; |All_traffic|DECL7S:inst1|lpm_mux:Mux7|mux_llc:auto_generated|_~12             ; |All_traffic|DECL7S:inst1|lpm_mux:Mux7|mux_llc:auto_generated|_~12             ; out0             ;
; |All_traffic|DECL7S:inst1|lpm_mux:Mux7|mux_llc:auto_generated|_~13             ; |All_traffic|DECL7S:inst1|lpm_mux:Mux7|mux_llc:auto_generated|_~13             ; out0             ;
; |All_traffic|DECL7S:inst1|lpm_mux:Mux7|mux_llc:auto_generated|_~14             ; |All_traffic|DECL7S:inst1|lpm_mux:Mux7|mux_llc:auto_generated|_~14             ; out0             ;
; |All_traffic|DECL7S:inst1|lpm_mux:Mux7|mux_llc:auto_generated|w_result145w~0   ; |All_traffic|DECL7S:inst1|lpm_mux:Mux7|mux_llc:auto_generated|w_result145w~0   ; out0             ;
; |All_traffic|DECL7S:inst1|lpm_mux:Mux7|mux_llc:auto_generated|_~15             ; |All_traffic|DECL7S:inst1|lpm_mux:Mux7|mux_llc:auto_generated|_~15             ; out0             ;
; |All_traffic|DECL7S:inst1|lpm_mux:Mux7|mux_llc:auto_generated|w_result145w~1   ; |All_traffic|DECL7S:inst1|lpm_mux:Mux7|mux_llc:auto_generated|w_result145w~1   ; out0             ;
; |All_traffic|DECL7S:inst1|lpm_mux:Mux7|mux_llc:auto_generated|w_result145w     ; |All_traffic|DECL7S:inst1|lpm_mux:Mux7|mux_llc:auto_generated|w_result145w     ; out0             ;
; |All_traffic|DECL7S:inst1|lpm_mux:Mux7|mux_llc:auto_generated|_~16             ; |All_traffic|DECL7S:inst1|lpm_mux:Mux7|mux_llc:auto_generated|_~16             ; out0             ;
; |All_traffic|DECL7S:inst1|lpm_mux:Mux7|mux_llc:auto_generated|_~17             ; |All_traffic|DECL7S:inst1|lpm_mux:Mux7|mux_llc:auto_generated|_~17             ; out0             ;
; |All_traffic|DECL7S:inst1|lpm_mux:Mux7|mux_llc:auto_generated|w_result60w~0    ; |All_traffic|DECL7S:inst1|lpm_mux:Mux7|mux_llc:auto_generated|w_result60w~0    ; out0             ;
; |All_traffic|DECL7S:inst1|lpm_mux:Mux7|mux_llc:auto_generated|_~18             ; |All_traffic|DECL7S:inst1|lpm_mux:Mux7|mux_llc:auto_generated|_~18             ; out0             ;
; |All_traffic|DECL7S:inst1|lpm_mux:Mux7|mux_llc:auto_generated|w_result60w~1    ; |All_traffic|DECL7S:inst1|lpm_mux:Mux7|mux_llc:auto_generated|w_result60w~1    ; out0             ;
; |All_traffic|DECL7S:inst1|lpm_mux:Mux7|mux_llc:auto_generated|w_result60w      ; |All_traffic|DECL7S:inst1|lpm_mux:Mux7|mux_llc:auto_generated|w_result60w      ; out0             ;
; |All_traffic|DECL7S:inst1|lpm_mux:Mux7|mux_llc:auto_generated|_~20             ; |All_traffic|DECL7S:inst1|lpm_mux:Mux7|mux_llc:auto_generated|_~20             ; out0             ;
; |All_traffic|DECL7S:inst1|lpm_mux:Mux7|mux_llc:auto_generated|_~21             ; |All_traffic|DECL7S:inst1|lpm_mux:Mux7|mux_llc:auto_generated|_~21             ; out0             ;
; |All_traffic|DECL7S:inst1|lpm_mux:Mux7|mux_llc:auto_generated|w_result61w~0    ; |All_traffic|DECL7S:inst1|lpm_mux:Mux7|mux_llc:auto_generated|w_result61w~0    ; out0             ;
; |All_traffic|DECL7S:inst1|lpm_mux:Mux7|mux_llc:auto_generated|_~22             ; |All_traffic|DECL7S:inst1|lpm_mux:Mux7|mux_llc:auto_generated|_~22             ; out0             ;
; |All_traffic|DECL7S:inst1|lpm_mux:Mux7|mux_llc:auto_generated|w_result61w~1    ; |All_traffic|DECL7S:inst1|lpm_mux:Mux7|mux_llc:auto_generated|w_result61w~1    ; out0             ;
; |All_traffic|DECL7S:inst1|lpm_mux:Mux7|mux_llc:auto_generated|w_result61w      ; |All_traffic|DECL7S:inst1|lpm_mux:Mux7|mux_llc:auto_generated|w_result61w      ; out0             ;
; |All_traffic|DECL7S:inst1|lpm_mux:Mux7|mux_llc:auto_generated|_~24             ; |All_traffic|DECL7S:inst1|lpm_mux:Mux7|mux_llc:auto_generated|_~24             ; out0             ;
; |All_traffic|DECL7S:inst1|lpm_mux:Mux7|mux_llc:auto_generated|_~25             ; |All_traffic|DECL7S:inst1|lpm_mux:Mux7|mux_llc:auto_generated|_~25             ; out0             ;
; |All_traffic|DECL7S:inst1|lpm_mux:Mux7|mux_llc:auto_generated|w_result62w~0    ; |All_traffic|DECL7S:inst1|lpm_mux:Mux7|mux_llc:auto_generated|w_result62w~0    ; out0             ;
; |All_traffic|DECL7S:inst1|lpm_mux:Mux7|mux_llc:auto_generated|_~26             ; |All_traffic|DECL7S:inst1|lpm_mux:Mux7|mux_llc:auto_generated|_~26             ; out0             ;
; |All_traffic|DECL7S:inst1|lpm_mux:Mux7|mux_llc:auto_generated|_~27             ; |All_traffic|DECL7S:inst1|lpm_mux:Mux7|mux_llc:auto_generated|_~27             ; out0             ;
; |All_traffic|DECL7S:inst1|lpm_mux:Mux7|mux_llc:auto_generated|w_result62w~1    ; |All_traffic|DECL7S:inst1|lpm_mux:Mux7|mux_llc:auto_generated|w_result62w~1    ; out0             ;
; |All_traffic|DECL7S:inst1|lpm_mux:Mux7|mux_llc:auto_generated|w_result62w      ; |All_traffic|DECL7S:inst1|lpm_mux:Mux7|mux_llc:auto_generated|w_result62w      ; out0             ;
; |All_traffic|DECL7S:inst1|lpm_mux:Mux7|mux_llc:auto_generated|_~29             ; |All_traffic|DECL7S:inst1|lpm_mux:Mux7|mux_llc:auto_generated|_~29             ; out0             ;
; |All_traffic|DECL7S:inst1|lpm_mux:Mux7|mux_llc:auto_generated|_~30             ; |All_traffic|DECL7S:inst1|lpm_mux:Mux7|mux_llc:auto_generated|_~30             ; out0             ;
; |All_traffic|DECL7S:inst1|lpm_mux:Mux7|mux_llc:auto_generated|_~31             ; |All_traffic|DECL7S:inst1|lpm_mux:Mux7|mux_llc:auto_generated|_~31             ; out0             ;
; |All_traffic|DECL7S:inst1|lpm_mux:Mux7|mux_llc:auto_generated|_~32             ; |All_traffic|DECL7S:inst1|lpm_mux:Mux7|mux_llc:auto_generated|_~32             ; out0             ;
; |All_traffic|DECL7S:inst1|lpm_mux:Mux7|mux_llc:auto_generated|_~33             ; |All_traffic|DECL7S:inst1|lpm_mux:Mux7|mux_llc:auto_generated|_