v1.22.0
1.22.0 - 2021-06-09
Added
- Add
spill_register_flushable
Changed
registers.svh
: Merge explicit and implicit register variants into`FF
and`FFL
macrosrr_arb_tree
: Allow flushing locked decision- Improved
verific
compatibility
spill_register_flushable
registers.svh
: Merge explicit and implicit register variants into `FF
and `FFL
macrosrr_arb_tree
: Allow flushing locked decisionverific
compatibility