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

67 lines
3.4 KiB
Alloy

.ALIASES
V_V1 V1(+=vdd -=0 )
V_V2 V2(+=C -=0 )
V_V6 V6(+=R -=0 )
_ HB27(in=Q out=t1 )
M_HB27_M4 HB27.M4(d=t1 g=Q s=vdd b=vdd )
M_HB27_M3 HB27.M3(d=t1 g=Q s=0 b=0 )
_ HB26(CLK=C R=R T=t1 NQ=NQ Q=Q )
_ HB26.HB10(in=C out=$N_0003 )
M_HB26_HB10_M4 HB26.HB10.M4(d=$N_0003 g=C s=vdd b=vdd )
M_HB26_HB10_M3 HB26.HB10.M3(d=$N_0003 g=C s=0 b=0 )
_ HB26.HB4(A=$N_0017 B=$N_0013 out=$N_0012 )
M_HB26_HB4_M6 HB26.HB4.M6(d=$N_0012 g=$N_0017 s=vdd b=vdd )
M_HB26_HB4_M10 HB26.HB4.M10(d=$N_0012 g=$N_0013 s=vdd b=vdd )
M_HB26_HB4_M9 HB26.HB4.M9(d=$N_0012 g=$N_0017 s=$N_0001 b=0 )
M_HB26_HB4_M8 HB26.HB4.M8(d=$N_0001 g=$N_0013 s=0 b=0 )
_ HB26.HB6(A=$N_0003 B=$N_0012 out=$N_0005 )
M_HB26_HB6_M6 HB26.HB6.M6(d=$N_0005 g=$N_0003 s=vdd b=vdd )
M_HB26_HB6_M10 HB26.HB6.M10(d=$N_0005 g=$N_0012 s=vdd b=vdd )
M_HB26_HB6_M9 HB26.HB6.M9(d=$N_0005 g=$N_0003 s=$N_0002 b=0 )
M_HB26_HB6_M8 HB26.HB6.M8(d=$N_0002 g=$N_0012 s=0 b=0 )
_ HB26.HB7(A=$N_0013 B=$N_0003 out=$N_0007 )
M_HB26_HB7_M6 HB26.HB7.M6(d=$N_0007 g=$N_0013 s=vdd b=vdd )
M_HB26_HB7_M10 HB26.HB7.M10(d=$N_0007 g=$N_0003 s=vdd b=vdd )
M_HB26_HB7_M9 HB26.HB7.M9(d=$N_0007 g=$N_0013 s=$N_0004 b=0 )
M_HB26_HB7_M8 HB26.HB7.M8(d=$N_0004 g=$N_0003 s=0 b=0 )
_ HB26.HB8(A=$N_0005 B=NQ out=Q )
M_HB26_HB8_M6 HB26.HB8.M6(d=Q g=$N_0005 s=vdd b=vdd )
M_HB26_HB8_M10 HB26.HB8.M10(d=Q g=NQ s=vdd b=vdd )
M_HB26_HB8_M9 HB26.HB8.M9(d=Q g=$N_0005 s=$N_0006 b=0 )
M_HB26_HB8_M8 HB26.HB8.M8(d=$N_0006 g=NQ s=0 b=0 )
_ HB26.HB9(A=Q B=$N_0007 C=R out=NQ )
M_HB26_HB9_M6 HB26.HB9.M6(d=NQ g=Q s=vdd b=vdd )
M_HB26_HB9_M10 HB26.HB9.M10(d=NQ g=R s=vdd b=vdd )
M_HB26_HB9_M11 HB26.HB9.M11(d=NQ g=$N_0007 s=vdd b=vdd )
M_HB26_HB9_M7 HB26.HB9.M7(d=$N_0008 g=$N_0007 s=0 b=0 )
M_HB26_HB9_M8 HB26.HB9.M8(d=$N_0009 g=R s=$N_0008 b=0 )
M_HB26_HB9_M9 HB26.HB9.M9(d=NQ g=Q s=$N_0009 b=0 )
_ HB26.HB2(A=Q B=t1 C=C out=$N_0014 )
M_HB26_HB2_M6 HB26.HB2.M6(d=$N_0014 g=Q s=vdd b=vdd )
M_HB26_HB2_M10 HB26.HB2.M10(d=$N_0014 g=C s=vdd b=vdd )
M_HB26_HB2_M11 HB26.HB2.M11(d=$N_0014 g=t1 s=vdd b=vdd )
M_HB26_HB2_M7 HB26.HB2.M7(d=$N_0010 g=t1 s=0 b=0 )
M_HB26_HB2_M8 HB26.HB2.M8(d=$N_0011 g=C s=$N_0010 b=0 )
M_HB26_HB2_M9 HB26.HB2.M9(d=$N_0014 g=Q s=$N_0011 b=0 )
_ HB26.HB3(A=$N_0012 B=$N_0014 C=R out=$N_0013 )
M_HB26_HB3_M6 HB26.HB3.M6(d=$N_0013 g=$N_0012 s=vdd b=vdd )
M_HB26_HB3_M10 HB26.HB3.M10(d=$N_0013 g=R s=vdd b=vdd )
M_HB26_HB3_M11 HB26.HB3.M11(d=$N_0013 g=$N_0014 s=vdd b=vdd )
M_HB26_HB3_M7 HB26.HB3.M7(d=$N_0015 g=$N_0014 s=0 b=0 )
M_HB26_HB3_M8 HB26.HB3.M8(d=$N_0016 g=R s=$N_0015 b=0 )
M_HB26_HB3_M9 HB26.HB3.M9(d=$N_0013 g=$N_0012 s=$N_0016 b=0 )
_ HB26.HB1(A=NQ B=t1 C=C out=$N_0017 )
M_HB26_HB1_M6 HB26.HB1.M6(d=$N_0017 g=NQ s=vdd b=vdd )
M_HB26_HB1_M10 HB26.HB1.M10(d=$N_0017 g=C s=vdd b=vdd )
M_HB26_HB1_M11 HB26.HB1.M11(d=$N_0017 g=t1 s=vdd b=vdd )
M_HB26_HB1_M7 HB26.HB1.M7(d=$N_0018 g=t1 s=0 b=0 )
M_HB26_HB1_M8 HB26.HB1.M8(d=$N_0019 g=C s=$N_0018 b=0 )
M_HB26_HB1_M9 HB26.HB1.M9(d=$N_0017 g=NQ s=$N_0019 b=0 )
C_C1 C1(1=Q 2=0 )
_ _(Q=Q)
_ _(R=R)
_ _(NQ=NQ)
_ _(vdd=vdd)
_ _(C=C)
_ _(t1=t1)
.ENDALIASES