Repository navigation
Conversation
A placed netlist carries physical-only cells -- well taps, fillers, decaps -- with no pins, no logic, and often no liberty entry. Loading stops on one: "TAPCELL cannot be found in SNL while constructing instance u_tap". LecIgnoresPhysicalOnlyCellsWithoutAFunction compares a netlist with one against the same netlist without it and expects them equivalent. It fails today; this is the request, not the fix. Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
This branch has not been deployed
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
1 participant
Add this suggestion to a batch that can be applied as a single commit.This suggestion is invalid because no changes were made to the code.Suggestions cannot be applied while the pull request is closed.Suggestions cannot be applied while viewing a subset of changes.Only one suggestion per line can be applied in a batch.Add this suggestion to a batch that can be applied as a single commit.Applying suggestions on deleted lines is not supported.You must change the existing code in this line in order to create a valid suggestion.Outdated suggestions cannot be applied.This suggestion has been applied or marked resolved.Suggestions cannot be applied from pending reviews.Suggestions cannot be applied on multi-line comments.Suggestions cannot be applied while the pull request is queued to merge.Suggestion cannot be applied right now. Please check back later.
A request with a failing test, not a fix.
A placed netlist from an OpenROAD flow carries physical-only cells, such as well taps, fillers and decaps. They have no pins, no logic, and often no liberty entry at all. kepler-formal stops loading on the first one:
In bazel-orfs we strip these cells before a check. That's fine for one generator, but every flow user meets it.
KeplerCliSubprocessTests.LecIgnoresPhysicalOnlyCellsWithoutAFunctioninMiterTestscompares a netlist withTAPCELL u_tap ();against the same netlist without it, using a tiny inline liberty that has no TAPCELL, and expects them equivalent. It fails today with the error above and runs in milliseconds.A possible shape: an instance of an unknown cell with no connections is skipped with a warning, or kept as an empty black box. The error comes from naja's Verilog constructor, so the fix may belong in naja rather than here.
🤖 Generated with Claude Code