2019-12-17 |
Eddie Hung | aiger frontend to user shorter, $-prefixed, names |
commit | commitdiff | tree |
2019-12-17 |
Eddie Hung | Cleanup xaiger, remove unnecessary complexity with... |
commit | commitdiff | tree |
2019-12-17 |
Eddie Hung | read_xaiger to cope with optional '\n' after 'c' |
commit | commitdiff | tree |
2019-12-17 |
Eddie Hung | Do not sigmap |
commit | commitdiff | tree |
2019-12-17 |
Eddie Hung | Revert "Use sigmap signal" |
commit | commitdiff | tree |
2019-12-17 |
Eddie Hung | abc9 needs a clean afterwards |
commit | commitdiff | tree |
2019-12-17 |
Eddie Hung | Put $__ABC9_{FF_,ASYNC} into same clock domain as abc9_flop |
commit | commitdiff | tree |
2019-12-17 |
Eddie Hung | Use sigmap signal |
commit | commitdiff | tree |
2019-12-16 |
Eddie Hung | Skip $inout transformation if not a PI |
commit | commitdiff | tree |
2019-12-16 |
Eddie Hung | Revert "write_xaiger: use sigmap bits more consistently" |
commit | commitdiff | tree |
2019-12-16 |
Eddie Hung | write_xaiger: use sigmap bits more consistently |
commit | commitdiff | tree |
2019-12-14 |
Eddie Hung | Name inputs/outputs of aiger 'i%d' and 'o%d' |
commit | commitdiff | tree |
2019-12-12 |
Eddie Hung | Remove 'clkpart' entry in CHANGELOG |
commit | commitdiff | tree |
2019-12-12 |
Eddie Hung | Merge remote-tracking branch 'origin/master' into xaig_dff |
commit | commitdiff | tree |
2019-12-12 |
Eddie Hung | abc9_map.v: fix Xilinx LUTRAM |
commit | commitdiff | tree |
2019-12-12 |
Eddie Hung | abc9_map.v: fix Xilinx LUTRAM |
commit | commitdiff | tree |
2019-12-12 |
Eddie Hung | Update README.md :: abc_ -> abc9_ |
commit | commitdiff | tree |
2019-12-11 |
Eddie Hung | Fix bitwidth mismatch; suppresses iverilog warning |
commit | commitdiff | tree |
2019-12-11 |
David Shah | Merge pull request #1564 from ZirconiumX/intel_housekeeping |
commit | commitdiff | tree |
2019-12-10 |
Dan Ravensloft | synth_intel: a10gx -> arria10gx |
commit | commitdiff | tree |
2019-12-10 |
Dan Ravensloft | synth_intel: cyclone10 -> cyclone10lp |
commit | commitdiff | tree |
2019-12-10 |
Eddie Hung | Merge pull request #1545 from YosysHQ/eddie/ice40_wrapc... |
commit | commitdiff | tree |
2019-12-09 |
Eddie Hung | Fix comment |
commit | commitdiff | tree |
2019-12-09 |
Eddie Hung | ice40_opt to restore attributes/name when unwrapping |
commit | commitdiff | tree |
2019-12-09 |
Eddie Hung | ice40_wrapcarry -unwrap to preserve 'src' attribute |
commit | commitdiff | tree |
2019-12-09 |
Eddie Hung | unmap $__ICE40_CARRY_WRAPPER in test |
commit | commitdiff | tree |
2019-12-09 |
Eddie Hung | -unwrap to create $lut not SB_LUT4 for opt_lut |
commit | commitdiff | tree |
2019-12-09 |
Eddie Hung | Sensitive to direct inst of $__ICE40_CARRY_WRAPPER... |
commit | commitdiff | tree |
2019-12-09 |
Eddie Hung | ice40_wrapcarry to really preserve attributes via ... |
commit | commitdiff | tree |
2019-12-07 |
Eddie Hung | Merge remote-tracking branch 'origin/master' into xaig_dff |
commit | commitdiff | tree |
2019-12-07 |
Eddie Hung | Merge pull request #1555 from antmicro/fix-macc-xilinx... |
commit | commitdiff | tree |
2019-12-07 |
Eddie Hung | Drop keep=0 attributes on SB_CARRY |
commit | commitdiff | tree |
2019-12-07 |
Eddie Hung | Call abc9 with "&write -n", and parse_xaiger() to cope |
commit | commitdiff | tree |
2019-12-07 |
Eddie Hung | Remove creation of $abc9_control_wire |
commit | commitdiff | tree |
2019-12-07 |
Eddie Hung | Do not connect undriven POs to 1'bx |
commit | commitdiff | tree |
2019-12-07 |
Eddie Hung | Fix abc9 re-integration, remove abc9_control_wire,... |
commit | commitdiff | tree |
2019-12-07 |
Eddie Hung | Fix writing non-whole modules, including inouts and... |
commit | commitdiff | tree |
2019-12-06 |
Jan Kowalewski | tests: arch: xilinx: Change order of arguments in macc.sh |
commit | commitdiff | tree |
2019-12-06 |
Eddie Hung | abc9 to use mergeability class to differentiate sync... |
commit | commitdiff | tree |
2019-12-06 |
Eddie Hung | write_xaiger to support part-selected modules again |
commit | commitdiff | tree |
2019-12-06 |
Eddie Hung | abc9 to do clock partitioning again |
commit | commitdiff | tree |
2019-12-06 |
Eddie Hung | Remove clkpart |
commit | commitdiff | tree |
2019-12-05 |
Eddie Hung | Revert "Special abc9_clock wire to contain only clock... |
commit | commitdiff | tree |
2019-12-05 |
Clifford Wolf | Merge pull request #1551 from whitequark/manual-cell... |
commit | commitdiff | tree |
2019-12-05 |
Eddie Hung | Merge SB_CARRY+SB_LUT4's attributes when creating ... |
commit | commitdiff | tree |
2019-12-05 |
Eddie Hung | Add WIP test for unwrapping $__ICE40_CARRY_WRAPPER |
commit | commitdiff | tree |
2019-12-05 |
Eddie Hung | Missing wire declaration |
commit | commitdiff | tree |
2019-12-05 |
Eddie Hung | abc9_map.v to transform INIT=1 to INIT=0 |
commit | commitdiff | tree |
2019-12-05 |
Eddie Hung | Oh deary me |
commit | commitdiff | tree |
2019-12-05 |
Eddie Hung | Bump ABC to get "&verify -s" fix |
commit | commitdiff | tree |
2019-12-05 |
Eddie Hung | output reg Q -> output Q to suppress warning |
commit | commitdiff | tree |
2019-12-05 |
Eddie Hung | abc9_map.v to do `zinit' and make INIT = 1'b0 |
commit | commitdiff | tree |
2019-12-04 |
whitequark | kernel: require \B_SIGNED=0 on $shl, $sshl, $shr, ... |
commit | commitdiff | tree |
2019-12-04 |
whitequark | manual: document behavior of many comb cells more preci... |
commit | commitdiff | tree |
2019-12-04 |
Marcin Kościelnicki | xilinx: Add tristate buffer mapping. (#1528) |
commit | commitdiff | tree |
2019-12-04 |
Marcin Kościelnicki | iopadmap: Refactor and fix tristate buffer mapping... |
commit | commitdiff | tree |
2019-12-04 |
Marcin Kościelnicki | xilinx: Add models for LUTRAM cells. (#1537) |
commit | commitdiff | tree |
2019-12-04 |
Eddie Hung | Cleanup |
commit | commitdiff | tree |
2019-12-04 |
Eddie Hung | Add assertion |
commit | commitdiff | tree |
2019-12-04 |
Eddie Hung | write_xaiger to consume abc9_init attribute for abc9_flops |
commit | commitdiff | tree |
2019-12-04 |
Eddie Hung | Add abc9_init wire, attach to abc9_flop cell |
commit | commitdiff | tree |
2019-12-03 |
Eddie Hung | Revert "Add INIT value to abc9_control" |
commit | commitdiff | tree |
2019-12-03 |
Eddie Hung | Update ABCREV for upstream bugfix |
commit | commitdiff | tree |
2019-12-03 |
Eddie Hung | Check SB_CARRY name also preserved |
commit | commitdiff | tree |
2019-12-03 |
Eddie Hung | $__ICE40_CARRY_WRAPPER to use _TECHMAP_REPLACE_ for... |
commit | commitdiff | tree |
2019-12-03 |
Eddie Hung | ice40_opt to ignore (* keep *) -ed cells |
commit | commitdiff | tree |
2019-12-03 |
Eddie Hung | ice40_wrapcarry to preserve SB_CARRY's attributes |
commit | commitdiff | tree |
2019-12-03 |
Eddie Hung | Add testcase |
commit | commitdiff | tree |
2019-12-03 |
Eddie Hung | techmap abc_unmap.v before xilinx_srl -fixed |
commit | commitdiff | tree |
2019-12-03 |
Clifford Wolf | Merge pull request #1524 from pepijndevos/gowindffinit |
commit | commitdiff | tree |
2019-12-03 |
Pepijn de Vos | update test |
commit | commitdiff | tree |
2019-12-03 |
Pepijn de Vos | Use -match-init to not synth contradicting init values |
commit | commitdiff | tree |
2019-12-02 |
Eddie Hung | Add INIT value to abc9_control |
commit | commitdiff | tree |
2019-12-02 |
David Shah | Merge pull request #1542 from YosysHQ/dave/abc9-loop-fix |
commit | commitdiff | tree |
2019-12-02 |
Eddie Hung | Cleanup |
commit | commitdiff | tree |
2019-12-02 |
Eddie Hung | Use pool instead of std::set for determinism |
commit | commitdiff | tree |
2019-12-02 |
Eddie Hung | Use pool<> not std::set<> for determinism |
commit | commitdiff | tree |
2019-12-02 |
Clifford Wolf | Merge pull request #1539 from YosysHQ/mwk/ilang-bounds... |
commit | commitdiff | tree |
2019-12-01 |
David Shah | abc9: Fix breaking of SCCs |
commit | commitdiff | tree |
2019-11-29 |
Miodrag Milanović | Merge pull request #1540 from YosysHQ/mwk/xilinx-bufpll |
commit | commitdiff | tree |
2019-11-29 |
Marcin Kościelnicki | xilinx: Add missing blackbox cell for BUFPLL. |
commit | commitdiff | tree |
2019-11-28 |
Eddie Hung | clkpart -unpart into 'finalize' |
commit | commitdiff | tree |
2019-11-28 |
Eddie Hung | Merge remote-tracking branch 'origin/eddie/submod_po... |
commit | commitdiff | tree |
2019-11-28 |
Eddie Hung | Move \init signal for non-port signals as long as inter... |
commit | commitdiff | tree |
2019-11-28 |
Eddie Hung | Revert "Fold loop" |
commit | commitdiff | tree |
2019-11-27 |
Marcin Kościelnicki | read_ilang: do bounds checking on bit indices |
commit | commitdiff | tree |
2019-11-27 |
Eddie Hung | Merge remote-tracking branch 'origin/eddie/submod_po... |
commit | commitdiff | tree |
2019-11-27 |
Eddie Hung | Fix multiple driver issue |
commit | commitdiff | tree |
2019-11-27 |
Eddie Hung | Add multiple driver testcase |
commit | commitdiff | tree |
2019-11-27 |
Eddie Hung | Fix multiple driver issue |
commit | commitdiff | tree |
2019-11-27 |
Eddie Hung | Add comment, use sigmap |
commit | commitdiff | tree |
2019-11-27 |
Eddie Hung | Revert "Fold loop" |
commit | commitdiff | tree |
2019-11-27 |
Eddie Hung | Merge remote-tracking branch 'origin/master' into xaig_dff |
commit | commitdiff | tree |
2019-11-27 |
Eddie Hung | ean call after abc{,9} |
commit | commitdiff | tree |
2019-11-27 |
Eddie Hung | Merge remote-tracking branch 'origin/eddie/submod_po... |
commit | commitdiff | tree |
2019-11-27 |
Eddie Hung | Do not replace constants with same wire |
commit | commitdiff | tree |
2019-11-27 |
Eddie Hung | Merge pull request #1536 from YosysHQ/eddie/xilinx_dsp_... |
commit | commitdiff | tree |
2019-11-27 |
Clifford Wolf | Merge pull request #1501 from YosysHQ/dave/mem_copy_attr |
commit | commitdiff | tree |
2019-11-27 |
Clifford Wolf | Merge pull request #1534 from YosysHQ/mwk/opt_share-fix |
commit | commitdiff | tree |
2019-11-27 |
Eddie Hung | Merge pull request #1535 from YosysHQ/eddie/write_xaige... |
commit | commitdiff | tree |
next |