aboutsummaryrefslogtreecommitdiffstats
path: root/backends/aiger
Commit message (Collapse)AuthorAgeFilesLines
* Fix write_aiger bug added in 524af21Clifford Wolf2019-11-041-0/+3
| | | | Signed-off-by: Clifford Wolf <clifford@clifford.at>
* Rename abc_* names/attributes to more precisely be abc9_*Eddie Hung2019-10-041-9/+9
|
* Merge pull request #1359 from YosysHQ/xc7dspEddie Hung2019-09-291-8/+8
|\ | | | | DSP inference for Xilinx (improved for ice40, initial support for ecp5)
| * "abc_padding" attr for blackbox outputs that were padded, remove them laterEddie Hung2019-09-231-1/+6
| |
| * Force $inout.out ports to begin with '$' to indicate internalEddie Hung2019-09-231-1/+1
| |
| * When two boxes connect to each other, need not be a (* keep *)Eddie Hung2019-09-191-6/+1
| |
* | Add aiger and protobuf backends binary supportMiodrag Milanovic2019-09-281-1/+1
| |
* | Support binary files for backends, fixes #1407Miodrag Milanovic2019-09-281-1/+1
|/
* Add "write_aiger -L"Clifford Wolf2019-09-181-5/+16
| | | | Signed-off-by: Clifford Wolf <clifford@clifford.at>
* Recognise built-in types (e.g. $_DFF_*)Eddie Hung2019-08-301-3/+3
|
* Revert "Revert "Fix omode which inserts an output if none exists (otherwise ↵Eddie Hung2019-08-281-7/+8
| | | | | | abc9 breaks)"" This reverts commit 8f0c1232d7c511a6473f4581e4c27a90088cedb7.
* Revert "Output "h" extension only if boxes"Eddie Hung2019-08-281-32/+28
| | | | This reverts commit 399ac760ff2bf4a7d438ed388820e7bfb511de6b.
* Output "h" extension only if boxesEddie Hung2019-08-211-28/+32
|
* Revert "Fix omode which inserts an output if none exists (otherwise abc9 ↵Eddie Hung2019-08-211-8/+7
| | | | | | breaks)" This reverts commit 8182cb9d91555d5be52abbfeeb5d22af05342d8a.
* Fix omode which inserts an output if none exists (otherwise abc9 breaks)Eddie Hung2019-08-201-7/+8
|
* Revert "Only xaig if GetSize(output_bits) > 0"Eddie Hung2019-08-201-149/+147
| | | | This reverts commit 7b646101e936cacd20938c20ddfbaa63ee268fb2.
* Only xaig if GetSize(output_bits) > 0Eddie Hung2019-08-201-147/+149
|
* Remove sequential extensionEddie Hung2019-08-201-270/+29
|
* Do not sigmap!Eddie Hung2019-08-201-2/+2
|
* Minor refactorEddie Hung2019-08-201-7/+6
|
* Output i/o/h extensions even if no boxes or flopsEddie Hung2019-08-191-65/+66
|
* Add (* abc_arrival *) attributeEddie Hung2019-08-191-9/+66
|
* Merge remote-tracking branch 'origin/master' into xaig_dffEddie Hung2019-08-191-1/+1
|\
| * Fix various NDEBUG compiler warnings, closes #1255Clifford Wolf2019-08-131-1/+1
| | | | | | | | Signed-off-by: Clifford Wolf <clifford@clifford.at>
* | Use %dEddie Hung2019-08-191-1/+1
| |
* | Merge branch 'eddie/abc9_refactor' into xaig_dffEddie Hung2019-08-161-62/+25
|\ \
| * | Compute abc_scc_break and move CI/CO outside of each abc9Eddie Hung2019-08-161-42/+0
| |/
| * Merge pull request #1258 from YosysHQ/eddie/cleanupClifford Wolf2019-08-101-5/+5
| |\ | | | | | | Cleanup a few barnacles across codebase
| | * RTLIL::S{0,1} -> State::S{0,1}Eddie Hung2019-08-061-5/+5
| | |
| * | Run "clean -purge" on holes_module in its own designEddie Hung2019-08-071-6/+11
| |/
| * Merge pull request #1238 from mmicko/vsbuild_fixClifford Wolf2019-08-021-1/+1
| |\ | | | | | | Visual Studio build fix
| | * Visual Studio build fixMiodrag Milanovic2019-07-311-1/+1
| | |
| * | Fix formatting for msys2 mingw build using GetSizeMiodrag Milanovic2019-08-011-6/+6
| |/
* | abc_flop to also get topologically sortedEddie Hung2019-07-101-11/+10
| |
* | Fix clk_pol for FD*_1Eddie Hung2019-07-101-1/+0
| |
* | Fix spacingEddie Hung2019-07-101-1/+1
| |
* | Change how to specify flops to ABC againEddie Hung2019-07-101-10/+20
| |
* | Use split_tokens()Eddie Hung2019-07-101-17/+11
| |
* | Merge remote-tracking branch 'origin/master' into xaig_dffEddie Hung2019-07-101-10/+20
|\|
| * Rename __builtin_bswap32 -> bswap32Eddie Hung2019-07-091-4/+6
| |
| * write_xaiger to treat unknown cell connections as keep-sEddie Hung2019-07-021-6/+14
| |
* | Safe side: all flops have different mergeability classEddie Hung2019-07-021-1/+1
| |
* | Refactor and cope with new abc_flop formatEddie Hung2019-07-011-16/+38
| |
* | Merge remote-tracking branch 'origin/master' into xaig_dffEddie Hung2019-07-012-98/+160
|\|
| * Add generic __builtin_bswap32 functionEddie Hung2019-06-281-0/+15
| |
| * Also fix write_aiger for UBEddie Hung2019-06-281-26/+26
| |
| * Fix more potential for undefined behaviour due to container invalidationEddie Hung2019-06-281-6/+10
| |
| * Refactor for one "abc_carry" attribute on moduleEddie Hung2019-06-271-42/+40
| |
| * Improve debugging message for comb loopsEddie Hung2019-06-261-4/+6
| |
| * Carry in/out box ordering now move to end, not swap with endEddie Hung2019-06-221-26/+34
| |