1 module top (input logic clock, ctrl);
2 logic read = 0, write = 0, ready = 0;
4 always @(posedge clock) begin
11 module top_properties (input logic clock, read, write, ready);
12 a_rw: assert property ( @(posedge clock) !(read && write) );
14 a_wr: assert property ( @(posedge clock) write |-> ready );
16 a_wr: assert property ( @(posedge clock) write |=> ready );
20 bind top top_properties properties_inst (.*);