search

zachjs / sv2v

SystemVerilog to Verilog conversion
BSD 3-Clause "New" or "Revised" License
532 stars 52 forks source link

New open source SystemVerilog compliance suite being created #24

Closed mithro closed 4 years ago

mithro commented 5 years ago

It might be of interest to you that the SymbiFlow project has started working on an open source System Verilog compliance suite which can be found at https://github.com/SymbiFlow/sv-tests

It's still very early stages, but its goal is to cover the whole of the System Verilog LRM.

The project is currently trying to produce a "status report" for popular open source tools and your sv2v parser is being added in https://github.com/SymbiFlow/sv-tests/pull/47 . The resulting output report can be found at https://symbiflow.github.io/sv-tests/.

taylor-bsg commented 5 years ago

Super cool! It would be neat to run it on the commercial tools as well. Also interesting would be a tool that you can run on a piece of source and see what features it uses!

M

On Mon, Sep 2, 2019 at 5:12 PM Tim Ansell notifications@github.com wrote:

It might be of interest to you that the SymbiFlow project has started working on an open source System Verilog compliance suite which can be found at https://github.com/SymbiFlow/sv-tests

It's still very early stages, but its goal is to cover the whole of the System Verilog LRM.

The project is currently trying to produce a "status report" for popular open source tools and your sv2v parser is being added in SymbiFlow/sv-tests#47 https://github.com/SymbiFlow/sv-tests/pull/47 . The resulting output report can be found at https://symbiflow.github.io/sv-tests/.

— You are receiving this because you are subscribed to this thread. Reply to this email directly, view it on GitHub https://github.com/zachjs/sv2v/issues/24?email_source=notifications&email_token=AEFG5AAXJ7WSMTTDE2YD5FLQHWTVHA5CNFSM4ITAZ5O2YY3PNVWWK3TUL52HS4DFUVEXG43VMWVGG33NNVSW45C7NFSM4HI3QGCQ, or mute the thread https://github.com/notifications/unsubscribe-auth/AEFG5AHK3LAO4RTO7SA5PODQHWTVHANCNFSM4ITAZ5OQ .

mithro commented 5 years ago

@taylor-bsg Most of the commercial tools forbid you from publish this type of results and the symbiflow project only really cares about open source tooling. Nothing prevents you from running the test suite against a commercial tool yourself however.

taylor-bsg commented 5 years ago

I think the open source community and commercial community alike would benefit from more uniformity in support, since the side effect of such an evaluation is that more code works in more places.

M

On Mon, Sep 2, 2019 at 5:38 PM Tim Ansell notifications@github.com wrote:

@taylor-bsg https://github.com/taylor-bsg Most of the commercial tools forbid you from publish this type of results and the symbiflow project only really cares about open source tooling. Nothing prevents you from running the test suite against a commercial tool yourself however.

— You are receiving this because you were mentioned.

Reply to this email directly, view it on GitHub https://github.com/zachjs/sv2v/issues/24?email_source=notifications&email_token=AEFG5AHDRTSYRJEBHCL2OJ3QHWW2HA5CNFSM4ITAZ5O2YY3PNVWWK3TUL52HS4DFVREXG43VMVBW63LNMVXHJKTDN5WW2ZLOORPWSZGOD5WWRGA#issuecomment-527263896, or mute the thread https://github.com/notifications/unsubscribe-auth/AEFG5AHEZ3CFZUNKW2IEF53QHWW2HANCNFSM4ITAZ5OQ .

NilsGraf commented 5 years ago

BTW, I'm in the process of testing this excellent sv2v tool on the Ibex RTL and a larger design. This includes formal verification by comparing the generated Verilog against the original SystemVerilog using a commercial LEC tool (such as Conformal from Cadence).

zachjs commented 5 years ago

@mithro That project looks like an incredible asset to the community. Thank you! I've already begun using it to find issues/features to add.

@NilsGraf I look forward to seeing the results! I've been plugging away at the many issues you've found. While I feel the tool is in a pretty good state (successfully converted, synthesized, and booted a RISC-V core), there is clearly more to be done. I appreciate the effort you've been putting in to help things along.

NilsGraf commented 4 years ago

FYI, using latest sv2v version, I'm now able to convert Ibex SystemVerilog to Verilog and read it into Yosys without errors, see this PR. However, running Conformal LEC between original SystemVerilog and synthesized netlist doesn't match yet, still debugging it.

zachjs commented 4 years ago

@NilsGraf I'm curious if you have any update on this. I'd be happy to help you with debugging in any way I can. If you have access to a commercial synthesis tool, it may be worth trying to disable different sets of conversions (beyond what the CLI provides) to narrow in on the source of issue.

zachjs commented 4 years ago

I'm closing this issue for lack of activity. I will continuing using https://github.com/SymbiFlow/sv-tests to identify issues and missing support in sv2v. I've found it very helpful!