diff --git a/src/cache_subsystem/wt_icache.sv b/src/cache_subsystem/wt_icache.sv index 55e25798663ac18e301c4eb6ed6518c5f6fc7a75..36b78e2aef403f42509a1973b2302a52727a0a7c 100644 --- a/src/cache_subsystem/wt_icache.sv +++ b/src/cache_subsystem/wt_icache.sv @@ -614,6 +614,12 @@ end else begin : gen_piton_offset assert (ICACHE_SET_ASSOC==4) else $fatal(1,"[l1 icache] cache must be 4-associative"); + + assert (2 ** $clog2(SpecDepth) == SpecDepth) + else $fatal(1,"[l1 icache] SpecDepth is not a power of 2"); + + assert (SpecDepth >= 2) + else $fatal(1,"[l1 icache] SpecDepth is lower than 2"); end `endif //pragma translate_on