mirrors/yosys
3
0
Fork 0
mirror of https://github.com/YosysHQ/yosys synced 2026-06-07 01:20:57 +00:00
Code Activity

read_aiger: import standard-cell mappings from ABC

Browse source
This commit is contained in:
Lofty 2026-06-05 10:43:38 +01:00
parent d7093743b8
commit 2a4525efbb
2 changed files with 85 additions and 9 deletions
Download patch file Download diff file Expand all files Collapse all files

2
frontends/aiger2/xaiger.cc
View file

@ -187,7 +187,7 @@ struct Xaiger2Frontend : public Frontend {
if (c == 'h') {
uint32_t len, ci_num, co_num, pi_num, po_num, no_boxes;
len = read_be32(*f);
read_be32(*f);
read_be32(*f); // version
ci_num = read_be32(*f);
co_num = read_be32(*f);
pi_num = read_be32(*f);