aboutsummaryrefslogtreecommitdiffstats
path: root/backends
Commit message (Expand)AuthorAgeFilesLines
* abc9_ops: cope with (* abc9_flop *) in place of (* abc9_box_id *)Eddie Hung2020-01-141-1/+1
* Merge remote-tracking branch 'origin/eddie/abc9_refactor' into eddie/abc9_req...Eddie Hung2020-01-141-2/+6
|\
| * write_xaiger: do not export flop inputs as POsEddie Hung2020-01-141-2/+6
* | abc9_ops: generate flop box ids, add abc9_required to FD* cellsEddie Hung2020-01-141-1/+5
* | Merge remote-tracking branch 'origin/eddie/abc9_refactor' into eddie/abc9_req...Eddie Hung2020-01-141-1/+1
|\|
| * abc9_ops: -reintegrate to not trim box padding anymoreEddie Hung2020-01-141-1/+1
* | write_xaiger: skip if no arrival timesEddie Hung2020-01-141-0/+3
* | Merge remote-tracking branch 'origin/eddie/abc9_refactor' into eddie/abc9_req...Eddie Hung2020-01-142-94/+145
|\|
| * abc9_ops/write_xaiger: update docEddie Hung2020-01-141-1/+2
| * abc9_ops: -prep_holes -> -prep_xaiger, move padding to write_xaigerEddie Hung2020-01-141-3/+6
| * Merge remote-tracking branch 'origin/master' into eddie/abc9_refactorEddie Hung2020-01-141-25/+37
| |\
| | * Merge pull request #1623 from YosysHQ/mmicko/edif_attrMiodrag Milanović2020-01-141-25/+37
| | |\
| | | * remove whitespaceMiodrag Milanovic2020-01-101-1/+1
| | | * Export wire properties as well in EDIFMiodrag Milanovic2020-01-101-26/+38
| | * | write_xaiger: create holes_sigmap before modificationsEddie Hung2020-01-111-1/+2
| * | | write_xaiger: fix case of PI and CI and (* keep *)Eddie Hung2020-01-131-0/+5
| * | | abc9: break SCC by setting (* keep *) on output wiresEddie Hung2020-01-131-8/+15
| * | | abc9: respect (* keep *) on cellsEddie Hung2020-01-131-61/+69
| * | | write_xaiger: add support and test for (* keep *) on wiresEddie Hung2020-01-131-7/+17
| * | | write_xaiger: cache arrival timesEddie Hung2020-01-131-11/+17
* | | | Merge remote-tracking branch 'origin/eddie/abc9_refactor' into eddie/abc9_req...Eddie Hung2020-01-121-19/+28
|\| | |
| * | | cleanupEddie Hung2020-01-111-1/+1
| * | | Merge remote-tracking branch 'origin/master' into eddie/abc9_refactorEddie Hung2020-01-111-18/+27
| |\| |
| | * | write_xaiger: sort holes by offset as well as port_idEddie Hung2020-01-111-1/+2
| | * | write_xaiger: cleanup holes generationEddie Hung2020-01-081-80/+89
| | * | write_xaiger: holes PIs only if whiteboxEddie Hung2020-01-081-13/+18
| | |/
* | | 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
* | 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
| * 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
generated by cgit v1.2.3 (git 2.25.1) at 2025-01-19 13:47:26 +0000