[
(DefTyp ("testin", 1) "B_0" (TypAtom "B_0")),
(DefVal ("testin", 4) "sreg_1" (VType (TypUni (TypProd [(TypAtom "B_0"), (TypAtom "B_0"), (TypPwr (TypAtom "B_0") (VInt 2))]) (TypPwr (TypAtom "B_0") (VInt 2))) (VAtom "sreg_1"))),
(DefVal ("testin", 5) "sbdff_2" (VType (TypUni (TypPwr (TypAtom "B_0") (VInt 2)) (TypAtom "B_0")) (VAtom "sbdff_2"))),
(
DefVal
("testin", 6)
"scount4_3"
(
VType
(
TypFun
TypBool
(
TypFun
TypBool
(
TypFun
TypBool
(
TypFun
TypBool
(TypFun TypBool (TypUni (TypProd [(TypAtom "B_0"), (TypAtom "B_0"), (TypAtom "B_0"), (TypAtom "B_0"), (TypAtom "B_0"), (TypAtom "B_0"), (TypPwr (TypAtom "B_0") (VInt 4))]) (TypProd [(TypAtom "B_0"), (TypAtom "B_0"), (TypPwr (TypAtom "B_0") (VInt 4))])))
)
)
)
)
(VAtom "scount4_3")
)
),
(DefVal ("testin", 8) "sbuffer_4" (VType (TypFun TypBool (TypFun TypBool (TypUni (TypAtom "B_0") (TypPwr (TypAtom "B_0") (VInt 2))))) (VAtom "sbuffer_4"))),
(DefVal ("testin", 13) "and_5" (VType (TypUni (TypProd [(TypAtom "B_0"), (TypAtom "B_0")]) (TypAtom "B_0")) (VAtom "and_5"))),
(DefVal ("testin", 14) "nand_6" (VType (TypUni (TypProd [(TypAtom "B_0"), (TypAtom "B_0")]) (TypAtom "B_0")) (VAtom "nand_6"))),
(DefVal ("testin", 15) "or_7" (VType (TypUni (TypProd [(TypAtom "B_0"), (TypAtom "B_0")]) (TypAtom "B_0")) (VAtom "or_7"))),
(DefVal ("testin", 16) "sxor_8" (VType (TypUni (TypProd [(TypAtom "B_0"), (TypAtom "B_0")]) (TypAtom "B_0")) (VAtom "sxor_8"))),
(DefVal ("testin", 17) "nor_9" (VType (TypUni (TypProd [(TypAtom "B_0"), (TypAtom "B_0")]) (TypAtom "B_0")) (VAtom "nor_9"))),
(DefVal ("testin", 18) "not_10" (VType (TypUni (TypAtom "B_0") (TypAtom "B_0")) (VAtom "not_10"))),
(DefVal ("testin", 19) "snor2_11" (VType (TypUni (TypProd [(TypAtom "B_0"), (TypAtom "B_0")]) (TypAtom "B_0")) (VAtom "snor2_11"))),
(DefVal ("testin", 20) "snor3_12" (VType (TypUni (TypProd [(TypAtom "B_0"), (TypAtom "B_0"), (TypAtom "B_0")]) (TypAtom "B_0")) (VAtom "snor3_12"))),
(DefVal ("testin", 21) "snand2_13" (VType (TypUni (TypProd [(TypAtom "B_0"), (TypAtom "B_0")]) (TypAtom "B_0")) (VAtom "snand2_13"))),
(DefVal ("testin", 22) "sfix_14" (VType (TypUni (TypPwr (TypAtom "B_0") (VInt 0)) (TypProd [(TypAtom "B_0"), (TypAtom "B_0")])) (VAtom "sfix_14"))),
(DefVal ("testin", 25) "sipad_15" (VType (TypUni (TypPwr (TypAtom "B_0") (VInt 0)) (TypAtom "B_0")) (VAtom "sipad_15"))),
(DefVal ("testin", 26) "sopad_16" (VType (TypNon (TypAtom "B_0")) (VAtom "sopad_16"))),
(
DefVal
("testin", 29)
"regpart1_17"
(
VType
(TypUni (TypPwr (TypAtom "B_0") (VInt 5)) (TypPwr (TypAtom "B_0") (VInt 2)))
(
VSysLambda
(FpList [(FpName "ck_32"), (FpName "reset_33"), (FpName "d2_34"), (FpName "d1_35"), (FpName "d0_36")])
(VSysApply (VSym ("testin", 30) "sreg_1") (VList [(VSym ("testin", 30) "ck_32"), (VSym ("testin", 30) "reset_33"), (VList [(VSym ("testin", 30) "d0_36"), (VSym ("testin", 30) "d1_35")])]))
)
)
),
(
DefVal
("testin", 33)
"fsmlog1_18"
(
VType
(TypUni (TypPwr (TypAtom "B_0") (VInt 4)) (TypPwr (TypAtom "B_0") (VInt 6)))
(
VSysLambda
(FpList [(FpName "q2_47"), (FpName "q0_48"), (FpName "tp_49"), (FpName "ip_50")])
(
VWhere
[
(DefCon ("testin", 37) (VSym ("testin", 37) "newclock_51") (VSysApply (VSym ("testin", 37) "and_5") (VList [(VSysApply (VSym ("testin", 37) "not_10") (VSym ("testin", 37) "q0_48")), (VSym ("testin", 37) "q2_47")]))),
(
DefCon
("testin", 38)
(VSym ("testin", 38) "timeout_52")
(VSysApply (VSym ("testin", 38) "and_5") (VList [(VSysApply (VSym ("testin", 38) "not_10") (VSym ("testin", 38) "q0_48")), (VSysApply (VSym ("testin", 38) "not_10") (VSym ("testin", 38) "q2_47"))]))
),
(DefCon ("testin", 39) (VSym ("testin", 39) "srdata0_53") (VSysApply (VSym ("testin", 39) "and_5") (VList [(VSym ("testin", 39) "q0_48"), (VSysApply (VSym ("testin", 39) "not_10") (VSym ("testin", 39) "q2_47"))]))),
(DefCon ("testin", 40) (VSym ("testin", 40) "srdata1_54") (VSysApply (VSym ("testin", 40) "and_5") (VList [(VSym ("testin", 40) "q0_48"), (VSym ("testin", 40) "q2_47")]))),
(
DefCon
("testin", 41)
(VSym ("testin", 41) "d1_55")
(VSysApply (VSym ("testin", 41) "or_7") (VList [(VSym ("testin", 41) "ip_50"), (VSysApply (VSym ("testin", 41) "and_5") (VList [(VSysApply (VSym ("testin", 41) "not_10") (VSym ("testin", 41) "tp_49")), (VSym ("testin", 41) "q2_47")]))]))
),
(
DefCon
("testin", 42)
(VSym ("testin", 42) "d0_56")
(
VSysApply
(VSym ("testin", 42) "or_7")
(
VList
[
(VSysApply (VSym ("testin", 42) "and_5") (VList [(VSym ("testin", 42) "ip_50"), (VSysApply (VSym ("testin", 42) "and_5") (VList [(VSysApply (VSym ("testin", 42) "not_10") (VSym ("testin", 42) "q0_48")), (VSym ("testin", 42) "q2_47")]))])),
(
VSysApply
(VSym ("testin", 43) "or_7")
(
VList
[
(VSysApply (VSym ("testin", 43) "and_5") (VList [(VSym ("testin", 43) "tp_49"), (VSysApply (VSym ("testin", 43) "and_5") (VList [(VSysApply (VSym ("testin", 43) "not_10") (VSym ("testin", 43) "q0_48")), (VSym ("testin", 43) "q2_47")]))])),
(
VSysApply
(VSym ("testin", 44) "and_5")
(VList [(VSysApply (VSym ("testin", 44) "not_10") (VSym ("testin", 44) "ip_50")), (VSysApply (VSym ("testin", 44) "and_5") (VList [(VSysApply (VSym ("testin", 44) "not_10") (VSym ("testin", 44) "tp_49")), (VSym ("testin", 44) "q0_48")]))])
)
]
)
)
]
)
)
)
]
(VList [(VSym ("testin", 35) "srdata1_54"), (VSym ("testin", 35) "srdata0_53"), (VSym ("testin", 35) "timeout_52"), (VSym ("testin", 35) "d1_55"), (VSym ("testin", 35) "d0_56"), (VSym ("testin", 35) "newclock_51")])
)
)
)
),
(
DefVal
("testin", 49)
"fsm_19"
(
VType
(TypUni (TypPwr (TypAtom "B_0") (VInt 4)) (TypProd [(TypAtom "B_0"), (TypAtom "B_0"), (TypPwr (TypAtom "B_0") (VInt 2))]))
(
VSysLambda
(FpList [(FpName "ck_71"), (FpName "reset_72"), (FpName "tp_73"), (FpName "ip_74")])
(
VWhere
[
(DefCon ("testin", 51) (VSym ("testin", 51) "srdata_75") (VList [(VSym ("testin", 51) "srdata0_76"), (VSym ("testin", 51) "srdata1_77")])),
(
DefCon
("testin", 53)
(VList [(VSym ("testin", 52) "srdata1_77"), (VSym ("testin", 52) "srdata0_76"), (VSym ("testin", 52) "timeout_78"), (VSym ("testin", 52) "d1_79"), (VSym ("testin", 52) "d0_80"), (VSym ("testin", 52) "newclock_81")])
(VSysApply (VSym ("testin", 53) "fsmlog1_18") (VList [(VSym ("testin", 53) "q2_82"), (VSym ("testin", 53) "q0_83"), (VSym ("testin", 53) "tp_73"), (VSym ("testin", 53) "ip_74")]))
),
(
DefCon
("testin", 55)
(VList [(VSym ("testin", 54) "q2_82"), (VSym ("testin", 54) "q0_83")])
(VSysApply (VSym ("testin", 55) "regpart1_17") (VList [(VSym ("testin", 55) "ck_71"), (VSym ("testin", 55) "reset_72"), (VSym ("testin", 55) "x_84"), (VSym ("testin", 55) "d1_79"), (VSym ("testin", 55) "d0_80")]))
)
]
(VList [(VSym ("testin", 50) "timeout_78"), (VSym ("testin", 50) "newclock_81"), (VSym ("testin", 50) "srdata_75")])
)
)
)
),
(
DefVal
("testin", 59)
"ldff_20"
(
VType
(TypUni (TypPwr (TypAtom "B_0") (VInt 3)) (TypAtom "B_0"))
(
VSysLambda
(FpList [(FpName "ld_90"), (FpName "ck_91"), (FpName "d_92")])
(
VWhere
[
(DefCon ("testin", 61) (VSym ("testin", 61) "q_93") (VSysApply (VSym ("testin", 61) "sbdff_2") (VList [(VSym ("testin", 61) "ck_91"), (VSym ("testin", 61) "ddff_94")]))),
(
DefCon
("testin", 62)
(VSym ("testin", 62) "ddff_94")
(
VSysApply
(VSym ("testin", 62) "nand_6")
(
VList
[
(VSysApply (VSym ("testin", 62) "nand_6") (VList [(VSysApply (VSym ("testin", 62) "not_10") (VSym ("testin", 62) "ld_90")), (VSym ("testin", 62) "q_93")])),
(VSysApply (VSym ("testin", 63) "nand_6") (VList [(VSym ("testin", 63) "ld_90"), (VSym ("testin", 63) "d_92")]))
]
)
)
)
]
(VSym ("testin", 61) "q_93")
)
)
)
),
(
DefVal
("testin", 68)
"posedge_21"
(
VType
(TypUni (TypPwr (TypAtom "B_0") (VInt 2)) (TypAtom "B_0"))
(
VSysLambda
(FpList [(FpName "ck_98"), (FpName "in_99")])
(
VWhere
[
(
DefCon
("testin", 70)
(VSym ("testin", 70) "out_100")
(VSysApply (VSym ("testin", 70) "and_5") (VList [(VSysApply (VSym ("testin", 70) "not_10") (VSysApply (VSym ("testin", 70) "sbdff_2") (VList [(VSym ("testin", 70) "ck_98"), (VSym ("testin", 70) "in_99")]))), (VSym ("testin", 72) "in_99")]))
)
]
(VSym ("testin", 70) "out_100")
)
)
)
),
(
DefVal
("testin", 76)
"edge_22"
(
VType
(TypUni (TypPwr (TypAtom "B_0") (VInt 2)) (TypAtom "B_0"))
(
VSysLambda
(FpList [(FpName "ck_104"), (FpName "in_105")])
(
VWhere
[(DefCon ("testin", 79) (VSym ("testin", 79) "q_106") (VSysApply (VSym ("testin", 79) "sbdff_2") (VList [(VSym ("testin", 79) "ck_104"), (VSym ("testin", 79) "in_105")])))]
(VSysApply (VSym ("testin", 77) "sxor_8") (VList [(VSysApply (VSym ("testin", 77) "sbdff_2") (VList [(VSym ("testin", 77) "ck_104"), (VSym ("testin", 77) "q_106")])), (VSym ("testin", 78) "q_106")]))
)
)
)
),
(
DefVal
("testin", 84)
"timer_23"
(
VType
(TypUni (TypPwr (TypAtom "B_0") (VInt 3)) (TypAtom "B_0"))
(
VSysLambda
(FpList [(FpName "ck_124"), (FpName "reset_125"), (FpName "r_126")])
(
VWhere
[
(
DefCon
("testin", 87)
(VSym ("testin", 87) "tp_127")
(
VSysApply
(VSym ("testin", 87) "snor2_11")
(
VList
[
(VSysApply (VSym ("testin", 87) "snor2_11") (VList [(VSym ("testin", 87) "q2_128"), (VSym ("testin", 87) "q3_129")])),
(VSysApply (VSym ("testin", 88) "snand2_13") (VList [(VSym ("testin", 88) "q0_130"), (VSysApply (VSym ("testin", 88) "not_10") (VSym ("testin", 88) "q1_131"))]))
]
)
)
),
(DefCon ("testin", 89) (VList [(VSym ("testin", 89) "q0_130"), (VSym ("testin", 89) "q1_131"), (VSym ("testin", 89) "q2_128"), (VSym ("testin", 89) "q3_129")]) (VSym ("testin", 89) "q_132")),
(
DefCon
("testin", 90)
(VList [(VSym ("testin", 90) "cu_133"), (VSym ("testin", 90) "cd_134"), (VSym ("testin", 90) "q_132")])
(
VSysApply
(VValApply (VValApply (VValApply (VValApply (VValApply (VSym ("testin", 90) "scount4_3") (VBool False)) (VBool True)) (VBool True)) (VBool False)) (VBool False))
(VList [(VSym ("testin", 91) "d1_135"), (VSym ("testin", 91) "reset_125"), (VSym ("testin", 91) "ck_124"), (VSym ("testin", 91) "d2_136"), (VSym ("testin", 91) "one_137"), (VSym ("testin", 91) "d3_138"), (VSym ("testin", 91) "d4_139")])
)
),
(DefCon ("testin", 92) (VList [(VSym ("testin", 92) "zero_140"), (VSym ("testin", 92) "one_137")]) (VSysApply (VSym ("testin", 92) "sfix_14") (VList [])))
]
(VSym ("testin", 86) "tp_127")
)
)
)
),
(
DefVal
("testin", 96)
"srff_24"
(
VType
(TypUni (TypPwr (TypAtom "B_0") (VInt 4)) (TypAtom "B_0"))
(
VSysLambda
(FpList [(FpName "ck_146"), (FpName "reset_147"), (FpName "s_148"), (FpName "r_149")])
(
VWhere
[
(
DefCon
("testin", 99)
(VSym ("testin", 99) "q_150")
(
VSysApply
(VSym ("testin", 99) "sbdff_2")
(
VList
[
(VSym ("testin", 100) "ck_146"),
(VSysApply (VSym ("testin", 100) "snor3_12") (VList [(VSym ("testin", 100) "reset_147"), (VSym ("testin", 100) "r_149"), (VSysApply (VSym ("testin", 101) "snor2_11") (VList [(VSym ("testin", 101) "s_148"), (VSym ("testin", 101) "q_150")]))]))
]
)
)
)
]
(VSym ("testin", 98) "q_150")
)
)
)
),
(
DefVal
("testin", 107)
"core_25"
(
VType
(TypUni (TypPwr (TypAtom "B_0") (VInt 3)) (TypPwr (TypAtom "B_0") (VInt 4)))
(
VSysLambda
(FpList [(FpName "ck_166"), (FpName "cd_167"), (FpName "reset_168")])
(
VWhere
[
(DefCon ("testin", 110) (VSym ("testin", 110) "syncdata_169") (VSysApply (VSym ("testin", 110) "ldff_20") (VList [(VSym ("testin", 110) "syncclk_170"), (VSym ("testin", 110) "ckbuf0_171"), (VSym ("testin", 110) "dataout_172")]))),
(DefCon ("testin", 111) (VList [(VSym ("testin", 111) "ckbuf0_171"), (VSym ("testin", 111) "ckbuf1_173")]) (VSym ("testin", 111) "ckbuf_174")),
(DefCon ("testin", 112) (VSym ("testin", 112) "ckbuf_174") (VSysApply (VValApply (VValApply (VSym ("testin", 112) "sbuffer_4") (VBool False)) (VBool True)) (VSym ("testin", 112) "ck_166"))),
(
DefCon
("testin", 113)
(VSym ("testin", 113) "dataout_172")
(VSysApply (VSym ("testin", 113) "srff_24") (VList [(VSym ("testin", 113) "ckbuf0_171"), (VSym ("testin", 113) "reset_168"), (VSym ("testin", 113) "srdata1_175"), (VSym ("testin", 113) "srdata0_176")]))
),
(DefCon ("testin", 114) (VSym ("testin", 114) "syncclk_170") (VSysApply (VSym ("testin", 114) "posedge_21") (VList [(VSym ("testin", 114) "ckbuf0_171"), (VSym ("testin", 114) "newclock_177")]))),
(DefCon ("testin", 115) (VSym ("testin", 115) "ip_178") (VSysApply (VSym ("testin", 115) "edge_22") (VList [(VSym ("testin", 115) "ckbuf0_171"), (VSym ("testin", 115) "cd_167")]))),
(DefCon ("testin", 116) (VList [(VSym ("testin", 116) "srdata0_176"), (VSym ("testin", 116) "srdata1_175")]) (VSym ("testin", 116) "srdata_179")),
(
DefCon
("testin", 117)
(VList [(VSym ("testin", 117) "timeout_180"), (VSym ("testin", 117) "newclock_177"), (VSym ("testin", 117) "srdata_179")])
(
VSysApply
(VSym ("testin", 117) "fsm_19")
(
VList
[
(VSym ("testin", 117) "ckbuf0_171"),
(VSym ("testin", 118) "reset_168"),
(VSysApply (VSym ("testin", 119) "timer_23") (VList [(VSym ("testin", 119) "ckbuf0_171"), (VSym ("testin", 119) "reset_168"), (VSym ("testin", 119) "ip_178")])),
(VSym ("testin", 121) "ip_178")
]
)
)
)
]
(VList [(VSym ("testin", 108) "timeout_180"), (VSym ("testin", 108) "syncclk_170"), (VSym ("testin", 108) "dataout_172"), (VSym ("testin", 108) "syncdata_169")])
)
)
)
),
(
DefVal
("testin", 126)
"chip_26"
(
VType
(TypNon (TypPwr (TypAtom "B_0") (VInt 0)))
(
VSysSigma
(FpName "dc_189")
(
VWhere
[
(
DefCon
("testin", 134)
(VList [(VSym ("testin", 134) "timeout_190"), (VSym ("testin", 134) "syncclk_191"), (VSym ("testin", 134) "dataout_192"), (VSym ("testin", 134) "syncdata_193")])
(VSysApply (VSym ("testin", 134) "core_25") (VList [(VSym ("testin", 134) "ck_194"), (VSym ("testin", 134) "cd_195"), (VSym ("testin", 134) "reset_196")]))
),
(DefCon ("testin", 135) (VSym ("testin", 135) "ck_194") (VSysApply (VSym ("testin", 135) "sipad_15") (VList []))),
(DefCon ("testin", 136) (VSym ("testin", 136) "cd_195") (VSysApply (VSym ("testin", 136) "sipad_15") (VList []))),
(DefCon ("testin", 137) (VSym ("testin", 137) "reset_196") (VSysApply (VSym ("testin", 137) "sipad_15") (VList [])))
]
(
VAppset
[
(VSysApply (VSym ("testin", 128) "sopad_16") (VSym ("testin", 128) "timeout_190")),
(VSysApply (VSym ("testin", 129) "sopad_16") (VSym ("testin", 129) "syncclk_191")),
(VSysApply (VSym ("testin", 130) "sopad_16") (VSym ("testin", 130) "dataout_192")),
(VSysApply (VSym ("testin", 131) "sopad_16") (VSym ("testin", 132) "syncdata_193"))
]
)
)
)
)
)
]
