[aes/rtl] Assert Known for outputs

This commit adds an assertion to check that outputs always have a known value after reset. This is related to #405.
lowRISC · Oct 25, 2019 · fde954f · fde954f
1 parent 3e22024
commit fde954f
Showing 1 changed file with 4 additions and 0 deletions.
diff --git a/hw/ip/aes/rtl/aes.sv b/hw/ip/aes/rtl/aes.sv
@@ -39,4 +39,8 @@ module aes #(
     .hw2reg
   );
 
+  // All outputs should have a known value after reset
+  `ASSERT_KNOWN(TlODValidKnown, tl_o.d_valid, clk_i, !rst_ni)
+  `ASSERT_KNOWN(TlOAReadyKnown, tl_o.a_ready, clk_i, !rst_ni)
+
 endmodule