MIET_counter/analog/TestTrig2.als
2024-03-17 16:01:20 +03:00

116 lines
6.4 KiB
Alloy

.ALIASES
V_V1 V1(+=C -=0 )
V_V5 V5(+=T -=0 )
V_V4 V4(+=R -=0 )
_ HB5(CLK=C R=R T=Q NQ=$N_0017 Q=Q2 )
_ HB5.HB10(in=C out=$N_0003 )
M_HB5_HB10_M4 HB5.HB10.M4(d=$N_0003 g=C s=vdd b=vdd )
M_HB5_HB10_M3 HB5.HB10.M3(d=$N_0003 g=C s=0 b=0 )
_ HB5.HB4(A=$N_0018 B=$N_0013 out=$N_0012 )
M_HB5_HB4_M6 HB5.HB4.M6(d=$N_0012 g=$N_0018 s=vdd b=vdd )
M_HB5_HB4_M10 HB5.HB4.M10(d=$N_0012 g=$N_0013 s=vdd b=vdd )
M_HB5_HB4_M9 HB5.HB4.M9(d=$N_0012 g=$N_0018 s=$N_0001 b=0 )
M_HB5_HB4_M8 HB5.HB4.M8(d=$N_0001 g=$N_0013 s=0 b=0 )
_ HB5.HB6(A=$N_0003 B=$N_0012 out=$N_0005 )
M_HB5_HB6_M6 HB5.HB6.M6(d=$N_0005 g=$N_0003 s=vdd b=vdd )
M_HB5_HB6_M10 HB5.HB6.M10(d=$N_0005 g=$N_0012 s=vdd b=vdd )
M_HB5_HB6_M9 HB5.HB6.M9(d=$N_0005 g=$N_0003 s=$N_0002 b=0 )
M_HB5_HB6_M8 HB5.HB6.M8(d=$N_0002 g=$N_0012 s=0 b=0 )
_ HB5.HB7(A=$N_0013 B=$N_0003 out=$N_0007 )
M_HB5_HB7_M6 HB5.HB7.M6(d=$N_0007 g=$N_0013 s=vdd b=vdd )
M_HB5_HB7_M10 HB5.HB7.M10(d=$N_0007 g=$N_0003 s=vdd b=vdd )
M_HB5_HB7_M9 HB5.HB7.M9(d=$N_0007 g=$N_0013 s=$N_0004 b=0 )
M_HB5_HB7_M8 HB5.HB7.M8(d=$N_0004 g=$N_0003 s=0 b=0 )
_ HB5.HB8(A=$N_0005 B=$N_0017 out=Q2 )
M_HB5_HB8_M6 HB5.HB8.M6(d=Q2 g=$N_0005 s=vdd b=vdd )
M_HB5_HB8_M10 HB5.HB8.M10(d=Q2 g=$N_0017 s=vdd b=vdd )
M_HB5_HB8_M9 HB5.HB8.M9(d=Q2 g=$N_0005 s=$N_0006 b=0 )
M_HB5_HB8_M8 HB5.HB8.M8(d=$N_0006 g=$N_0017 s=0 b=0 )
_ HB5.HB9(A=Q2 B=$N_0007 C=R out=$N_0017 )
M_HB5_HB9_M6 HB5.HB9.M6(d=$N_0017 g=Q2 s=vdd b=vdd )
M_HB5_HB9_M10 HB5.HB9.M10(d=$N_0017 g=R s=vdd b=vdd )
M_HB5_HB9_M11 HB5.HB9.M11(d=$N_0017 g=$N_0007 s=vdd b=vdd )
M_HB5_HB9_M7 HB5.HB9.M7(d=$N_0008 g=$N_0007 s=0 b=0 )
M_HB5_HB9_M8 HB5.HB9.M8(d=$N_0009 g=R s=$N_0008 b=0 )
M_HB5_HB9_M9 HB5.HB9.M9(d=$N_0017 g=Q2 s=$N_0009 b=0 )
_ HB5.HB2(A=Q2 B=Q C=C out=$N_0014 )
M_HB5_HB2_M6 HB5.HB2.M6(d=$N_0014 g=Q2 s=vdd b=vdd )
M_HB5_HB2_M10 HB5.HB2.M10(d=$N_0014 g=C s=vdd b=vdd )
M_HB5_HB2_M11 HB5.HB2.M11(d=$N_0014 g=Q s=vdd b=vdd )
M_HB5_HB2_M7 HB5.HB2.M7(d=$N_0010 g=Q s=0 b=0 )
M_HB5_HB2_M8 HB5.HB2.M8(d=$N_0011 g=C s=$N_0010 b=0 )
M_HB5_HB2_M9 HB5.HB2.M9(d=$N_0014 g=Q2 s=$N_0011 b=0 )
_ HB5.HB3(A=$N_0012 B=$N_0014 C=R out=$N_0013 )
M_HB5_HB3_M6 HB5.HB3.M6(d=$N_0013 g=$N_0012 s=vdd b=vdd )
M_HB5_HB3_M10 HB5.HB3.M10(d=$N_0013 g=R s=vdd b=vdd )
M_HB5_HB3_M11 HB5.HB3.M11(d=$N_0013 g=$N_0014 s=vdd b=vdd )
M_HB5_HB3_M7 HB5.HB3.M7(d=$N_0015 g=$N_0014 s=0 b=0 )
M_HB5_HB3_M8 HB5.HB3.M8(d=$N_0016 g=R s=$N_0015 b=0 )
M_HB5_HB3_M9 HB5.HB3.M9(d=$N_0013 g=$N_0012 s=$N_0016 b=0 )
_ HB5.HB1(A=$N_0017 B=Q C=C out=$N_0018 )
M_HB5_HB1_M6 HB5.HB1.M6(d=$N_0018 g=$N_0017 s=vdd b=vdd )
M_HB5_HB1_M10 HB5.HB1.M10(d=$N_0018 g=C s=vdd b=vdd )
M_HB5_HB1_M11 HB5.HB1.M11(d=$N_0018 g=Q s=vdd b=vdd )
M_HB5_HB1_M7 HB5.HB1.M7(d=$N_0019 g=Q s=0 b=0 )
M_HB5_HB1_M8 HB5.HB1.M8(d=$N_0020 g=C s=$N_0019 b=0 )
M_HB5_HB1_M9 HB5.HB1.M9(d=$N_0018 g=$N_0017 s=$N_0020 b=0 )
_ HB4(CLK=C R=R T=T NQ=$N_0037 Q=Q )
_ HB4.HB10(in=C out=$N_0023 )
M_HB4_HB10_M4 HB4.HB10.M4(d=$N_0023 g=C s=vdd b=vdd )
M_HB4_HB10_M3 HB4.HB10.M3(d=$N_0023 g=C s=0 b=0 )
_ HB4.HB4(A=$N_0038 B=$N_0033 out=$N_0032 )
M_HB4_HB4_M6 HB4.HB4.M6(d=$N_0032 g=$N_0038 s=vdd b=vdd )
M_HB4_HB4_M10 HB4.HB4.M10(d=$N_0032 g=$N_0033 s=vdd b=vdd )
M_HB4_HB4_M9 HB4.HB4.M9(d=$N_0032 g=$N_0038 s=$N_0021 b=0 )
M_HB4_HB4_M8 HB4.HB4.M8(d=$N_0021 g=$N_0033 s=0 b=0 )
_ HB4.HB6(A=$N_0023 B=$N_0032 out=$N_0025 )
M_HB4_HB6_M6 HB4.HB6.M6(d=$N_0025 g=$N_0023 s=vdd b=vdd )
M_HB4_HB6_M10 HB4.HB6.M10(d=$N_0025 g=$N_0032 s=vdd b=vdd )
M_HB4_HB6_M9 HB4.HB6.M9(d=$N_0025 g=$N_0023 s=$N_0022 b=0 )
M_HB4_HB6_M8 HB4.HB6.M8(d=$N_0022 g=$N_0032 s=0 b=0 )
_ HB4.HB7(A=$N_0033 B=$N_0023 out=$N_0027 )
M_HB4_HB7_M6 HB4.HB7.M6(d=$N_0027 g=$N_0033 s=vdd b=vdd )
M_HB4_HB7_M10 HB4.HB7.M10(d=$N_0027 g=$N_0023 s=vdd b=vdd )
M_HB4_HB7_M9 HB4.HB7.M9(d=$N_0027 g=$N_0033 s=$N_0024 b=0 )
M_HB4_HB7_M8 HB4.HB7.M8(d=$N_0024 g=$N_0023 s=0 b=0 )
_ HB4.HB8(A=$N_0025 B=$N_0037 out=Q )
M_HB4_HB8_M6 HB4.HB8.M6(d=Q g=$N_0025 s=vdd b=vdd )
M_HB4_HB8_M10 HB4.HB8.M10(d=Q g=$N_0037 s=vdd b=vdd )
M_HB4_HB8_M9 HB4.HB8.M9(d=Q g=$N_0025 s=$N_0026 b=0 )
M_HB4_HB8_M8 HB4.HB8.M8(d=$N_0026 g=$N_0037 s=0 b=0 )
_ HB4.HB9(A=Q B=$N_0027 C=R out=$N_0037 )
M_HB4_HB9_M6 HB4.HB9.M6(d=$N_0037 g=Q s=vdd b=vdd )
M_HB4_HB9_M10 HB4.HB9.M10(d=$N_0037 g=R s=vdd b=vdd )
M_HB4_HB9_M11 HB4.HB9.M11(d=$N_0037 g=$N_0027 s=vdd b=vdd )
M_HB4_HB9_M7 HB4.HB9.M7(d=$N_0028 g=$N_0027 s=0 b=0 )
M_HB4_HB9_M8 HB4.HB9.M8(d=$N_0029 g=R s=$N_0028 b=0 )
M_HB4_HB9_M9 HB4.HB9.M9(d=$N_0037 g=Q s=$N_0029 b=0 )
_ HB4.HB2(A=Q B=T C=C out=$N_0034 )
M_HB4_HB2_M6 HB4.HB2.M6(d=$N_0034 g=Q s=vdd b=vdd )
M_HB4_HB2_M10 HB4.HB2.M10(d=$N_0034 g=C s=vdd b=vdd )
M_HB4_HB2_M11 HB4.HB2.M11(d=$N_0034 g=T s=vdd b=vdd )
M_HB4_HB2_M7 HB4.HB2.M7(d=$N_0030 g=T s=0 b=0 )
M_HB4_HB2_M8 HB4.HB2.M8(d=$N_0031 g=C s=$N_0030 b=0 )
M_HB4_HB2_M9 HB4.HB2.M9(d=$N_0034 g=Q s=$N_0031 b=0 )
_ HB4.HB3(A=$N_0032 B=$N_0034 C=R out=$N_0033 )
M_HB4_HB3_M6 HB4.HB3.M6(d=$N_0033 g=$N_0032 s=vdd b=vdd )
M_HB4_HB3_M10 HB4.HB3.M10(d=$N_0033 g=R s=vdd b=vdd )
M_HB4_HB3_M11 HB4.HB3.M11(d=$N_0033 g=$N_0034 s=vdd b=vdd )
M_HB4_HB3_M7 HB4.HB3.M7(d=$N_0035 g=$N_0034 s=0 b=0 )
M_HB4_HB3_M8 HB4.HB3.M8(d=$N_0036 g=R s=$N_0035 b=0 )
M_HB4_HB3_M9 HB4.HB3.M9(d=$N_0033 g=$N_0032 s=$N_0036 b=0 )
_ HB4.HB1(A=$N_0037 B=T C=C out=$N_0038 )
M_HB4_HB1_M6 HB4.HB1.M6(d=$N_0038 g=$N_0037 s=vdd b=vdd )
M_HB4_HB1_M10 HB4.HB1.M10(d=$N_0038 g=C s=vdd b=vdd )
M_HB4_HB1_M11 HB4.HB1.M11(d=$N_0038 g=T s=vdd b=vdd )
M_HB4_HB1_M7 HB4.HB1.M7(d=$N_0039 g=T s=0 b=0 )
M_HB4_HB1_M8 HB4.HB1.M8(d=$N_0040 g=C s=$N_0039 b=0 )
M_HB4_HB1_M9 HB4.HB1.M9(d=$N_0038 g=$N_0037 s=$N_0040 b=0 )
V_V2 V2(+=vdd -=0 )
_ _(Q2=Q2)
_ _(Q=Q)
_ _(R=R)
_ _(vdd=vdd)
_ _(C=C)
_ _(T=T)
.ENDALIASES