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