MIET_counter/digital/counter7r/TestControlUnit.als
2024-03-17 16:01:20 +03:00

35 lines
1.8 KiB
Alloy

.ALIASES
U_DSTM5 DSTM5(PWR=$G_DPWR GND=$G_DGND 1=q1 )
X_U45A U45A(A=q1 Y=$N_0010 PWR=$G_DPWR GND=$G_DGND )
X_U46A U46A(A=q2 Y=$N_0004 PWR=$G_DPWR GND=$G_DGND )
X_U47A U47A(A=q3 Y=$N_0006 PWR=$G_DPWR GND=$G_DGND )
_ HB8(EN=en nq1=$N_0010 nq2=$N_0004 nq3=$N_0006 q1=q1 q2=q2 q3=q3 L=l t1=t1 t2=t2 t3=t3 )
X_HB8_U10A HB8.U10A(A=$N_0001 Y=t2 PWR=$G_DPWR GND=$G_DGND )
X_HB8_U9A HB8.U9A(A=$N_0002 Y=t3 PWR=$G_DPWR GND=$G_DGND )
X_HB8_U7A HB8.U7A(A=q1 B=$N_0004 C=q3 Y=$N_0003 PWR=$G_DPWR GND=$G_DGND )
X_HB8_U6A HB8.U6A(A=q1 B=$N_0004 C=$N_0006 Y=$N_0005 PWR=$G_DPWR GND=$G_DGND )
X_HB8_U12A HB8.U12A(A=$N_0007 B=$N_0005 C=$N_0003 Y=$N_0008 PWR=$G_DPWR GND=$G_DGND )
X_HB8_U8A HB8.U8A(A=$N_0009 B=en Y=$N_0001 PWR=$G_DPWR GND=$G_DGND )
X_HB8_U23A HB8.U23A(A=$N_0008 Y=$N_0009 PWR=$G_DPWR GND=$G_DGND )
X_HB8_U5A HB8.U5A(A=$N_0010 B=$N_0004 C=$N_0006 Y=$N_0011 PWR=$G_DPWR GND=$G_DGND )
X_HB8_U2A HB8.U2A(A=q1 B=q2 C=$N_0006 Y=$N_0007 PWR=$G_DPWR GND=$G_DGND )
X_HB8_U11A HB8.U11A(A=$N_0012 Y=t1 PWR=$G_DPWR GND=$G_DGND )
X_HB8_U14A HB8.U14A(A=$N_0011 B=en Y=$N_0012 PWR=$G_DPWR GND=$G_DGND )
X_HB8_U22A HB8.U22A(A=$N_0011 Y=l PWR=$G_DPWR GND=$G_DGND )
X_HB8_U18A HB8.U18A(A=$N_0013 B=en Y=$N_0002 PWR=$G_DPWR GND=$G_DGND )
X_HB8_U28A HB8.U28A(A=$N_0011 B=$N_0014 Y=$N_0013 PWR=$G_DPWR GND=$G_DGND )
X_HB8_U27A HB8.U27A(A=q3 B=$N_0004 C=$N_0010 Y=$N_0014 PWR=$G_DPWR GND=$G_DGND )
U_DSTM6 DSTM6(PWR=$G_DPWR GND=$G_DGND 1=q2 )
U_DSTM7 DSTM7(PWR=$G_DPWR GND=$G_DGND 1=q3 )
U_DSTM2 DSTM2(PWR=$G_DPWR GND=$G_DGND 1=en )
_ _(t2=t2)
_ _(t3=t3)
_ _(q1=q1)
_ _(q3=q3)
_ _(en=en)
_ _(q2=q2)
_ _(t1=t1)
_ _(l=l)
_ _($G_DPWR=$G_DPWR)
_ _($G_DGND=$G_DGND)
.ENDALIASES