`ifndef RVV_ASSERT__SVH
`define RVV_ASSERT__SVH

`define RVV_ASSERT_CLK  rvv_backend.clk
`define RVV_ASSERT_RSTN rvv_backend.rst_n
// SV2009 feature - default values for arguments
`define rvv_expect(prop) assert property (@(posedge `RVV_ASSERT_CLK) disable iff (~`RVV_ASSERT_RSTN) prop)
`define rvv_forbid(seq)  assert property (@(posedge `RVV_ASSERT_CLK) disable iff (~`RVV_ASSERT_RSTN) not (strong(seq)))
`define rvv_cover(seq)   cover  property (@(posedge `RVV_ASSERT_CLK) disable iff (~`RVV_ASSERT_RSTN) seq)
`define rvv_assume(prop) assume property (@(posedge `RVV_ASSERT_CLK) disable iff (~`RVV_ASSERT_RSTN) prop)

`endif // RVV_ASSERT_SVH