Skip to content

enable lec check #3880

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.

Sign up for GitHub

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

Jump to bottom
Open
nanocoh wants to merge 4 commits into
base: master
Choose a base branch
from
Open

enable lec check #3880

nanocoh wants to merge 4 commits into from

Conversation

@nanocoh
Copy link
Contributor

@nanocoh nanocoh commented Feb 10, 2026

No description provided.

@nanocoh
enable lec check
fd98cd0 
Signed-off-by: Noam Cohen <noam.chn1@gmail.com>
@maliberty
Copy link
Member

maliberty commented Feb 11, 2026

I see some errors that look like tool issues on your side, eg ng45/swerv

[2026-02-10T22:12:14.527Z] [2026-02-10 22:12:13.459] [info] [KeplerFormal.cpp:263] Found top design: swerv
[2026-02-10T22:12:14.527Z] [2026-02-10 22:12:13.681] [error] [KeplerFormal.cpp:339] Workflow failed: Anonymous instance in SNLPath constructor.
[2026-02-10T22:12:14.527Z] child process exited abnormally

@nanocoh
Copy link
Contributor Author

nanocoh commented Feb 11, 2026 •
edited
Loading

I see some errors that look like tool issues on your side, eg ng45/swerv

[2026-02-10T22:12:14.527Z] [2026-02-10 22:12:13.459] [info] [KeplerFormal.cpp:263] Found top design: swerv [2026-02-10T22:12:14.527Z] [2026-02-10 22:12:13.681] [error] [KeplerFormal.cpp:339] Workflow failed: Anonymous instance in SNLPath constructor. [2026-02-10T22:12:14.527Z] child process exited abnormally

A lot of issues are regarding instances that need to be cleaned before dumping the verilog through "write_verilog -remove_cells", will need to edit it one by one but there might be also tool issues indeed among the tests.

Working on cleaning it all one by one and will update the pr right after.

Noam Cohen added 3 commits February 11, 2026 10:44
@nanocoh
add remove cells commands for lec check
7b3868b 
Signed-off-by: Noam Cohen <noam.chn1@gmail.com>
@nanocoh
add remove cells commands for lec check
3bff7a9 
Signed-off-by: Noam Cohen <noam.chn1@gmail.com>
@nanocoh
add remove cells commands for lec check
2fd880a 
Signed-off-by: Noam Cohen <noam.chn1@gmail.com>
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Reviewers

No reviews

Assignees

No one assigned

Labels

None yet

Projects

None yet

Milestone

No milestone

Development

Successfully merging this pull request may close these issues.

2 participants

@nanocoh @maliberty