1 files changed, 0 insertions, 43 deletions
diff --git a/tb/top/smp_sim.py b/tb/top/smp_sim.py
deleted file mode 100644
index 1994da2..0000000
--- a/tb/top/smp_sim.py
+++ /dev/null
@@ -1,43 +0,0 @@
-import cocotb
-from cocotb.clock import Clock
-from cocotb.triggers import Combine, ClockCycles, RisingEdge, Timer, with_timeout
-from cocotb_bus.drivers.avalon import AvalonMaster
-
-from tb.models import CorePaceModel, SmpModel
-
-@cocotb.test()
-async def reset(dut):
-    dut.rst_n.value = 1
-    await Timer(1)
-    dut.rst_n.value = 0
-    await Timer(1)
-    dut.rst_n.value = 1
-
-    model = SmpModel()
-
-    cocotb.start_soon(Clock(dut.clk, 2).start())
-    master = AvalonMaster(dut, 'avl', dut.clk, case_insensitive=False)
-
-    cpu0 = CorePaceModel(clk=dut.clk, halt=dut.halt_0, step=dut.step_0,
-                         bkpt=dut.breakpoint_0, halted=dut.cpu_halted_0)
-
-    cpu1 = CorePaceModel(clk=dut.clk, halt=dut.halt_1, step=dut.step_1,
-                         bkpt=dut.breakpoint_1, halted=dut.cpu_halted_1)
-
-    cpu2 = CorePaceModel(clk=dut.clk, halt=dut.halt_2, step=dut.step_2,
-                         bkpt=dut.breakpoint_2, halted=dut.cpu_halted_2)
-
-    cpu3 = CorePaceModel(clk=dut.clk, halt=dut.halt_3, step=dut.step_3,
-                         bkpt=dut.breakpoint_3, halted=dut.cpu_halted_3)
-
-    cocotb.start_soon(cpu0.run())
-    cocotb.start_soon(cpu1.run())
-    cocotb.start_soon(cpu2.run())
-    cocotb.start_soon(cpu3.run())
-
-    await with_timeout(Combine(*(RisingEdge(halted) for halted in
-                                 [dut.cpu_halted_1, dut.cpu_halted_2, dut.cpu_halted_3])),
-                       50)
-
-    await ClockCycles(dut.clk, 5)
-    assert await master.read(0) == model.read()