Skip to content

Partial support of PSL next_a#1319

Merged
nickg merged 4 commits intonickg:masterfrom
Blebowski:psl-next-a
Apr 22, 2026
Merged

Partial support of PSL next_a#1319
nickg merged 4 commits intonickg:masterfrom
Blebowski:psl-next-a

Conversation

@Blebowski
Copy link
Copy Markdown
Contributor

No description provided.

Comment thread src/psl/psl-fsm.c Outdated
@Blebowski Blebowski marked this pull request as draft October 15, 2025 12:28
@Blebowski Blebowski force-pushed the psl-next-a branch 2 times, most recently from 0b866dd to c6d5bf8 Compare April 17, 2026 20:44
@Blebowski Blebowski marked this pull request as ready for review April 17, 2026 20:44
@Blebowski
Copy link
Copy Markdown
Contributor Author

Blebowski commented Apr 17, 2026

This is now resurected from the dead.

There is one mismatch, in Aldec the message is printed 4 times, while NVC prints it 5 times.
I think Aldec does not print message in the same cycle twice, while NVC does.

Other than that, this is ready for review, upstreaming.

@nickg
Copy link
Copy Markdown
Owner

nickg commented Apr 22, 2026

There is one mismatch, in Aldec the message is printed 4 times, while NVC prints it 5 times. I think Aldec does not print message in the same cycle twice, while NVC does.

I think it's caused by the guard check being one cycle too early. I fixed it.

@nickg nickg merged commit 765055b into nickg:master Apr 22, 2026
6 checks passed
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