mirror of
https://github.com/YosysHQ/yosys.git
synced 2026-09-07 12:21:16 +02:00
Jannis Harder
10d5d358d2
While SBY's aiger flow already removes non-assertion driving logic, there are some uses of write_aiger outside of SBY that could end up with $scopeinfo cells, so we explicitly ignore them. The write_btor backend works differently and due to the way it recursively visits cells, it would never reach isolated cells like $scopeinfo.