镜像站点 · 本页由第三方 GitHub 只读镜像提供,非 GitHub 官方站点,不接受任何登录或凭据输入。前往 github.com
Skip to content

sdf: skip SETUPHOLD/RECREM checks on an instance the netlist does not have null check - #441

Open
jrrk2 wants to merge 2 commits into
The-OpenROAD-Project:masterfrom
jrrk2:sdf-missing-instance-checks
Open

jrrk2 wants to merge 2 commits into
The-OpenROAD-Project:masterfrom
jrrk2:sdf-missing-instance-checks

Conversation

@jrrk2

@jrrk2 jrrk2 commented Oct 22, 2026

Copy link
Copy Markdown

When an SDF CELL names an instance the netlist does not have, setInstance reports it (warning 195) and leaves instance_ null, and the cell's entries are skipped -- every handler checks instance_ except timingCheckSetupHold1, shared by SETUPHOLD and RECREM, which passed it to network_->cell() and segfaulted. Guard it as timingCheckPeriod and timingCheckWidth are guarded, including the incremental-only condition.

Seen on nextpnr's SDF for a Xilinx 7-series design, whose cell names contain '/' (read as a hierarchy divider, so the instance is not found).

… have

When an SDF CELL names an instance the netlist does not have, setInstance
reports it (warning 195) and leaves instance_ null, and the cell's entries
are skipped -- every handler checks instance_ except timingCheckSetupHold1,
shared by SETUPHOLD and RECREM, which passed it to network_->cell() and
segfaulted.  Guard it as timingCheckPeriod and timingCheckWidth are guarded,
including the incremental-only condition.

Seen on nextpnr's SDF for a Xilinx 7-series design, whose cell names
contain '/' (read as a hierarchy divider, so the instance is not found).

Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>

@gemini-code-assist gemini-code-assist Bot left a comment

Copy link
Copy Markdown

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Code Review

This pull request updates SdfReader::timingCheckSetupHold1 to include a conditional check that prevents timing checks from being processed if the instance is null or if specific incremental conditions are met. I have no feedback to provide as there were no review comments.

@CLAassistant

CLAassistant commented Oct 22, 2026 •

Copy link
Copy Markdown

CLA assistant check
All committers have signed the CLA.

Windows cannot run a script by its #! line, so StaTclInitVar.cc was never
generated there.

Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants