# vl2mv -o propvesttmp0.mv propvestmain.v # version: 0.2 # date: 05:12:57 10/03/00 (GMT) .model main # I/O ports .outputs AckOut5 .outputs ENDST3 .outputs ENDST2 .outputs ENDST1 .outputs AckOut1 .outputs AckOut2 .outputs AckOut3 .outputs AckOut4 # assign TTRequestIn1 = $NDset ( 0,1 ) .names TTRequestIn1 0 1 # RequestIn1 = TTRequestIn1 .names TTRequestIn1 RequestIn1$raw_n2 - =TTRequestIn1 # non-blocking assignments for initial # RequestIn1 = TTRequestIn1 .names TTRequestIn1 RequestIn1$raw_n3 - =TTRequestIn1 # assign TTRequestIn2 = $NDset ( 0,1 ) .names TTRequestIn2 0 1 # RequestIn2 = TTRequestIn2 .names TTRequestIn2 RequestIn2$raw_n6 - =TTRequestIn2 # non-blocking assignments for initial # RequestIn2 = TTRequestIn2 .names TTRequestIn2 RequestIn2$raw_n7 - =TTRequestIn2 # assign TTRequestIn3 = $NDset ( 0,1 ) .names TTRequestIn3 0 1 # RequestIn3 = TTRequestIn3 .names TTRequestIn3 RequestIn3$raw_na - =TTRequestIn3 # non-blocking assignments for initial # RequestIn3 = TTRequestIn3 .names TTRequestIn3 RequestIn3$raw_nb - =TTRequestIn3 # assign TTRequestIn4 = $NDset ( 0,1 ) .names TTRequestIn4 0 1 # RequestIn4 = TTRequestIn4 .names TTRequestIn4 RequestIn4$raw_ne - =TTRequestIn4 # non-blocking assignments for initial # RequestIn4 = TTRequestIn4 .names TTRequestIn4 RequestIn4$raw_nf - =TTRequestIn4 # assign TTRequestIn5 = $NDset ( 0,1 ) .names TTRequestIn5 0 1 # RequestIn5 = TTRequestIn5 .names TTRequestIn5 RequestIn5$raw_n12 - =TTRequestIn5 # non-blocking assignments for initial # RequestIn5 = TTRequestIn5 .names TTRequestIn5 RequestIn5$raw_n13 - =TTRequestIn5 .subckt Arbiter5 _n14 RequestIn1=RequestIn1 RequestIn2=RequestIn2 RequestIn3=RequestIn3 RequestIn4=RequestIn4 RequestIn5=RequestIn5 AckOut1=AckOut1 AckOut2=AckOut2 AckOut3=AckOut3 AckOut4=AckOut4 AckOut5=AckOut5 # assign RequestIn = (RequestIn1 ) .names RequestIn1 RequestIn$raw_n15 - =RequestIn1 # assign AckOut = (AckOut1 ) .names AckOut1 AckOut$raw_n16 - =AckOut1 # assign Lostcycle = ((((((RequestIn1 ) || (RequestIn2 )) || (RequestIn3 )) || (RequestIn4 )) || (RequestIn5 )) && !(((((AckOut1 ) || (AckOut2 )) || (AckOut3 )) || (AckOut4 )) || (AckOut5 ))) # (RequestIn1 ) || (RequestIn2 ) .names RequestIn1 RequestIn2 _n18 .def 1 0 0 0 # ((RequestIn1 ) || (RequestIn2 )) || (RequestIn3 ) .names _n18 RequestIn3 _n19 .def 1 0 0 0 # (((RequestIn1 ) || (RequestIn2 )) || (RequestIn3 )) || (RequestIn4 ) .names _n19 RequestIn4 _n1a .def 1 0 0 0 # ((((RequestIn1 ) || (RequestIn2 )) || (RequestIn3 )) || (RequestIn4 )) || (RequestIn5 ) .names _n1a RequestIn5 _n1b .def 1 0 0 0 # (AckOut1 ) || (AckOut2 ) .names AckOut1 AckOut2 _n1c .def 1 0 0 0 # ((AckOut1 ) || (AckOut2 )) || (AckOut3 ) .names _n1c AckOut3 _n1d .def 1 0 0 0 # (((AckOut1 ) || (AckOut2 )) || (AckOut3 )) || (AckOut4 ) .names _n1d AckOut4 _n1e .def 1 0 0 0 # ((((AckOut1 ) || (AckOut2 )) || (AckOut3 )) || (AckOut4 )) || (AckOut5 ) .names _n1e AckOut5 _n1f .def 1 0 0 0 .names _n1f _n20 0 1 1 0 # (((((RequestIn1 ) || (RequestIn2 )) || (RequestIn3 )) || (RequestIn4 )) || (RequestIn5 )) && !(((((AckOut1 ) || (AckOut2 )) || (AckOut3 )) || (AckOut4 )) || (AckOut5 )) .names _n1b _n20 _n21 .def 0 1 1 1 .names _n21 Lostcycle$raw_n17 - =_n21 .subckt propvestobs1mod _n22 RequestIn=RequestIn AckOut=AckOut Lostcycle=Lostcycle ENDST=ENDST1 .subckt propvestobs2mod _n23 RequestIn=RequestIn AckOut=AckOut Lostcycle=Lostcycle ENDST=ENDST2 .subckt propvestobs3mod _n24 RequestIn=RequestIn AckOut=AckOut Lostcycle=Lostcycle ENDST=ENDST3 # conflict arbitrators .names AckOut$raw_n16 AckOut 0 0 1 1 .names Lostcycle$raw_n17 Lostcycle 0 0 1 1 .names _n25 .def 0 1 .names _n25 RequestIn5$raw_n13 _n26 .def 0 1 0 0 1 1 1 .names _n27 .def 0 1 .names _n27 RequestIn4$raw_nf _n28 .def 0 1 0 0 1 1 1 .names _n29 .def 0 1 .names _n29 RequestIn3$raw_nb _n2a .def 0 1 0 0 1 1 1 .names _n2b .def 0 1 .names _n2b RequestIn2$raw_n7 _n2c .def 0 1 0 0 1 1 1 .names _n2d .def 0 1 .names _n2d RequestIn1$raw_n3 _n2e .def 0 1 0 0 1 1 1 .names RequestIn$raw_n15 RequestIn 0 0 1 1 # non-blocking assignments # latches .r RequestIn5$raw_n12 RequestIn5 0 0 1 1 .latch _n26 RequestIn5 .r RequestIn4$raw_ne RequestIn4 0 0 1 1 .latch _n28 RequestIn4 .r RequestIn3$raw_na RequestIn3 0 0 1 1 .latch _n2a RequestIn3 .r RequestIn2$raw_n6 RequestIn2 0 0 1 1 .latch _n2c RequestIn2 .r RequestIn1$raw_n2 RequestIn1 0 0 1 1 .latch _n2e RequestIn1 # quasi-continuous assignment .end .model Arbiter5 .inputs RequestIn1 RequestIn2 RequestIn3 RequestIn4 RequestIn5 .outputs AckOut1 AckOut2 AckOut3 AckOut4 AckOut5 .latch __Arbiter5_38 PAUSE_REG_86_ .reset ->PAUSE_REG_86_ 0 .latch __Arbiter5_36 PAUSE_REG_72_ .reset ->PAUSE_REG_72_ 0 .latch __Arbiter5_41 PAUSE_REG_105_ .reset ->PAUSE_REG_105_ 0 .latch __Arbiter5_37 PAUSE_REG_75_ .reset ->PAUSE_REG_75_ 0 .latch __Arbiter5_35 PAUSE_REG_67_ .reset ->PAUSE_REG_67_ 0 .latch Arbiter5_175 PAUSE_REG_53_ .reset ->PAUSE_REG_53_ 0 .latch __Arbiter5_34 PAUSE_REG_56_ .reset ->PAUSE_REG_56_ 0 .latch __Arbiter5_33 PAUSE_REG_48_ .reset ->PAUSE_REG_48_ 0 .latch __Arbiter5_31 PAUSE_REG_34_ .reset ->PAUSE_REG_34_ 0 .latch __Arbiter5_30 BOOT_REGISTER_ .reset ->BOOT_REGISTER_ 1 .latch __Arbiter5_32 PAUSE_REG_37_ .reset ->PAUSE_REG_37_ 0 .latch __Arbiter5_39 PAUSE_REG_91_ .reset ->PAUSE_REG_91_ 0 .latch __Arbiter5_42 PAUSE_REG_110_ .reset ->PAUSE_REG_110_ 0 .latch __Arbiter5_40 PAUSE_REG_94_ .reset ->PAUSE_REG_94_ 0 .latch Arbiter5_174 PAUSE_REG_29_ .reset ->PAUSE_REG_29_ 0 .latch __Arbiter5_43 PAUSE_REG_113_ .reset ->PAUSE_REG_113_ 0 .table RequestIn3 ->TRACE_S2_ .default 0 1 1 .table RequestIn2 ->TRACE_S1_ .default 0 1 1 .table RequestIn5 ->TRACE_S4_ .default 0 1 1 .table PAUSE_REG_91_ BOOT_REGISTER_ ->__Arbiter5_6 .default 0 0 0 1 .table PAUSE_REG_72_ BOOT_REGISTER_ ->__Arbiter5_7 .default 0 1 0 1 .table PAUSE_REG_53_ BOOT_REGISTER_ ->__Arbiter5_8 .default 0 1 0 1 .table __Arbiter5_6 __Arbiter5_7 __Arbiter5_8 ->Arbiter5_16 .default 1 0 0 0 0 .table Arbiter5_16 PAUSE_REG_110_ ->Arbiter5_17 .default 0 1 1 1 .table Arbiter5_17 BOOT_REGISTER_ ->Arbiter5_18 .default 1 0 0 0 .table Arbiter5_18 ->TRACE_S15_ .default 0 1 1 .table PAUSE_REG_56_ PAUSE_REG_53_ ->Arbiter5_19 .default 1 0 0 0 .table Arbiter5_19 BOOT_REGISTER_ ->Arbiter5_20 .default 0 1 0 1 .table PAUSE_REG_37_ PAUSE_REG_34_ ->Arbiter5_21 .default 1 0 0 0 .table Arbiter5_21 BOOT_REGISTER_ ->Arbiter5_22 .default 0 1 0 1 .table Arbiter5_22 Arbiter5_18 ->Arbiter5_23 .default 0 1 0 1 .table Arbiter5_23 PAUSE_REG_34_ ->Arbiter5_24 .default 0 1 1 1 .table Arbiter5_24 Arbiter5_20 ->Arbiter5_25 .default 0 0 1 1 .table Arbiter5_25 PAUSE_REG_53_ ->Arbiter5_26 .default 0 1 1 1 .table PAUSE_REG_75_ PAUSE_REG_72_ ->Arbiter5_27 .default 1 0 0 0 .table Arbiter5_27 BOOT_REGISTER_ ->Arbiter5_28 .default 0 1 0 1 .table Arbiter5_28 Arbiter5_26 ->Arbiter5_29 .default 0 1 0 1 .table Arbiter5_29 PAUSE_REG_72_ ->Arbiter5_30 .default 0 1 1 1 .table PAUSE_REG_94_ PAUSE_REG_91_ ->Arbiter5_31 .default 1 0 0 0 .table Arbiter5_31 BOOT_REGISTER_ ->Arbiter5_32 .default 0 1 0 1 .table Arbiter5_32 Arbiter5_30 ->Arbiter5_33 .default 0 1 0 1 .table Arbiter5_33 PAUSE_REG_91_ ->Arbiter5_34 .default 0 1 1 1 .table Arbiter5_34 ->TRACE_S19_ .default 0 1 1 .table Arbiter5_30 ->TRACE_S18_ .default 0 1 1 .table Arbiter5_26 ->TRACE_S17_ .default 0 1 1 .table Arbiter5_24 ->TRACE_S16_ .default 0 1 1 .table RequestIn4 ->TRACE_S3_ .default 0 1 1 .table PAUSE_REG_105_ BOOT_REGISTER_ ->Arbiter5_35 .default 0 1 0 1 .table PAUSE_REG_86_ BOOT_REGISTER_ ->Arbiter5_36 .default 0 1 0 1 .table PAUSE_REG_67_ BOOT_REGISTER_ ->Arbiter5_37 .default 0 1 0 1 .table PAUSE_REG_48_ BOOT_REGISTER_ ->Arbiter5_38 .default 0 1 0 1 .table RequestIn5 RequestIn4 RequestIn3 RequestIn2 ->__Arbiter5_9 .default 0 0 0 0 0 1 .table PAUSE_REG_110_ PAUSE_REG_91_ PAUSE_REG_72_ PAUSE_REG_53_ ->__Arbiter5_10 .default 0 1 0 0 0 1 .table RequestIn5 PAUSE_REG_91_ PAUSE_REG_72_ PAUSE_REG_53_ ->__Arbiter5_11 .default 0 0 1 0 0 1 .table RequestIn5 RequestIn4 PAUSE_REG_72_ PAUSE_REG_53_ ->__Arbiter5_12 .default 0 0 0 1 0 1 .table RequestIn5 RequestIn4 RequestIn3 PAUSE_REG_53_ ->__Arbiter5_13 .default 0 0 0 0 1 1 .table __Arbiter5_9 __Arbiter5_10 __Arbiter5_11 __Arbiter5_12 __Arbiter5_13 BOOT_REGISTER_ ->Arbiter5_39 .default 1 0 0 0 0 0 0 0 .table Arbiter5_39 RequestIn1 ->Arbiter5_40 .default 0 1 0 1 .table Arbiter5_40 Arbiter5_24 ->Arbiter5_41 .default 1 0 0 0 .table Arbiter5_38 Arbiter5_41 ->Arbiter5_42 .default 0 1 1 1 .table Arbiter5_41 BOOT_REGISTER_ ->Arbiter5_43 .default 0 1 1 1 .table Arbiter5_43 Arbiter5_42 ->Arbiter5_44 .default 1 0 0 0 .table RequestIn2 Arbiter5_44 ->Arbiter5_45 .default 0 0 1 1 .table Arbiter5_45 Arbiter5_26 ->Arbiter5_46 .default 1 0 0 0 .table Arbiter5_37 Arbiter5_46 ->Arbiter5_47 .default 0 1 1 1 .table Arbiter5_46 BOOT_REGISTER_ ->Arbiter5_48 .default 0 1 1 1 .table Arbiter5_48 Arbiter5_47 ->Arbiter5_49 .default 1 0 0 0 .table RequestIn3 Arbiter5_49 ->Arbiter5_50 .default 0 0 1 1 .table Arbiter5_50 Arbiter5_30 ->Arbiter5_51 .default 1 0 0 0 .table Arbiter5_36 Arbiter5_51 ->Arbiter5_52 .default 0 1 1 1 .table Arbiter5_51 BOOT_REGISTER_ ->Arbiter5_53 .default 0 1 1 1 .table Arbiter5_53 Arbiter5_52 ->Arbiter5_54 .default 1 0 0 0 .table RequestIn4 Arbiter5_54 ->Arbiter5_55 .default 0 0 1 1 .table Arbiter5_55 Arbiter5_34 ->Arbiter5_56 .default 1 0 0 0 .table Arbiter5_35 Arbiter5_56 ->Arbiter5_57 .default 0 1 1 1 .table Arbiter5_56 BOOT_REGISTER_ ->Arbiter5_58 .default 0 1 1 1 .table Arbiter5_58 Arbiter5_57 ->Arbiter5_59 .default 1 0 0 0 .table RequestIn5 Arbiter5_59 ->Arbiter5_60 .default 0 0 1 1 .table Arbiter5_60 ->TRACE_S10_ .default 0 1 1 .table RequestIn5 Arbiter5_59 ->Arbiter5_61 .default 0 1 1 1 .table Arbiter5_61 ->TRACE_S9_ .default 0 1 1 .table Arbiter5_61 ->Arbiter5_62 .default 0 1 1 .table Arbiter5_62 ->AckOut5 .default 0 1 1 .table Arbiter5_55 ->TRACE_S14_ .default 0 1 1 .table RequestIn4 Arbiter5_54 ->Arbiter5_63 .default 0 1 1 1 .table Arbiter5_63 ->TRACE_S8_ .default 0 1 1 .table Arbiter5_63 ->Arbiter5_64 .default 0 1 1 .table Arbiter5_64 ->AckOut4 .default 0 1 1 .table Arbiter5_50 ->TRACE_S13_ .default 0 1 1 .table RequestIn3 Arbiter5_49 ->Arbiter5_65 .default 0 1 1 1 .table Arbiter5_65 ->TRACE_S7_ .default 0 1 1 .table Arbiter5_65 ->Arbiter5_66 .default 0 1 1 .table Arbiter5_66 ->AckOut3 .default 0 1 1 .table Arbiter5_45 ->TRACE_S12_ .default 0 1 1 .table RequestIn2 Arbiter5_44 ->Arbiter5_67 .default 0 1 1 1 .table Arbiter5_67 ->TRACE_S6_ .default 0 1 1 .table Arbiter5_67 ->Arbiter5_68 .default 0 1 1 .table Arbiter5_68 ->AckOut2 .default 0 1 1 .table Arbiter5_40 ->TRACE_S11_ .default 0 1 1 .table Arbiter5_39 RequestIn1 ->Arbiter5_69 .default 0 1 1 1 .table Arbiter5_69 ->TRACE_S5_ .default 0 1 1 .table Arbiter5_69 ->Arbiter5_70 .default 0 1 1 .table Arbiter5_70 ->AckOut1 .default 0 1 1 .table RequestIn1 ->TRACE_S0_ .default 0 1 1 .table ->ROOT_RETURN_ .default 1 0 .table PAUSE_REG_29_ Arbiter5_21 ->Arbiter5_71 .default 1 0 0 0 .table PAUSE_REG_48_ Arbiter5_19 ->Arbiter5_72 .default 1 0 0 0 .table PAUSE_REG_67_ Arbiter5_27 ->Arbiter5_73 .default 1 0 0 0 .table PAUSE_REG_86_ Arbiter5_31 ->Arbiter5_74 .default 1 0 0 0 .table PAUSE_REG_113_ PAUSE_REG_110_ ->Arbiter5_75 .default 1 0 0 0 .table PAUSE_REG_105_ Arbiter5_75 ->Arbiter5_76 .default 1 0 0 0 .table Arbiter5_72 Arbiter5_73 Arbiter5_74 Arbiter5_76 Arbiter5_71 ->Arbiter5_77 .default 1 0 0 0 0 0 0 .table Arbiter5_77 BOOT_REGISTER_ ->Arbiter5_78 .default 1 0 0 0 .table PAUSE_REG_29_ BOOT_REGISTER_ ->Arbiter5_79 .default 0 1 0 1 .table Arbiter5_60 Arbiter5_18 ->Arbiter5_80 .default 1 0 0 0 .table Arbiter5_79 Arbiter5_80 ->Arbiter5_81 .default 0 1 0 1 .table Arbiter5_81 PAUSE_REG_29_ ->Arbiter5_82 .default 0 1 1 1 .table Arbiter5_80 BOOT_REGISTER_ ->Arbiter5_83 .default 0 0 1 1 .table Arbiter5_83 Arbiter5_82 Arbiter5_69 Arbiter5_40 ->Arbiter5_84 .default 1 0 0 0 0 0 .table Arbiter5_22 Arbiter5_18 ->Arbiter5_85 .default 0 1 1 1 .table Arbiter5_18 BOOT_REGISTER_ ->Arbiter5_86 .default 0 1 1 1 .table Arbiter5_86 Arbiter5_85 ->Arbiter5_87 .default 1 0 0 0 .table Arbiter5_23 PAUSE_REG_37_ ->Arbiter5_88 .default 0 1 1 1 .table Arbiter5_18 BOOT_REGISTER_ ->Arbiter5_89 .default 0 0 1 1 .table Arbiter5_89 Arbiter5_88 Arbiter5_24 ->Arbiter5_90 .default 1 0 0 0 0 .table Arbiter5_87 Arbiter5_90 Arbiter5_84 ->Arbiter5_91 .default 1 0 0 0 0 .table Arbiter5_71 PAUSE_REG_29_ ->Arbiter5_92 .default 0 1 0 1 .table Arbiter5_92 Arbiter5_84 ->Arbiter5_93 .default 1 0 0 0 .table Arbiter5_71 Arbiter5_21 ->Arbiter5_94 .default 0 1 0 1 .table Arbiter5_94 Arbiter5_87 Arbiter5_90 ->Arbiter5_95 .default 1 0 0 0 0 .table Arbiter5_95 Arbiter5_93 Arbiter5_91 ->Arbiter5_96 .default 0 1 1 1 1 .table Arbiter5_38 Arbiter5_41 ->Arbiter5_97 .default 0 1 0 1 .table Arbiter5_97 PAUSE_REG_48_ ->Arbiter5_98 .default 0 1 1 1 .table Arbiter5_41 BOOT_REGISTER_ ->Arbiter5_99 .default 0 0 1 1 .table Arbiter5_99 Arbiter5_98 Arbiter5_67 Arbiter5_45 ->Arbiter5_100 .default 1 0 0 0 0 0 .table Arbiter5_24 Arbiter5_20 ->Arbiter5_101 .default 0 1 1 1 .table Arbiter5_24 BOOT_REGISTER_ ->Arbiter5_102 .default 0 1 1 1 .table Arbiter5_102 Arbiter5_101 ->Arbiter5_103 .default 1 0 0 0 .table Arbiter5_24 BOOT_REGISTER_ ->Arbiter5_104 .default 0 0 1 1 .table Arbiter5_25 PAUSE_REG_56_ ->Arbiter5_105 .default 0 1 1 1 .table Arbiter5_105 Arbiter5_104 Arbiter5_26 ->Arbiter5_106 .default 1 0 0 0 0 .table Arbiter5_106 Arbiter5_103 Arbiter5_100 ->Arbiter5_107 .default 1 0 0 0 0 .table Arbiter5_72 PAUSE_REG_48_ ->Arbiter5_108 .default 0 1 0 1 .table Arbiter5_108 Arbiter5_100 ->Arbiter5_109 .default 1 0 0 0 .table Arbiter5_72 Arbiter5_19 ->Arbiter5_110 .default 0 1 0 1 .table Arbiter5_110 Arbiter5_106 Arbiter5_103 ->Arbiter5_111 .default 1 0 0 0 0 .table Arbiter5_111 Arbiter5_109 Arbiter5_107 ->Arbiter5_112 .default 0 1 1 1 1 .table Arbiter5_37 Arbiter5_46 ->Arbiter5_113 .default 0 1 0 1 .table Arbiter5_113 PAUSE_REG_67_ ->Arbiter5_114 .default 0 1 1 1 .table Arbiter5_46 BOOT_REGISTER_ ->Arbiter5_115 .default 0 0 1 1 .table Arbiter5_115 Arbiter5_114 Arbiter5_65 Arbiter5_50 ->Arbiter5_116 .default 1 0 0 0 0 0 .table Arbiter5_28 Arbiter5_26 ->Arbiter5_117 .default 0 1 1 1 .table Arbiter5_26 BOOT_REGISTER_ ->Arbiter5_118 .default 0 1 1 1 .table Arbiter5_118 Arbiter5_117 ->Arbiter5_119 .default 1 0 0 0 .table Arbiter5_29 PAUSE_REG_75_ ->Arbiter5_120 .default 0 1 1 1 .table Arbiter5_26 BOOT_REGISTER_ ->Arbiter5_121 .default 0 0 1 1 .table Arbiter5_121 Arbiter5_120 Arbiter5_30 ->Arbiter5_122 .default 1 0 0 0 0 .table Arbiter5_119 Arbiter5_122 Arbiter5_116 ->Arbiter5_123 .default 1 0 0 0 0 .table Arbiter5_73 PAUSE_REG_67_ ->Arbiter5_124 .default 0 1 0 1 .table Arbiter5_124 Arbiter5_116 ->Arbiter5_125 .default 1 0 0 0 .table Arbiter5_73 Arbiter5_27 ->Arbiter5_126 .default 0 1 0 1 .table Arbiter5_126 Arbiter5_119 Arbiter5_122 ->Arbiter5_127 .default 1 0 0 0 0 .table Arbiter5_127 Arbiter5_125 Arbiter5_123 ->Arbiter5_128 .default 0 1 1 1 1 .table Arbiter5_36 Arbiter5_51 ->Arbiter5_129 .default 0 1 0 1 .table Arbiter5_129 PAUSE_REG_86_ ->Arbiter5_130 .default 0 1 1 1 .table Arbiter5_51 BOOT_REGISTER_ ->Arbiter5_131 .default 0 0 1 1 .table Arbiter5_131 Arbiter5_130 Arbiter5_63 Arbiter5_55 ->Arbiter5_132 .default 1 0 0 0 0 0 .table Arbiter5_32 Arbiter5_30 ->Arbiter5_133 .default 0 1 1 1 .table Arbiter5_30 BOOT_REGISTER_ ->Arbiter5_134 .default 0 1 1 1 .table Arbiter5_134 Arbiter5_133 ->Arbiter5_135 .default 1 0 0 0 .table Arbiter5_33 PAUSE_REG_94_ ->Arbiter5_136 .default 0 1 1 1 .table Arbiter5_30 BOOT_REGISTER_ ->Arbiter5_137 .default 0 0 1 1 .table Arbiter5_137 Arbiter5_136 Arbiter5_34 ->Arbiter5_138 .default 1 0 0 0 0 .table Arbiter5_135 Arbiter5_138 Arbiter5_132 ->Arbiter5_139 .default 1 0 0 0 0 .table Arbiter5_74 PAUSE_REG_86_ ->Arbiter5_140 .default 0 1 0 1 .table Arbiter5_140 Arbiter5_132 ->Arbiter5_141 .default 1 0 0 0 .table Arbiter5_74 Arbiter5_31 ->Arbiter5_142 .default 0 1 0 1 .table Arbiter5_142 Arbiter5_135 Arbiter5_138 ->Arbiter5_143 .default 1 0 0 0 0 .table Arbiter5_143 Arbiter5_141 Arbiter5_139 ->Arbiter5_144 .default 0 1 1 1 1 .table Arbiter5_35 Arbiter5_56 ->Arbiter5_145 .default 0 1 0 1 .table Arbiter5_145 PAUSE_REG_105_ ->Arbiter5_146 .default 0 1 1 1 .table Arbiter5_56 BOOT_REGISTER_ ->Arbiter5_147 .default 0 0 1 1 .table Arbiter5_147 Arbiter5_146 Arbiter5_61 Arbiter5_60 ->Arbiter5_148 .default 1 0 0 0 0 0 .table Arbiter5_75 BOOT_REGISTER_ ->Arbiter5_149 .default 0 1 0 1 .table Arbiter5_149 Arbiter5_34 ->Arbiter5_150 .default 0 1 1 1 .table Arbiter5_34 BOOT_REGISTER_ ->Arbiter5_151 .default 0 1 1 1 .table Arbiter5_151 Arbiter5_150 ->Arbiter5_152 .default 1 0 0 0 .table Arbiter5_16 PAUSE_REG_113_ ->Arbiter5_153 .default 0 1 1 1 .table Arbiter5_34 BOOT_REGISTER_ ->Arbiter5_154 .default 0 0 1 1 .table Arbiter5_154 Arbiter5_153 Arbiter5_17 ->Arbiter5_155 .default 1 0 0 0 0 .table Arbiter5_152 Arbiter5_155 Arbiter5_148 ->Arbiter5_156 .default 1 0 0 0 0 .table Arbiter5_76 PAUSE_REG_105_ ->Arbiter5_157 .default 0 1 0 1 .table Arbiter5_157 Arbiter5_148 ->Arbiter5_158 .default 1 0 0 0 .table Arbiter5_76 Arbiter5_75 ->Arbiter5_159 .default 0 1 0 1 .table Arbiter5_159 Arbiter5_152 Arbiter5_155 ->Arbiter5_160 .default 1 0 0 0 0 .table Arbiter5_160 Arbiter5_158 Arbiter5_156 ->Arbiter5_161 .default 0 1 1 1 1 .table Arbiter5_112 Arbiter5_128 Arbiter5_144 Arbiter5_161 Arbiter5_96 ->Arbiter5_162 .default 1 0 0 0 0 0 0 .table Arbiter5_77 Arbiter5_71 ->Arbiter5_163 .default 0 1 0 1 .table Arbiter5_163 Arbiter5_96 ->Arbiter5_164 .default 1 0 0 0 .table Arbiter5_77 Arbiter5_72 ->Arbiter5_165 .default 0 1 0 1 .table Arbiter5_165 Arbiter5_112 ->Arbiter5_166 .default 1 0 0 0 .table Arbiter5_77 Arbiter5_73 ->Arbiter5_167 .default 0 1 0 1 .table Arbiter5_167 Arbiter5_128 ->Arbiter5_168 .default 1 0 0 0 .table Arbiter5_77 Arbiter5_74 ->Arbiter5_169 .default 0 1 0 1 .table Arbiter5_169 Arbiter5_144 ->Arbiter5_170 .default 1 0 0 0 .table Arbiter5_77 Arbiter5_76 ->Arbiter5_171 .default 0 1 0 1 .table Arbiter5_171 Arbiter5_161 ->Arbiter5_172 .default 1 0 0 0 .table Arbiter5_78 Arbiter5_166 Arbiter5_168 Arbiter5_170 Arbiter5_172 Arbiter5_164 Arbiter5_162 ->Arbiter5_173 .default 0 1 1 1 1 1 1 1 1 .table Arbiter5_173 ->ROOT_HALTING_ .default 0 1 1 .table Arbiter5_155 ->__Arbiter5_14 .default 0 1 1 .table Arbiter5_152 ->__Arbiter5_15 .default 0 1 1 .table Arbiter5_148 ->__Arbiter5_16 .default 0 1 1 .table Arbiter5_138 ->__Arbiter5_17 .default 0 1 1 .table Arbiter5_135 ->__Arbiter5_18 .default 0 1 1 .table Arbiter5_132 ->__Arbiter5_19 .default 0 1 1 .table Arbiter5_122 ->__Arbiter5_20 .default 0 1 1 .table Arbiter5_119 ->__Arbiter5_21 .default 0 1 1 .table Arbiter5_116 ->__Arbiter5_22 .default 0 1 1 .table Arbiter5_106 ->__Arbiter5_23 .default 0 1 1 .table Arbiter5_103 ->__Arbiter5_24 .default 0 1 1 .table Arbiter5_100 ->__Arbiter5_25 .default 0 1 1 .table Arbiter5_90 ->__Arbiter5_26 .default 0 1 1 .table Arbiter5_87 ->__Arbiter5_27 .default 0 1 1 .table Arbiter5_84 ->__Arbiter5_28 .default 0 1 1 .table ->__Arbiter5_29 .default 1 0 .table __Arbiter5_29 ->__Arbiter5_30 .default 0 1 1 .table __Arbiter5_28 ->Arbiter5_174 .default 0 1 1 .table __Arbiter5_27 ->__Arbiter5_31 .default 0 1 1 .table __Arbiter5_26 ->__Arbiter5_32 .default 0 1 1 .table __Arbiter5_25 ->__Arbiter5_33 .default 0 1 1 .table __Arbiter5_24 ->Arbiter5_175 .default 0 1 1 .table __Arbiter5_23 ->__Arbiter5_34 .default 0 1 1 .table __Arbiter5_22 ->__Arbiter5_35 .default 0 1 1 .table __Arbiter5_21 ->__Arbiter5_36 .default 0 1 1 .table __Arbiter5_20 ->__Arbiter5_37 .default 0 1 1 .table __Arbiter5_19 ->__Arbiter5_38 .default 0 1 1 .table __Arbiter5_18 ->__Arbiter5_39 .default 0 1 1 .table __Arbiter5_17 ->__Arbiter5_40 .default 0 1 1 .table __Arbiter5_16 ->__Arbiter5_41 .default 0 1 1 .table __Arbiter5_15 ->__Arbiter5_42 .default 0 1 1 .table __Arbiter5_14 ->__Arbiter5_43 .default 0 1 1 .end .model propvestobs1mod .inputs RequestIn AckOut Lostcycle .outputs ENDST .mv ODCST,DCST 3 .reset ODCST 1 .latch DCST ODCST .table ODCST RequestIn AckOut Lostcycle -> DCST 0 - - - 1 1 0 0 - 1 1 0 1 - 2 1 1 - - 1 2 - - - 2 .table DCST -> ENDST .default 0 2 1 .end .model propvestobs2mod .inputs RequestIn AckOut Lostcycle .outputs ENDST .mv ODCST,DCST 3 .reset ODCST 1 .latch DCST ODCST .table ODCST RequestIn AckOut Lostcycle -> DCST 0 - - - 1 1 - - 0 1 1 - - 1 2 2 - - - 2 .table DCST -> ENDST .default 0 2 1 .end .model propvestobs3mod .inputs RequestIn AckOut Lostcycle .outputs ENDST .mv ODCST,DCST 7 .reset ODCST 1 .latch DCST ODCST .table ODCST RequestIn AckOut Lostcycle -> DCST 0 - - - 1 1 0 - - 1 1 1 0 - 2 1 1 1 - 1 2 0 - - 1 2 1 0 - 3 2 1 1 - 1 3 0 - - 1 3 1 0 - 4 3 1 1 - 1 4 0 - - 1 4 1 0 - 5 4 1 1 - 1 5 0 - - 1 5 1 0 - 6 5 1 1 - 1 6 - - - 6 .table DCST -> ENDST .default 0 6 1 .end