search

YosysHQ / sby

SymbiYosys (sby) -- Front-end for Yosys-based formal verification flows
Other
387 stars 73 forks source link

Support Scripting sby Jobs #1

Closed awygle closed 6 years ago

awygle commented 6 years ago

Hi Clifford,

I'd like to be able to call SymbiYosys from FuseSoC as a backend. My rationale is that I already have all my Verilog files and whatnot enumerated in the FuseSoC cores file, and I don't want to duplicate that information in an sby file as well.

As a first step to that, I need to be able to script an sby job. While I can do this by creating a temporary sby file, it would be a lot cleaner if I could either pass my temporary file directly to sby on stdin, or if I could import the sby module into a Python script. Both would require some refactoring.

Would you be willing to accept a patch for either or both of these features? Or do you have a different vision for what scripting should look like? I have a proof of concept of the stdin option already, as that's the much easier path.

cliffordwolf commented 6 years ago

I use the "generate .sby file" approach a lot and don't necessarily see an issue with that. However, if your stdin approach does not overly complicate things then I'd be happy to include it. Do you want to create a PR for that?