Page MenuHomeSolus

update yosys to 0.23
ClosedPublic

Authored by hashhsah on Sun, Nov 13, 9:24 AM.

Details

Summary

There are numerous new features from 0.20 to 0.23, including improved support for Verific, verification, new commands and options.

Release notes:

Test Plan
  • passed all cases in the check step.
  • install, run example in examples/osu035 with make, see result file example.edif.
  • run example in examples/python-api, check if it produces a plot.

Diff Detail

Repository
R4746 yosys
Lint
Automatic diff as part of commit; lint not applicable.
Unit
Automatic diff as part of commit; unit tests not applicable.

Event Timeline

hashhsah created this revision.Sun, Nov 13, 9:24 AM
hashhsah requested review of this revision.Sun, Nov 13, 9:24 AM
Staudey edited the summary of this revision. (Show Details)Sun, Nov 13, 4:20 PM
Staudey edited the test plan for this revision. (Show Details)
Staudey accepted this revision.Sun, Nov 13, 4:44 PM
Staudey added a subscriber: Staudey.

LGTM, thanks!

This revision is now accepted and ready to land.Sun, Nov 13, 4:44 PM
This revision was automatically updated to reflect the committed changes.