Support 'X' values on inputs

endrebjorsvik · Jul 23, 2018 · dfe8749 · dfe8749
1 parent cc673d6
commit dfe8749
Showing 1 changed file with 2 additions and 1 deletion.
diff --git a/vunit/vhdl/verification_components/src/avalon_slave.vhd b/vunit/vhdl/verification_components/src/avalon_slave.vhd
@@ -49,7 +49,8 @@ begin
     variable wr_request_msg : msg_t;
     variable rd_request_msg : msg_t;
   begin
-    wait until (write xor read) = '1' and waitrequest = '0' and rising_edge(clk);
+    wait until (write or read) = '1' and waitrequest = '0' and rising_edge(clk);
+	check_false(write = '1' and read = '1');
     if write = '1' then
       wr_request_msg := new_msg(slave_write_msg, avalon_slave.p_actor);
       -- For write, address and data are passed to ack proc