-1

I have been trying to use yosys in order to extract FSMs from my structural verilog file (gate library is simprims of Xilinx) with no success. I figured I might need to inform yosys which gate library I use or something similar, but as I said, no success. Is there anything I should do in order to make this work? Thank you.

1
  • Can you add more details? Any code to share? Commented May 9, 2020 at 19:55

1 Answer 1

0

Yosys' FSM extraction is designed to extract FSMs from coarse grain RTL-derived netlists. It is not going to be able to extract FSMs from technology-mapped netlists, this would need a different approach.

5
  • Thank you! Doesn't yosys support structural verilog at all? Is there anything I can do (maybe converting the design to a different format?) in order to use yosys' tools (fsm extraction, optimizations, etc)? or structural verilog files are just not supported? Thanks again! Commented May 6, 2020 at 14:23
  • Yosys supports structural Verilog. It is the FSM passes in Yosys that only work on directly RTL-derived netlists
    – gatecat
    Commented May 6, 2020 at 14:42
  • I had no luck with optimizing the design through yosys, it couldn't even recognize I had muxes although I had. Except writing my design into other formats (such as AIGER, EDIF) I couldn't really do anything. Commented May 6, 2020 at 17:01
  • You might need to read in the cell definitions using read_liberty or read_verilog, followed by hierarchy and flatten
    – gatecat
    Commented May 6, 2020 at 17:29
  • However, that will cause the original mapping to be lost, as it will replace cells with their implementations.
    – gatecat
    Commented May 6, 2020 at 17:30

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge you have read our privacy policy.

Not the answer you're looking for? Browse other questions tagged or ask your own question.