From 8e7ffb040c3c3bae9dd05c56167631c6a48bf3c7 Mon Sep 17 00:00:00 2001 From: Luke Wren Date: Sat, 17 Dec 2022 11:39:47 +0000 Subject: [PATCH] Comment typo --- test/formal/bus_compliance_2port/tb.v | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/test/formal/bus_compliance_2port/tb.v b/test/formal/bus_compliance_2port/tb.v index 887a4ab..3f20f1b 100644 --- a/test/formal/bus_compliance_2port/tb.v +++ b/test/formal/bus_compliance_2port/tb.v @@ -170,7 +170,7 @@ always @ (posedge clk) if (rst_n) begin // (processor upholds its side of the 4-phase handshake) assert((pwrup_ack != $past(pwrup_ack)) + {1'b0, (pwrup_req != $past(pwrup_req))} < 2'd2); - // Assert rocessor doesn't access the bus whilst asleep + // Assert processor doesn't access the bus whilst asleep if (!(pwrup_req && pwrup_ack && clk_en)) begin assert(i_htrans == 2'h0); assert(d_htrans == 2'h0);