mirrors/yosys
3
0
Fork 0
mirror of https://github.com/YosysHQ/yosys synced 2025-11-04 13:29:12 +00:00
Code Activity
yosys/backends/aiger2
History
Exact
Jannis Harder 90669ab4eb aiger2: Only fail for reachable undirected bufnorm helper cells 
The aiger2 backend checks for unsupported cells during indexing. This
causes it to fail when `$connect` or `$tribuf` (as workaround for
missing 'z-$buf support) cells are present in the module.

Since bufnorm adds these cells automatically, it is very easy to end up
with them due to unconnected wires or e.g. `$specify` cells, which do
not pose an actual problem for the backend, since it will never
encounter those during a traversal.

With this, we ignore them during indexing and only produce an actual error
message if we reach such a cell during the traversal.
2025-09-29 08:21:28 +02:00
..
aiger.cc aiger2: Only fail for reachable undirected bufnorm helper cells 2025-09-29 08:21:28 +02:00
Makefile.inc Start an 'aiger2' backend 2024-09-17 13:55:58 +02:00