[kmac,dv] Remove assertion about last signal
The app interface has a valid signal. When that signal is low, the
interface should be ignored, so there's no need for an assertion about
the value of the last signal in this case.
I've just checked and I think the RTL is fine here: the arbiter in
kmac_app.sv handles the valid bits properly. Also, the agent that DV
uses to model the app interface sends Xs on these signals when valid
is low, so X propagation would catch if we'd done anything silly.
Signed-off-by: Rupert Swarbrick <rswarbrick@lowrisc.org>
diff --git a/hw/dv/sv/kmac_app_agent/kmac_app_intf.sv b/hw/dv/sv/kmac_app_agent/kmac_app_intf.sv
index 89e2dfd..96f4483 100644
--- a/hw/dv/sv/kmac_app_agent/kmac_app_intf.sv
+++ b/hw/dv/sv/kmac_app_agent/kmac_app_intf.sv
@@ -72,8 +72,6 @@
end
// The following assertions apply for this interface for all modes.
- // last can only be asserted along with valid
- `ASSERT(LastAssertWithValid_A, kmac_data_req.last |-> kmac_data_req.valid, clk, !rst_n)
// Done should be asserted after last, before we start another request
`ASSERT(DoneAssertAfterLast_A,
