[BUG] Combinational loop in hypervisor extension #2803
Labels
notCV32A65X
It is not an CV32A65X issue
Type:Bug
For bugs in the RTL, Documentation, Verification environment or Tool and Build system
Is there an existing CVA6 bug for this?
Bug Description
The decoder (core/decoder.sv) does not assign a default value to signal 'tinst', when the hypervisor extension is enabled (CVA6Cfg.RVH). This leads to a combinational loop in some tool flows.
Assigning a default value at the beginning of:
always_comb begin : decoder
solves the problem.The text was updated successfully, but these errors were encountered: