Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

New aiger backend #4593

Merged
merged 40 commits into from
Oct 7, 2024
Merged

New aiger backend #4593

Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
40 commits
Select commit Hold shift + click to select a range
4cfdb7a
Adjust operation naming in aigmap test
povik Sep 10, 2024
fb26945
Start an 'aiger2' backend
povik Sep 10, 2024
fa39227
aiger2: Support `$pos`
povik Sep 11, 2024
5671c10
aiger2: Add strashing option
povik Sep 11, 2024
de8a2fb
aiger2: Fix duplicate symbols on multibit ports
povik Sep 11, 2024
e59387e
aiger2: Add `aigsize` as a second user of index
povik Sep 11, 2024
d7128cb
aiger2: Use shorthands
povik Sep 11, 2024
8e29675
aiger2: Support `$bwmux`, comparison operators
povik Sep 11, 2024
e4b24e8
aiger2: Fix literal typing
povik Sep 11, 2024
dbc937b
aiger2: Describe supported cells in help
povik Sep 11, 2024
9db1ca8
aiger2: Drop `empty_lit()` as a function
povik Sep 11, 2024
6c1fa45
aiger2: Ingest `$pmux`
povik Sep 16, 2024
1cfb902
aiger2: Use `REDUCE` for reduction ops
povik Sep 16, 2024
6cecf19
aiger2: Ingest `$bmux`
povik Sep 16, 2024
1ab7f29
Start read_xaiger2 -sc_mapping
povik Sep 18, 2024
72d6506
aiger2: Ignore benign cells
povik Sep 18, 2024
2a3e907
aiger2: Adjust typing
povik Sep 18, 2024
ea76568
aiger2: Adjust hierarchy/port handling
povik Sep 18, 2024
5f8d7ff
Start new write_xaiger2 backend for export w/ boxes
povik Sep 18, 2024
3a1b003
celltypes: Fix `$buf` eval
povik Sep 18, 2024
f168b2f
read_xaiger2: Update box handling
povik Sep 18, 2024
d4e009f
aiger2: Add TODO
povik Oct 2, 2024
e58a9b6
abc9: Understand ASIC options similar to `abc`
povik Apr 9, 2024
2b1b565
Adjust `read_xaiger2` prints
povik Oct 4, 2024
8d12492
read_xaiger2: Fix detecting the end of extensions
povik Oct 4, 2024
f7c7371
aiger2: Fix relative ordering of PI/POs and box I/Os
povik Oct 5, 2024
4c0a8a1
aiger2: Add analysis step to order boxes
povik Oct 5, 2024
b8f3893
aiger2: Convert x-states to zeroes
povik Oct 5, 2024
e0a86d5
abc_new: Start new command for aiger2-based round trip
povik Oct 5, 2024
81688e3
aigsize: Remove
povik Oct 5, 2024
ac79a05
aiger2: Adjust help
povik Oct 5, 2024
3b6dcc7
abc9_exe: Remove `-genlib` option
povik Oct 5, 2024
2e587c8
abc9_exe: Document SC mapping options
povik Oct 5, 2024
ebe51e2
aiger2: Fix warnings
povik Oct 5, 2024
373e7a1
aiger2: Fix print
povik Oct 5, 2024
47fd2b9
aiger2: Update help
povik Oct 5, 2024
d0a11e2
aiger2: Add test of writing a flattened view
povik Oct 7, 2024
72f0fea
aiger2: Try to fix VS build
povik Oct 7, 2024
f44a418
read_xaiger2: Add casts to silence warnings
povik Oct 7, 2024
7989d53
read_xaiger2: Add help
povik Oct 7, 2024
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
1 change: 1 addition & 0 deletions backends/aiger2/Makefile.inc
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -0,0 +1 @@
OBJS += backends/aiger2/aiger.o
Loading
Loading