MIET_counter/tmp/labanal/lab4_9/OpAmp_tb.als
2024-03-30 20:50:02 +03:00

18 lines
903 B
Alloy

.ALIASES
V_V2 V2(+=$N_0008 -=0 )
_ HB1(INn=$N_0005 INp=0 Vdd=$N_0001 Vss=$N_0008 OUT=$N_0004 )
M_HB1_M7 HB1.M7(d=$N_0001 g=$N_0002 s=$N_0002 b=$N_0001 )
M_HB1_M8 HB1.M8(d=$N_0001 g=$N_0002 s=$N_0003 b=$N_0001 )
M_HB1_M4 HB1.M4(d=$N_0001 g=$N_0002 s=$N_0004 b=$N_0001 )
M_HB1_M5 HB1.M5(d=$N_0003 g=$N_0005 s=$N_0006 b=$N_0001 )
M_HB1_M6 HB1.M6(d=$N_0003 g=0 s=$N_0007 b=$N_0001 )
M_HB1_M3 HB1.M3(d=$N_0004 g=$N_0007 s=$N_0008 b=$N_0008 )
R_HB1_R1 HB1.R1(1=$N_0007 2=$N_0009 )
C_HB1_C1 HB1.C1(1=$N_0009 2=$N_0004 )
R_HB1_R2 HB1.R2(1=$N_0008 2=$N_0002 )
M_HB1_M2 HB1.M2(d=$N_0007 g=$N_0006 s=$N_0008 b=$N_0008 )
M_HB1_M1 HB1.M1(d=$N_0006 g=$N_0006 s=$N_0008 b=$N_0008 )
C_HB1_C2 HB1.C2(1=0 2=$N_0004 )
V_V1 V1(+=$N_0001 -=0 )
V_V5 V5(+=$N_0005 -=0 )
.ENDALIASES