lowRISC / lowRISC/ibex

Ibex simple system cannot simulate with timing flag in Verilator

Open
#2,199 2 comments 0 reactions 0 assignees View on GitHub

Nobody has claimed this yet.

Type:Bug
Dominant language
SystemVerilog
Stars
2.1k
Forks
810
Avg merge
5d 23h
Merged PRs (30d)
9

Description

## Observed Behavior

We synthesized the Ibex core using Yosys and when it is simulated with --timing flag in verilator (in .core file), then the simulation fails throwing an error "Active region did not converge". Can you please shed some light on this and advise me how to debug this issue?
## Expected Behavior

## Steps to reproduce the issue

* With the synthsized netlist, the Ibex simple system "Hello World" program is run with the -no-timing flag and it runs perfectly
* With the synthesized netlist, the same program with -timing flag throws error "Active region did not converge"
## My Environment

**EDA tool and version:**

Verilator version :- 5.018 and 5.026
**Operating system:**

Cent OS 7
**Version of the Ibex source code:**

![Screenshot from 2024-08-05 17-07-23](https://github.com/user-attachments/assets/ce04e089-85a4-4a89-b4b2-a05149e19a91)

Contributor guide

Open the contributing guide

First steps

  1. Read the whole issue, then the project's contributing guide.
  2. Comment on the issue to say you are picking it up — it saves two people doing the same work.
  3. Fork the repository and make your change on a branch.
  4. Open a pull request that references the issue number.

Research direction

Start by reproducing the Ibex simple system Hello World run with the synthesized netlist under Verilator 5.018 or 5.026, comparing the no-timing and timing-flag cases. The issue names no source files, tests, exact commands, or Ibex revision; done would require isolating the cause of the active-region convergence failure and documenting a reproducible result.

Written by the indexing model from the issue text.

Assessment

Domain
embedded-iot, testing-qa
Issue type
Bug
Difficulty
4/5
Estimated time
3-5 days
Activity status
Stale
Clarity
Needs clarification
Newbie friendliness
25/100

Get new issues in your inbox

A short digest of beginner-friendly GitHub issues.