Differential D13766

update yosys to 0.23
ClosedPublic
Actions

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

Details

Reviewers

Staudey

Group Reviewers

Triage Team

Commits

R4746:431589215ec4: update yosys to 0.23

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

Lint Not Applicable

Unit

Tests Not Applicable

Event Timeline

hashhsah created this revision.Nov 13 2022, 9:24 AM

Herald added a reviewer: Triage Team. · View Herald TranscriptNov 13 2022, 9:24 AM

hashhsah requested review of this revision.Nov 13 2022, 9:24 AM

Harbormaster completed remote builds in B4600: Diff 33608.Nov 13 2022, 9:24 AM

Staudey edited the summary of this revision. (Show Details)Nov 13 2022, 4:20 PM

Staudey edited the test plan for this revision. (Show Details)

LGTM, thanks!

This revision is now accepted and ready to land.Nov 13 2022, 4:44 PM

Closed by commit R4746:431589215ec4: update yosys to 0.23 (authored by hash <hashhsah@gmail.com>, committed by Staudey). · Explain WhyNov 13 2022, 4:44 PM

This revision was automatically updated to reflect the committed changes.

Staudey added a commit: R4746:431589215ec4: update yosys to 0.23.

Revision Contents
Changeset List

Path

Size

22 lines

1 line

11 lines

11 lines

Diff 33609

View Options

abi_symbols

View Options

abi_used_symbols

View Options

package.yml

View Options

update yosys to 0.23ClosedPublicActions

Details

Diff Detail

Event Timeline

Revision ContentsChangeset List

Diff 33609

abi_symbols

abi_used_symbols

package.yml

pspec_x86_64.xml

update yosys to 0.23
ClosedPublic
Actions

Revision Contents
Changeset List