|
- module ass();
-
- //wvalid id high and wready is low then wdata,wid,wstb should be stable
-
- property p1();
-
- @(posedge clk)
- disable iff(rst)
- (wvalid & !wready) |-> ($stable(wdata) && $stable(wid) && $stable(wstrb));
-
- endproperty
-
-
- assert property (p1)
- $display("PASS");
- else
- $diplay("FAIL");
-
- //In write transaction when burst type is wrap then len must have 2,4,8 or 16
-
- property p1();
-
- @(posedge clk)
- disable iff(rst)
- (awvalid & awburst==2'b01) |-> ((awlen==8'b00000010)||(awlen==8`b00000100)||(awlen==8'b00001000)||(awlen==8`b00010000));
-
- endproperty
-
-
- assert property (p1)
- $display("PASS");
- else
- $diplay("FAIL");
-
- endmodule
|