commit 03b076cd3e56de8b1e172defa623298c9a7463a4
author Michael Schaffner <msf@google.com> Fri Sep 06 13:36:21 2019 -0700
committer msfschaffner <msf@google.com> Fri Sep 06 15:17:51 2019 -0700
tree 7d5df0b1fcc16dcfc24bfec84ba5fd70fee7eff2
parent e9e504a02ed66afd8bb07d74ac3267143b24ce9f

[prim_assert] Align ASSUME macro to use PRIM_STRINGIFY

hw/ip/prim/rtl/prim_assert.sv

diff --git a/hw/ip/prim/rtl/prim_assert.sv b/hw/ip/prim/rtl/prim_assert.sv
index cc01d98..fe787af 100644
--- a/hw/ip/prim/rtl/prim_assert.sv
+++ b/hw/ip/prim/rtl/prim_assert.sv
@@ -164,7 +164,7 @@
 `define ASSUME(__name, __prop, __clk, __rst)                                      \
 `ifndef VERILATOR                                                                 \
   __name: assume property (@(posedge __clk) disable iff (__rst !== '0) (__prop))  \
-     else begin `ASSERT_RPT(`STRINGIFY(__name), `STRINGIFY(__prop)) end           \
+     else begin `ASSERT_RPT(`PRIM_STRINGIFY(__name), `PRIM_STRINGIFY(__prop)) end \
 `endif
 
 //------------------------------------------------------------------------------------