Krzysztof Bieganski
Krzysztof Bieganski
Both of these ideas make sense to us. Comparing the type as well as the name is a simple fix, so it's definitely worth trying. A temporary hash map would...
A lot of these are non-synthesizable and should just be ignored in Yosys. I resurrected @kamilrakoczy's old code that uses UHDM's visitor for marking non-synth objects. It works for the...
With https://github.com/chipsalliance/yosys-f4pga-plugins/pull/243, https://github.com/chipsalliance/yosys-f4pga-plugins/pull/357, and https://github.com/chipsalliance/yosys-f4pga-plugins/pull/358 merged, we should only have these unhandled objects remaining: * `type_parameter` * `foreach_stmt` * `forever_stmt` * `do_while`
https://github.com/verilator/verilator/pull/3579 should fix the first problem. The second one could be fixed by lazy-printing the timestamp, but at its core it's really a performance issue that requires some more thought....
What's the status of this? Does it need more changes?
> Is there an efficient way to only defer deletion of those instances that are at risk of the condition you mention? I think a virtual function that returns `true`...
I'm not working on this and not planning to, so you're good to go @sahilshahpatel (or anyone).
So CRAVE is out of the question?
Oh I agree. That's why we're considering ripping it out. What I like about CRAVE is that it has multiple backends, including CUDD. If not CRAVE, perhaps we could use...
That should do it.