def test_directed_active(sim_cls):
no = 4
directed(drv(t=TDin[Uint[8], no, 4],
seq=[((8, ) * no, 3), ((2, ) * no, 4), ((1, ) * no, 1)]),
f=serialize(sim_cls=sim_cls),
ref=[[8] * 3, [2] * 4, [1]])
sim()
def test_directed(sim_cls):
brick_size = 4
seq_list = [1, 2, 3, 4]
directed(drv(t=Array[Uint[16], brick_size],
seq=[(i, ) * brick_size for i in seq_list]),
f=serialize(sim_cls=sim_cls),
ref=[(i, ) * brick_size for i in seq_list])
sim()
def test_cosim_active(cosim_cls, din_delay, dout_delay):
no = 4
dut = get_dut(dout_delay)
verif(drv(t=TDin[Uint[8], no, 4],
seq=[((8, ) * no, 3), ((2, ) * no, 4),
((1, ) * no, 1)]) | delay_rng(din_delay, din_delay),
f=dut(sim_cls=cosim_cls),
ref=serialize(name='ref_model'),
delays=[delay_rng(dout_delay, dout_delay)])
sim()
def test_cosim(cosim_cls, din_delay, dout_delay):
brick_size = 4
seq_list = [1, 2, 3, 4]
dut = get_dut(dout_delay)
verif(drv(t=Array[Uint[16], brick_size],
seq=[(i, ) * brick_size
for i in seq_list]) | delay_rng(din_delay, din_delay),
f=dut(sim_cls=cosim_cls),
ref=serialize(name='ref_model'),
delays=[delay_rng(dout_delay, dout_delay)])
sim()
def test_synth_active_vivado():
serialize(Intf(TDin[Uint[8], 4, 4]))
def test_synth_yosys():
serialize(Intf(Array[Uint[16], 4]))
def test_synth_vivado():
serialize(Intf(Array[Uint[16], 4]))
def test_formal_active():
serialize(Intf(TDin[Uint[8], 4, 4]))
def test_formal():
serialize(Intf(Array[Uint[16], 4]))
def test_synth_active_yosys():
serialize(Intf(TDin[Uint[8], 4, 4]))