Open Harshitha172000 opened 3 years ago
Properties that failed:
Solver picks up a case where the write enable changes due to atomic signal transition.
Code: https://github.com/openrisc/mor1kx/blob/master/bench/formal/fwb_master.v#L173#L186
Trace showing failure:
can you put a link to the code, or mention the module where this is happening?
Wishbone Interface referring to mor1kx.v module.
Properties that failed:
Solver picks up a case where the write enable changes due to atomic signal transition.
Code: https://github.com/openrisc/mor1kx/blob/master/bench/formal/fwb_master.v#L173#L186
Trace showing failure: