[prim_assert] Remove the ASSERT_FPV macro
diff --git a/hw/ip/prim/rtl/prim_assert.sv b/hw/ip/prim/rtl/prim_assert.sv
index fe787af..1044501 100644
--- a/hw/ip/prim/rtl/prim_assert.sv
+++ b/hw/ip/prim/rtl/prim_assert.sv
@@ -171,12 +171,8 @@
// For formal verification only
//------------------------------------------------------------------------------------
-// ASSERT_FPV
-// Assert a concurrent property during formal verification only.
-`define ASSERT_FPV(__name, __prop, __clk, __rst) \
-`ifdef FPV_ON \
- `ASSERT(__name, __prop, __clk, __rst) \
-`endif
+// Note that the existing set of ASSERT macros specified above shall be used for FPV,
+// thereby ensuring that the assertions are evaluated during DV simulations as well.
// ASSUME_FPV
// Assume a concurrent property during formal verification only.
