aboutsummaryrefslogtreecommitdiffstats
path: root/backends/aiger
Commit message (Collapse)AuthorAgeFilesLines
...
* | | log_debug() for abc9_{arrival,required} timesEddie Hung2020-01-101-0/+8
| | |
* | | write_xaiger: cleanupEddie Hung2020-01-091-17/+15
| | |
* | | write_xaiger: cope with abc9_arrival as string of intsEddie Hung2020-01-091-8/+21
|/ /
* | Stray log_moduleEddie Hung2020-01-061-2/+0
| |
* | Revert "write_xaiger to pad, not abc9_ops -prep_holes"Eddie Hung2020-01-061-16/+10
| | | | | | | | This reverts commit b5f60e055d07579a2d4f23fc053ca030f103f377.
* | Merge remote-tracking branch 'origin/xaig_dff' into eddie/abc9_refactorEddie Hung2020-01-062-56/+41
|\|
| * write_xaiger: make more robust, update docEddie Hung2020-01-061-29/+14
| |
| * write_aiger: make more robustEddie Hung2020-01-061-0/+8
| |
| * Restore write_xaiger's holes_mode since port_id order causes QoREddie Hung2020-01-031-27/+19
| | | | | | | | regressions inside abc9
| * CleanupEddie Hung2020-01-021-2/+1
| |
| * write_xaiger: get rid of external_bits dictEddie Hung2020-01-021-1/+1
| |
* | write_xaiger to pad, not abc9_ops -prep_holesEddie Hung2020-01-051-10/+16
| |
* | Fix when -dff not givenEddie Hung2020-01-041-14/+10
| |
* | Call -prep_holes before aigmap; fix topo orderingEddie Hung2020-01-031-8/+1
| |
* | WIPEddie Hung2020-01-031-56/+0
| |
* | Preserve topo ordering from -prep_holes to write_xaigerEddie Hung2020-01-031-159/+77
| |
* | WIPEddie Hung2020-01-031-67/+8
| |
* | WIPEddie Hung2020-01-031-23/+141
| |
* | Merge remote-tracking branch 'origin/xaig_dff' into eddie/abc9_refactorEddie Hung2020-01-021-145/+128
|\|
| * abc9 -keepff -> -dff; refactor dff operationsEddie Hung2020-01-021-89/+47
| |
| * Get rid of (* abc9_keep *) in write_xaiger tooEddie Hung2020-01-011-15/+18
| |
| * attributes.count() -> get_bool_attribute()Eddie Hung2020-01-011-1/+1
| |
| * parse_xaiger to not take box_lookupEddie Hung2019-12-311-2/+13
| |
| * Do not re-order carry chain ports, just precompute iteration orderEddie Hung2019-12-311-22/+32
| |
| * write_xaiger: be more precise with ff_bits, remove ff_aig_mapEddie Hung2019-12-311-21/+19
| |
| * Retry getting rid of write_xaiger's holes_modeEddie Hung2019-12-311-81/+41
| |
| * Revert "Get rid of holes_mode"Eddie Hung2019-12-301-35/+70
| | | | | | | | This reverts commit 7997e2a90fd37886241b7eb657408177ef7f6fa7.
| * Get rid of holes_modeEddie Hung2019-12-301-70/+35
| |
* | Move Pass::call() out of abc9_ops into abc9Eddie Hung2019-12-301-0/+4
| |
* | CleanupEddie Hung2019-12-301-7/+3
| |
* | Rid unnecessary ifEddie Hung2019-12-301-13/+11
| |
* | Get rid of holes_modeEddie Hung2019-12-301-70/+35
| |
* | Add abc9_ops -prep_holesEddie Hung2019-12-301-132/+8
|/
* write_xaiger to use scratchpad for stats; cleanup abc9Eddie Hung2019-12-301-17/+5
|
* Remove unusedEddie Hung2019-12-301-5/+0
|
* Call "proc" if processes inside whiteboxesEddie Hung2019-12-301-1/+1
|
* Merge remote-tracking branch 'origin/master' into xaig_dffEddie Hung2019-12-301-21/+27
|\
| * write_xaiger: inherit port ordering from original moduleEddie Hung2019-12-271-5/+16
| |
| * Revert "Merge pull request #1598 from YosysHQ/revert-1588-eddie/xaiger_cleanup"Eddie Hung2019-12-271-19/+27
| | | | | | | | | | This reverts commit 92654f73ea92ee9e390c8ab50d8cb51c47a7ffa9, reversing changes made to 3e14ff16676884a1f65cf0eeb0ca9cb1958b8804.
| * Merge branch 'master' of github.com:YosysHQ/yosysEddie Hung2019-12-271-27/+19
| |\
| | * Revert "write_xaiger: only instantiate each whitebox cell type once"David Shah2019-12-271-27/+19
| | |
| * | write_xaiger: simplify c{i,o}_bitsEddie Hung2019-12-271-12/+6
| |/
| * write_xaiger: only instantiate each whitebox cell type onceEddie Hung2019-12-201-19/+27
| |
| * Revert "Optimise write_xaiger"Eddie Hung2019-12-201-24/+21
| |
| * Stray newlineEddie Hung2019-12-061-1/+0
| |
| * write_xaiger to inst each cell type once, do not call techmap/aigmapEddie Hung2019-12-061-21/+25
| |
| * Revert "Fold loop"Eddie Hung2019-11-271-3/+6
| | | | | | | | This reverts commit a30d5e1cc35791a98b2269c5e587c566fe8b0a35.
| * latch -> boxEddie Hung2019-11-261-1/+1
| |
| * Fold loopEddie Hung2019-11-261-6/+3
| |
| * Do not sigmap keep bits inside write_xaigerEddie Hung2019-11-261-1/+1
| |