hdl/sim: fix pending_cpu_notifications() return value

7e633d50 · Dimitris Lampridis · 59a2c707 · 7e633d50
Commit 7e633d50 authored Apr 11, 2019 by Dimitris Lampridis
Hide whitespace changes
Inline Side-by-side

Showing with 1 addition and 1 deletion

mock_turtle_driver.svh hdl/testbench/include/mock_turtle_driver.svh +1 -1

No files found.
--- a/hdl/testbench/include/mock_turtle_driver.svh
+++ b/hdl/testbench/include/mock_turtle_driver.svh
@@ -147,7 +147,7 @@ class MockTurtleDriver;
   endtask // smem_write

   function bit pending_cpu_notifications (uint32_t core);
-      return csr.notify_queue[core].size();
+      return ( csr.notify_queue[core].size() != 0 );
   endfunction // pending_cpu_notification

   task get_single_cpu_notification (int core, ref uint32_t val);