Progress in Verific bindings

diff --git a/frontends/verific/verific.cc b/frontends/verific/verific.cc
index 8b42ca8c1bf9148f06265065416d8691daecbdb5..84e5e6736f6efca019dc2205ba48879f13d5955c 100644 (file)
--- a/frontends/verific/verific.cc
+++ b/frontends/verific/verific.cc
@@ -429,6 +429,8 @@ static void import_netlist(RTLIL::Design *design, Netlist *nl, std::set<Netlist*
                import_attributes(wire->attributes, port);
                module->add(wire);
 
+               wire->port_id = nl->IndexOf(port) + 1;
+
                if (port->GetDir() == DIR_INOUT || port->GetDir() == DIR_IN)
                        wire->port_input = true;
                if (port->GetDir() == DIR_INOUT || port->GetDir() == DIR_OUT)

diff --git a/tests/simple/forgen01.v b/tests/simple/forgen01.v
index 70ee7e6674e27c5d4c568decfa37df33c49dc431..8b7aa279d3164efde3097ff597ce5630cc1cccc3 100644 (file)
--- a/tests/simple/forgen01.v
+++ b/tests/simple/forgen01.v
@@ -1,3 +1,6 @@
+
+// VERIFIC-SKIP
+
 module uut_forgen01(a, y);
 
 input [4:0] a;

diff --git a/tests/simple/mem_arst.v b/tests/simple/mem_arst.v
index 4022f57cd232037209ee19fe01d7d47f70689451..9bd38fcb3f793b74553aee460d503bc0d5febb56 100644 (file)
--- a/tests/simple/mem_arst.v
+++ b/tests/simple/mem_arst.v
@@ -10,7 +10,7 @@ module MyMem #(
   output [DataWidth-1:0] Data_o,
   input                  WR_i);
 
-  reg Data_o;
+  reg [DataWidth-1:0] Data_o;
 
   localparam Size = 2**AddrWidth;
 

diff --git a/tests/tools/autotest.sh b/tests/tools/autotest.sh
index fafd044d8678a41b4d8b649127070af7d533b997..d459f988e7a9c88692c3db24c6d4f7d7d27fd977 100755 (executable)
--- a/tests/tools/autotest.sh
+++ b/tests/tools/autotest.sh
@@ -82,7 +82,7 @@ do
        [[ "$bn" == *_tb ]] && continue
        echo -n "Test: $bn "
 
-       rm -f ${bn}.{err,log}
+       rm -f ${bn}.{err,log,sikp}
        mkdir -p ${bn}.out
        rm -rf ${bn}.out/*
 
@@ -111,6 +111,11 @@ do
                        test_count=$(( test_count + 1 ))
                }
 
+               if [ "$frontend" = "verific" -o "$frontend" = "verific_gates" ] && grep -q VERIFIC-SKIP $fn; then
+                       touch ../${bn}.skip
+                       return
+               fi
+
                if [ -n "$scriptfiles" ]; then
                        test_passes $fn $scriptfiles
                elif [ -n "$scriptopt" ]; then
@@ -137,6 +142,9 @@ do
        if [ -f ${bn}.log ]; then
                mv ${bn}.err ${bn}.log
                echo "-> ok"
+       elif [ -f ${bn}.skip ]; then
+               mv ${bn}.err ${bn}.skip
+               echo "-> skip"
        else echo "-> ERROR!"; $keeprunning || exit 1; fi
 done