Commit dec3e760 authored by Guillem's avatar Guillem
Browse files

Cleanup and new assertion MCCU

parent 22fc949f
......@@ -268,6 +268,14 @@
!enable_i ? 1'b0:
(ccc_suma_int[x]>{{O_D_0PAD{1'b0}},quota_int[x]})? 1'b1:1'b0;
end
`ifdef ASSERTIONS
always @(posedge clk_i) begin
for(integer x=0; x<N_CORES; x=x+1) begin: InterruptionQuota
if(quota_int[x]>ccc_suma_int[x])
assert (interruption_quota_o[x]==1'b0);
end
end
`endif
/*----------
forward results of internal registers
----------*/
......
Supports Markdown
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment