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])