verilog/rtl/fwpayload/fwrisc/ve/fwrisc_mem_formal/tb/fwrisc_mem_defines.svh

/****************************************************************************
 * fwrisc_mem_defines.svh
 ****************************************************************************/


`ifdef FORMAL
        `define assert(x) assert(x)
        `define cover(x) cover(x)
        `define anyseq $anyseq
        `define anyconst $anyconst
`else
        `define assert(x)
        `define cover(x)
        `define anyseq $urandom
        `define anyconst $urandom
`endif