Skip to content

[STA] Fixed Incremental Slack Timing Analysis Verify Code #2774

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Merged

Conversation

AlexandreSinger
Copy link
Contributor

In debug mode, the STA checks if the incremental STA matches the STA computed from scratch. In this check it checked for if the critical nodes matched; however, the nodes returned are not stably deterministic (it does not break ties in a deterministic way). After discussing with Vaughn, it is safe to just remove the nodes check since it would not change the result of the analysis.

closes #2754

In debug mode, the STA checks if the incremental STA matches the STA
computed from scratch. In this check it checked for if the critical
nodes matched; however, the nodes returned are not stably deterministic
(it does not break ties in a deterministic way). After discussing with
Vaughn, it is safe to just remove the nodes check since it would not
change the result of the analysis.

closes verilog-to-routing#2754
@github-actions github-actions bot added VPR VPR FPGA Placement & Routing Tool lang-cpp C/C++ code labels Oct 15, 2024
@AlexandreSinger
Copy link
Contributor Author

@vaughnbetz This PR has passed CI. This fixed the STA issue we discussed.

@vaughnbetz vaughnbetz merged commit dc3e5dc into verilog-to-routing:master Oct 17, 2024
36 of 53 checks passed
@vaughnbetz
Copy link
Contributor

Thanks Alex!

@AlexandreSinger AlexandreSinger deleted the feature-incr-slack-issue branch November 27, 2024 19:23
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
lang-cpp C/C++ code VPR VPR FPGA Placement & Routing Tool
Projects
None yet
Development

Successfully merging this pull request may close these issues.

[Routing] Incremental Slack Timing Analysis Does Not Match When Computed From Scratch
2 participants