aboutsummaryrefslogtreecommitdiffstats
path: root/backends/aiger
Commit message (Collapse)AuthorAgeFilesLines
* xaiger: add check for $__ABC9_DELAY modelEddie Hung2020-04-131-0/+4
|
* kernel: big fat patch to use more ID::*, otherwise ID(*)Eddie Hung2020-04-022-36/+36
|
* kernel: use more ID::*Eddie Hung2020-04-022-17/+17
|
* xaiger: remove some unnecessary operations ...Eddie Hung2020-03-061-9/+2
| | | | | ... since they can not be triggered by (* keep *) anymore (but could still be triggered by (* abc9_scc *) !?!)
* abc9: (* keep *) wires to be PO only, not PI as well; fix scc handlingEddie Hung2020-03-061-3/+4
|
* Make TimingInfo::TimingInfo(SigBit) constructor explicitEddie Hung2020-02-271-1/+1
|
* write_xaiger: add comment about arrival times of flop outputsEddie Hung2020-02-271-0/+1
|
* Get rid of (* abc9_{arrival,required} *) entirelyEddie Hung2020-02-271-29/+15
|
* abc9_ops: ignore (* abc9_flop *) if not '-dff'Eddie Hung2020-02-271-38/+44
|
* xilinx: improve specify functionalityEddie Hung2020-02-271-0/+3
|
* Revert "abc9: fix abc9_arrival for flops"Eddie Hung2020-02-141-5/+2
| | | | This reverts commit f7c0dbecee7ee8f2e3fc8bc8337e7045fd4aff15.
* write_xaiger: default value for abc9_initEddie Hung2020-02-131-1/+1
|
* abc9: fix abc9_arrival for flopsEddie Hung2020-02-131-2/+5
|
* Merge branch 'eddie/abc9_refactor' into eddie/abc9_requiredEddie Hung2020-01-271-3/+3
|\
| * write_xaiger: fix for (* keep *) on flop outputEddie Hung2020-01-211-3/+3
| |
* | Merge remote-tracking branch 'origin/eddie/abc9_refactor' into ↵Eddie Hung2020-01-151-1/+2
|\| | | | | | | eddie/abc9_required
| * write_xaiger: skip abc9_flop only if abc_box_seq presentEddie Hung2020-01-151-1/+2
| |
* | 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 Hung2020-01-141-2/+6
|\| | | | | | | eddie/abc9_required
| * 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 Hung2020-01-141-1/+1
|\| | | | | | | eddie/abc9_required
| * 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 Hung2020-01-141-69/+108
|\| | | | | | | eddie/abc9_required
| * 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
| |
| * 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 Hung2020-01-121-19/+28
|\| | | | | | | eddie/abc9_required
| * 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
| | | | | | | | 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
| |
generated by cgit v1.2.3 (git 2.25.1) at 2025-01-28 21:04:54 +0000