aboutsummaryrefslogtreecommitdiffstats
Commit message (Collapse)AuthorAgeFilesLines
* abc9_ops: cope with (* abc9_flop *) in place of (* abc9_box_id *)Eddie Hung2020-01-142-3/+3
|
* Merge remote-tracking branch 'origin/eddie/abc9_refactor' into ↵Eddie Hung2020-01-142-27/+19
|\ | | | | | | eddie/abc9_required
| * write_xaiger: do not export flop inputs as POsEddie Hung2020-01-141-2/+6
| |
| * Merge remote-tracking branch 'origin/master' into eddie/abc9_refactorEddie Hung2020-01-141-25/+13
| |\
| | * Merge pull request #1635 from YosysHQ/eddie/print_statsEddie Hung2020-01-141-25/+13
| | |\ | | | | | | | | print_stats footer to return peak memory, option for including children
| | | * As before, only display MEM if Linux or FreeBSDEddie Hung2020-01-141-3/+7
| | | |
| | | * print_stats footer to return peak memory, option for including childrenEddie Hung2020-01-141-28/+12
| | | |
* | | | abc9_ops: -check to check abc9_{arrival,required}Eddie Hung2020-01-141-3/+30
| | | |
* | | | abc9_ops: implement a requireds_cacheEddie Hung2020-01-141-26/+34
| | | |
* | | | abc9_ops: generate flop box ids, add abc9_required to FD* cellsEddie Hung2020-01-143-78/+106
| | | |
* | | | Merge remote-tracking branch 'origin/eddie/abc9_refactor' into ↵Eddie Hung2020-01-142-10/+1
|\| | | | | | | | | | | | | | | eddie/abc9_required
| * | | abc9_ops: -reintegrate to not trim box padding anymoreEddie Hung2020-01-142-10/+1
| | | |
* | | | abc9_ops: fix -reintegrate handling of $__ABC9_DELAYEddie Hung2020-01-141-2/+3
| | | |
* | | | abc9_ops: -prep_times -> -prep_delays; add docEddie Hung2020-01-142-11/+23
| | | |
* | | | abc9_ops: cleanupEddie Hung2020-01-141-14/+5
| | | |
* | | | abc9_ops: discard $__ABC9_DELAY boxesEddie Hung2020-01-141-7/+2
| | | |
* | | | write_xaiger: skip if no arrival timesEddie Hung2020-01-141-0/+3
| | | |
* | | | Merge remote-tracking branch 'origin/eddie/abc9_refactor' into ↵Eddie Hung2020-01-1422-389/+789
|\| | | | | | | | | | | | | | | eddie/abc9_required
| * | | abc9_ops/write_xaiger: update docEddie Hung2020-01-142-1/+15
| | | |
| * | | abc9_ops: -prep_holes -> -prep_xaiger, move padding to write_xaigerEddie Hung2020-01-143-107/+79
| | | |
| * | | Adding (* techmap_autopurge *) to FD* in abc9_map.vEddie Hung2020-01-141-8/+8
| | | |
| * | | Merge remote-tracking branch 'origin/master' into eddie/abc9_refactorEddie Hung2020-01-1412-52/+88
| |\| |
| | * | Merge pull request #1633 from YosysHQ/eddie/fix_autonameEddie Hung2020-01-142-1/+20
| | |\ \ | | | | | | | | | | autoname: do not rename ports
| | | * | autoname: do not autoname portsEddie Hung2020-01-141-1/+1
| | | | |
| | | * | autoname: add testcase with $-prefix-ed portEddie Hung2020-01-141-0/+19
| | | |/
| | * | Merge pull request #1632 from YosysHQ/eddie/fix1630Eddie Hung2020-01-145-17/+23
| | |\ \ | | | | | | | | | | read_aiger: uniquify wires with $aiger<autoidx> prefix
| | | * | read_aiger: also rename "$0"Eddie Hung2020-01-141-2/+2
| | | | |
| | | * | read_aiger: uniquify wires with $aiger<autoidx> prefixEddie Hung2020-01-132-9/+13
| | | | |
| | | * | Add #1630 testcaseEddie Hung2020-01-132-0/+2
| | | | |
| | | * | read_aiger: make $and/$not/$lut the prefix not suffixEddie Hung2020-01-132-9/+9
| | | |/
| | * | Merge pull request #1623 from YosysHQ/mmicko/edif_attrMiodrag Milanović2020-01-145-35/+46
| | |\ \ | | | |/ | | |/| Export wire properties in EDIF
| | | * this one is fineMiodrag Milanovic2020-01-101-3/+3
| | | |
| | | * Fix testsMiodrag Milanovic2020-01-103-12/+11
| | | |
| | | * remove whitespaceMiodrag Milanovic2020-01-101-1/+1
| | | |
| | | * Use CARRY4 for abc1 as well, preventing issues with VivadoMiodrag Milanovic2020-01-101-1/+1
| | | |
| | | * Export wire properties as well in EDIFMiodrag Milanovic2020-01-101-26/+38
| | | |
| * | | abc9_ops: -break_scc -> -mark_scc using (* keep *), remove -unbreak_sccEddie Hung2020-01-132-46/+20
| | | |
| * | | abc9_ops: ignore inouts of all cell outputs for topo orderingEddie Hung2020-01-131-2/+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-134-35/+23
| | | |
| * | | abc9: add -run optionEddie Hung2020-01-131-1/+14
| | | |
| * | | abc9: respect (* keep *) on cellsEddie Hung2020-01-133-61/+86
| | | |
| * | | write_xaiger: add support and test for (* keep *) on wiresEddie Hung2020-01-132-7/+30
| | | |
| * | | write_xaiger: cache arrival timesEddie Hung2020-01-131-11/+17
| | | |
| * | | abc9: log which module is being operated onEddie Hung2020-01-132-5/+3
| | | |
| * | | Merge remote-tracking branch 'origin/master' into eddie/abc9_refactorEddie Hung2020-01-139-91/+419
| |\| |
| | * | Merge pull request #1620 from YosysHQ/eddie/abc9_scratchpadEddie Hung2020-01-136-36/+147
| | |\ \ | | | | | | | | | | abc9: add some scripts/options into "scratchpad"
| | | * | Another conflictEddie Hung2020-01-111-1/+0
| | | | |
| | | * | MIssed this merge conflictEddie Hung2020-01-111-4/+0
| | | | |
| | | * | Merge remote-tracking branch 'origin/master' into eddie/abc9_scratchpadEddie Hung2020-01-115-86/+118
| | | |\ \
generated by cgit v1.2.3 (git 2.25.1) at 2025-01-06 06:56:15 +0000