vericert.hls.Memorygen
#[
local
]
Hint
Resolve
max_reg_stmnt_le_stmnt_tree
:
mgen
.
#[
local
]
Hint
Resolve
max_reg_stmnt_lt_stmnt_tree
:
mgen
.
#[
local
]
Hint
Resolve
max_stmnt_lt_module
:
mgen
.