def upblk():
if s.in_:
s.out = Bits1(1)
else:
s.out = ~Bits1(1)
def upblk():
for i in range(0, 4, 0):
s.out = Bits1(1)
def upblk():
s.out = s if 1 else ~Bits1(1)
def upblk():
s.out = Bits1(1) if 1 else s
def upblk():
for i in range(0, 8, s):
s.out = ~Bits1(1)
def upblk():
s.out = Bits1(1) if s else ~Bits1(1)
def upblk():
for i in range(0, s, 1):
s.out = ~Bits1(1)
def upblk():
for i in range(s, 8, 1):
s.out = ~Bits1(1)
def tv_out( m, tv ): assert m.out == Bits1(tv[1])
def tv_in(m, tv):
m.enq_en = Bits1(tv[0])
m.enq_msg = Bits32(tv[1])
m.deq_en = Bits1(tv[3])
def tv_in(m, test_vector):
m.in0 = Bits32(test_vector[0])
m.in1 = Bits32(test_vector[1])
m.cin = Bits1(test_vector[2])
