commit 55b2f89bfdfce0227216000a963f09fdf6b143d6
author Cindy Chen <chencindy@google.com> Wed Mar 03 18:48:58 2021 -0800
committer cindychip <cindy.chen0316@gmail.com> Thu Mar 04 10:42:01 2021 -0800
tree f09ac888908f981a133624b09fc3eb78d6f9bf69
parent 6e6b7ba52878398e0976a3a3d88112d374b03555

[fpv] enable tlul check in fpv

This PR removes the temp assumption to disable the TLUL check, as
PR #5435 is merged.

Signed-off-by: Cindy Chen <chencindy@google.com>

util/reggen/fpv_csr.sv.tpl

diff --git a/util/reggen/fpv_csr.sv.tpl b/util/reggen/fpv_csr.sv.tpl
index 3c9a37b..313440a 100644
--- a/util/reggen/fpv_csr.sv.tpl
+++ b/util/reggen/fpv_csr.sv.tpl
@@ -56,8 +56,6 @@
   assign a_mask_bit[23:16] = h2d.a_mask[2] ? '1 : '0;
   assign a_mask_bit[31:24] = h2d.a_mask[3] ? '1 : '0;
 
-  // TODO: temp disable ECC check
-  `ASSUME_FPV(DisEcc_S, h2d.a_user.chk_en == CheckDis)
 <%
   addr_msb   = block.addr_width - 1
   reg_width  = block.addr_width