From: Luke Kenneth Casson Leighton <lkcl@lkcl.net>
Date: Wed, 21 Oct 2020 16:47:15 +0000 (+0100)
Subject: fix up asserts (check correct pads/cores)
X-Git-Tag: 24jan2021_ls180~133
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=7ee85320fbb58afe83fb1bddf4bbbf229c3814e3;p=soc.git

fix up asserts (check correct pads/cores)
https://bugs.libre-soc.org/show_bug.cgi?id=511#c12
---

diff --git a/src/soc/debug/test/test_jtag_tap_srv.py b/src/soc/debug/test/test_jtag_tap_srv.py
index ff3d330c..cbc25463 100644
--- a/src/soc/debug/test/test_jtag_tap_srv.py
+++ b/src/soc/debug/test/test_jtag_tap_srv.py
@@ -75,27 +75,43 @@ def jtag_sim(dut, srv_dut):
     print ("bs scan", bin(bs))
     yield
 
-    print ("io0 pad.i", (yield srv_dut.ios[0].pad.i))
-    print ("io1 core.o", (yield srv_dut.ios[1].core.o))
-    print ("io2 core.o", (yield srv_dut.ios[2].core.o))
-    print ("io2 core.oe", (yield srv_dut.ios[2].core.oe))
+    print ("io0 pad.i", (yield srv_dut.ios[0].core.i))
+    print ("io1 core.o", (yield srv_dut.ios[1].pad.o))
+    print ("io2 core.o", (yield srv_dut.ios[2].pad.o))
+    print ("io2 core.oe", (yield srv_dut.ios[2].pad.oe))
     print ("io3 core.i", (yield srv_dut.ios[3].core.i))
     print ("io3 pad.o", (yield srv_dut.ios[3].pad.o))
     print ("io3 pad.oe", (yield srv_dut.ios[3].pad.oe))
 
+    assert (yield srv_dut.ios[0].core.i) == 1
+    assert (yield srv_dut.ios[1].pad.o) == 0
+    assert (yield srv_dut.ios[2].pad.o) == 1
+    assert (yield srv_dut.ios[2].pad.oe) == 1
+    assert (yield srv_dut.ios[3].core.i) == 0
+    assert (yield srv_dut.ios[3].pad.o) == 0
+    assert (yield srv_dut.ios[3].pad.oe) == 1
+
     # extest
     ir_actual = yield from jtag_set_ir(dut, BS_EXTEST)
     print ("ir extest", bin(ir_actual))
     yield
 
-    print ("io0 pad.i", (yield srv_dut.ios[0].pad.i))
-    print ("io1 core.o", (yield srv_dut.ios[1].core.o))
-    print ("io2 core.o", (yield srv_dut.ios[2].core.o))
-    print ("io2 core.oe", (yield srv_dut.ios[2].core.oe))
+    print ("io0 pad.i", (yield srv_dut.ios[0].core.i))
+    print ("io1 core.o", (yield srv_dut.ios[1].pad.o))
+    print ("io2 core.o", (yield srv_dut.ios[2].pad.o))
+    print ("io2 core.oe", (yield srv_dut.ios[2].pad.oe))
     print ("io3 core.i", (yield srv_dut.ios[3].core.i))
     print ("io3 pad.o", (yield srv_dut.ios[3].pad.o))
     print ("io3 pad.oe", (yield srv_dut.ios[3].pad.oe))
 
+    assert (yield srv_dut.ios[0].core.i) == 0
+    assert (yield srv_dut.ios[1].pad.o) == 1
+    assert (yield srv_dut.ios[2].pad.o) == 0
+    assert (yield srv_dut.ios[2].pad.oe) == 0
+    assert (yield srv_dut.ios[3].core.i) == 1
+    assert (yield srv_dut.ios[3].pad.o) == 1
+    assert (yield srv_dut.ios[3].pad.oe) == 0
+
     # set pins
     bs_actual = 0b1011001
     yield srv_dut.ios[0].pad.i.eq(0)
@@ -111,14 +127,22 @@ def jtag_sim(dut, srv_dut):
     print ("bs scan", bin(bs))
     yield
 
-    print ("io0 pad.i", (yield srv_dut.ios[0].pad.i))
-    print ("io1 core.o", (yield srv_dut.ios[1].core.o))
-    print ("io2 core.o", (yield srv_dut.ios[2].core.o))
-    print ("io2 core.oe", (yield srv_dut.ios[2].core.oe))
+    print ("io0 pad.i", (yield srv_dut.ios[0].core.i))
+    print ("io1 core.o", (yield srv_dut.ios[1].pad.o))
+    print ("io2 core.o", (yield srv_dut.ios[2].pad.o))
+    print ("io2 core.oe", (yield srv_dut.ios[2].pad.oe))
     print ("io3 core.i", (yield srv_dut.ios[3].core.i))
     print ("io3 pad.o", (yield srv_dut.ios[3].pad.o))
     print ("io3 pad.oe", (yield srv_dut.ios[3].pad.oe))
 
+    assert (yield srv_dut.ios[0].core.i) == 1
+    assert (yield srv_dut.ios[1].pad.o) == 0
+    assert (yield srv_dut.ios[2].pad.o) == 1
+    assert (yield srv_dut.ios[2].pad.oe) == 1
+    assert (yield srv_dut.ios[3].core.i) == 0
+    assert (yield srv_dut.ios[3].pad.o) == 0
+    assert (yield srv_dut.ios[3].pad.oe) == 1
+
     # reset
     yield from jtag_set_reset(dut)
     print ("bs reset")
@@ -132,6 +156,14 @@ def jtag_sim(dut, srv_dut):
     print ("io3 pad.o", (yield srv_dut.ios[3].pad.o))
     print ("io3 pad.oe", (yield srv_dut.ios[3].pad.oe))
 
+    assert (yield srv_dut.ios[0].core.i) == 0
+    assert (yield srv_dut.ios[1].pad.o) == 1
+    assert (yield srv_dut.ios[2].pad.o) == 0
+    assert (yield srv_dut.ios[2].pad.oe) == 0
+    assert (yield srv_dut.ios[3].core.i) == 1
+    assert (yield srv_dut.ios[3].pad.o) == 1
+    assert (yield srv_dut.ios[3].pad.oe) == 0
+
     ####### JTAG to DMI ######
 
     # write DMI address