| Commit message (Expand) | Author | Age | Files | Lines |
|---|
| * | ABC9: Cell Port Bug Patch (#3670) | Benjamin Barzen | 2023-04-22 | 1 | -1/+5 |
| * | sim: Improvements and fixes for yw cosim | Jannis Harder | 2023-01-11 | 1 | -12/+1 |
| * | aiger: Use new JSON code for writing aiger witness map files | Jannis Harder | 2023-01-11 | 1 | -49/+49 |
| * | write_aiger: Fix non-$_FF_ FFs | Jannis Harder | 2022-08-18 | 1 | -1/+1 |
| * | aiger: Add yosys-witness support | Jannis Harder | 2022-08-16 | 1 | -0/+169 |
| * | aiger: Support $anyinit cells | Jannis Harder | 2022-08-16 | 1 | -0/+11 |
| * | Add -no-startoffset option to write_aiger | Miodrag Milanovic | 2022-03-25 | 1 | -8/+17 |
| * | sta: very crude static timing analysis pass | Lofty | 2021-11-25 | 1 | -15/+16 |
| * | Fixing old e-mail addresses and deadnames | Claire Xenia Wolf | 2021-06-08 | 2 | -2/+2 |
| * | abc9: fix SCC issues (#2694) | Eddie Hung | 2021-03-29 | 1 | -5/+4 |
| * | Replace assert in xaiger with more useful error message | Dan Ravensloft | 2021-03-10 | 1 | -1/+2 |
| * | use the new isPublic() in a few places | N. Engelhardt | 2020-09-14 | 2 | -2/+2 |
| * | Use C++11 final/override keywords. | whitequark | 2020-06-18 | 2 | -4/+4 |
| * | Merge pull request #2077 from YosysHQ/eddie/abc9_dff_improve | Eddie Hung | 2020-06-04 | 1 | -28/+22 |
| |\ |
|
| | * | xaiger: cleanup | Eddie Hung | 2020-05-25 | 1 | -28/+22 |
| * | | xaiger: promote abc9_keep wires | Eddie Hung | 2020-05-25 | 1 | -1/+1 |
| |/ |
|
| * | xaiger: do not derive cells | Eddie Hung | 2020-05-24 | 1 | -7/+1 |
| * | abc9: use (* abc9_keep *) instead of (* abc9_scc *); apply to $_DFF_?_ | Eddie Hung | 2020-05-14 | 1 | -5/+5 |
| * | abc9_ops/xaiger: further reducing Module::derive() calls by ... | Eddie Hung | 2020-05-14 | 1 | -40/+32 |
| * | Cleanup; reduce Module::derive() calls | Eddie Hung | 2020-05-14 | 1 | -18/+20 |
| * | xaiger: no longer use nonstandard even/odd to designate +ve/-ve polarity | Eddie Hung | 2020-05-14 | 1 | -16/+5 |
| * | abc9: not enough to techmap_fail on (* init=1 *), hide them using $__ | Eddie Hung | 2020-05-14 | 1 | -0/+1 |
| * | Revert "Merge pull request #1917 from YosysHQ/eddie/abc9_delay_check" | Eddie Hung | 2020-05-14 | 1 | -4/+0 |
| * | xaiger: always sort input/output bits by port id | Eddie Hung | 2020-05-14 | 1 | -12/+10 |
| * | abc9: generate $abc9_holes design instead of <name>$holes | Eddie Hung | 2020-05-14 | 1 | -3/+9 |
| * | aiger/xaiger: use odd for negedge clk, even for posedge | Eddie Hung | 2020-05-14 | 1 | -6/+10 |
| * | xaiger: update help text | Eddie Hung | 2020-05-14 | 1 | -4/+4 |
| * | xaiger: do not treat (* init=1'bx *) as 1'b0 | Eddie Hung | 2020-05-14 | 1 | -1/+1 |
| * | xaiger: when -dff use (* init *) for initial state | Eddie Hung | 2020-05-14 | 1 | -3/+15 |
| * | abc9_ops: add 'dff' label for auto handling of (* abc9_flop *) boxes | Eddie Hung | 2020-05-14 | 1 | -8/+2 |
| * | xaiger: output $_DFF_[NP]_ with mergeability if -dff option | Eddie Hung | 2020-05-14 | 1 | -42/+44 |
| * | aiger: fixes for ports that have start_offset != 0 | Eddie Hung | 2020-05-02 | 2 | -9/+8 |
| * | xaiger: add check for $__ABC9_DELAY model | Eddie Hung | 2020-04-13 | 1 | -0/+4 |
| * | kernel: big fat patch to use more ID::*, otherwise ID(*) | Eddie Hung | 2020-04-02 | 2 | -36/+36 |
| * | kernel: use more ID::* | Eddie Hung | 2020-04-02 | 2 | -17/+17 |
| * | xaiger: remove some unnecessary operations ... | Eddie Hung | 2020-03-06 | 1 | -9/+2 |
| * | abc9: (* keep *) wires to be PO only, not PI as well; fix scc handling | Eddie Hung | 2020-03-06 | 1 | -3/+4 |
| * | Make TimingInfo::TimingInfo(SigBit) constructor explicit | Eddie Hung | 2020-02-27 | 1 | -1/+1 |
| * | write_xaiger: add comment about arrival times of flop outputs | Eddie Hung | 2020-02-27 | 1 | -0/+1 |
| * | Get rid of (* abc9_{arrival,required} *) entirely | Eddie Hung | 2020-02-27 | 1 | -29/+15 |
| * | abc9_ops: ignore (* abc9_flop *) if not '-dff' | Eddie Hung | 2020-02-27 | 1 | -38/+44 |
| * | xilinx: improve specify functionality | Eddie Hung | 2020-02-27 | 1 | -0/+3 |
| * | Revert "abc9: fix abc9_arrival for flops" | Eddie Hung | 2020-02-14 | 1 | -5/+2 |
| * | write_xaiger: default value for abc9_init | Eddie Hung | 2020-02-13 | 1 | -1/+1 |
| * | abc9: fix abc9_arrival for flops | Eddie Hung | 2020-02-13 | 1 | -2/+5 |
| * | Merge branch 'eddie/abc9_refactor' into eddie/abc9_required | Eddie Hung | 2020-01-27 | 1 | -3/+3 |
| |\ |
|
| | * | write_xaiger: fix for (* keep *) on flop output | Eddie Hung | 2020-01-21 | 1 | -3/+3 |
| * | | Merge remote-tracking branch 'origin/eddie/abc9_refactor' into eddie/abc9_req... | Eddie Hung | 2020-01-15 | 1 | -1/+2 |
| |\| |
|
| | * | write_xaiger: skip abc9_flop only if abc_box_seq present | Eddie Hung | 2020-01-15 | 1 | -1/+2 |
| * | | abc9_ops: cope with (* abc9_flop *) in place of (* abc9_box_id *) | Eddie Hung | 2020-01-14 | 1 | -1/+1 |
