search

YosysHQ / yosys

Yosys Open SYnthesis Suite
https://yosyshq.net/yosys/
ISC License
3.3k stars 860 forks source link

(feature request) read_edif #484

Open AlexDaniel opened 6 years ago

AlexDaniel commented 6 years ago

The other day I was working with some .edif files and realized that yosys has no read_edif command. I'm not sure if that is even possible or if there are any limitations, but at least that would be super helpful for visualizing the design with show. Don't know if that'd make it possible to use yosys for .edif → .blif conversion, but that'd be very cool, right?

To clarify, I'm talking about using yosys with .edif files that were generated by other software.

mithro commented 6 years ago

We would love support for that!

https://github.com/SymbiFlow/ideas/issues/6

peterzieba commented 1 year ago

Is it possible this was addressed with https://github.com/YosysHQ/yosys/pull/3499 ? It sounds like Yosys can be compiled with support for Verific, but if my understanding is correct, verific is not free? Are the necessary parts of it free?

nakengelhardt commented 1 year ago

No, that is unfortunately very not free.