2019-02-21 |
Eddie Hung | Merge remote-tracking branch 'origin/master' into xaig |
commit | commitdiff | tree |
2019-02-21 |
Eddie Hung | tests/simple to also do LUT synth |
commit | commitdiff | tree |
2019-02-21 |
Eddie Hung | Working simple_abc9 tests |
commit | commitdiff | tree |
2019-02-21 |
Eddie Hung | abc9 to only disconnect output ports of AND and NOT... |
commit | commitdiff | tree |
2019-02-21 |
Eddie Hung | write_xaiger to use original bit for co, not sigmap... |
commit | commitdiff | tree |
2019-02-21 |
Eddie Hung | Add abc9.v testcase to simple_abc9 |
commit | commitdiff | tree |
2019-02-21 |
Clifford Wolf | Hotfix for 4c82ddf |
commit | commitdiff | tree |
2019-02-21 |
Clifford Wolf | Merge pull request #822 from litghost/expand_setundef |
commit | commitdiff | tree |
2019-02-21 |
Keith Rothman | Add -params mode to force undef parameters in selected... |
commit | commitdiff | tree |
2019-02-21 |
Clifford Wolf | Merge pull request #818 from YosysHQ/clifford/dffsrfix |
commit | commitdiff | tree |
2019-02-21 |
Clifford Wolf | Merge pull request #786 from YosysHQ/pmgen |
commit | commitdiff | tree |
2019-02-21 |
Clifford Wolf | Fix typo in passes/pmgen/README.md |
commit | commitdiff | tree |
2019-02-21 |
Clifford Wolf | Merge pull request #821 from eddiehung/dff_init |
commit | commitdiff | tree |
2019-02-21 |
Eddie Hung | Merge branch 'clifford/dffsrfix' of https://github... |
commit | commitdiff | tree |
2019-02-21 |
Eddie Hung | Revert "Add -B option to autotest.sh to append to backe... |
commit | commitdiff | tree |
2019-02-21 |
Clifford Wolf | Fix opt_rmdff handling of $_DFFSR_???_ and $_DLATCHSR_... |
commit | commitdiff | tree |
2019-02-21 |
Clifford Wolf | Bugfix in ice40_dsp |
commit | commitdiff | tree |
2019-02-21 |
Eddie Hung | ABC -> ABC9 |
commit | commitdiff | tree |
2019-02-21 |
Eddie Hung | abc9 to disconnect mapped_mods POs correctly, and do... |
commit | commitdiff | tree |
2019-02-21 |
Eddie Hung | read_aiger to not do -purge for clean |
commit | commitdiff | tree |
2019-02-21 |
Eddie Hung | Merge pull request #817 from eddiehung/dff_init |
commit | commitdiff | tree |
2019-02-21 |
Eddie Hung | lut/not/and suffix to be ${lut,not,and} |
commit | commitdiff | tree |
2019-02-21 |
Eddie Hung | simple_abc9 tests to now preserve memories |
commit | commitdiff | tree |
2019-02-21 |
Eddie Hung | read_aiger to also rename 0 index lut when wideports |
commit | commitdiff | tree |
2019-02-21 |
Eddie Hung | Remove swap file |
commit | commitdiff | tree |
2019-02-20 |
Eddie Hung | Remove simple_defparam tests |
commit | commitdiff | tree |
2019-02-20 |
Eddie Hung | write_aiger: fix CI/CO and symbols |
commit | commitdiff | tree |
2019-02-20 |
Eddie Hung | Move tests/techmap/abc9 to simple_abc9 |
commit | commitdiff | tree |
2019-02-20 |
Eddie Hung | Add tests/simple_abc9 |
commit | commitdiff | tree |
2019-02-20 |
Eddie Hung | abc9 to cope with multiple modules |
commit | commitdiff | tree |
2019-02-20 |
Eddie Hung | abc9 to use & syntax for -fast, and name fixes |
commit | commitdiff | tree |
2019-02-20 |
Eddie Hung | read_aiger: new naming fixes |
commit | commitdiff | tree |
2019-02-20 |
Eddie Hung | read_aiger to name wires with internal name, less likel... |
commit | commitdiff | tree |
2019-02-20 |
Eddie Hung | write_xaiger to not write latches, CO/PO fixes |
commit | commitdiff | tree |
2019-02-20 |
Eddie Hung | synth to take -abc9 argument |
commit | commitdiff | tree |
2019-02-20 |
Clifford Wolf | Add ice40 test_dsp_map test case generator |
commit | commitdiff | tree |
2019-02-20 |
Clifford Wolf | Add "synth_ice40 -dsp" |
commit | commitdiff | tree |
2019-02-20 |
Clifford Wolf | Add FF support to wreduce |
commit | commitdiff | tree |
2019-02-20 |
Clifford Wolf | Improve iCE40 SB_MAC16 model |
commit | commitdiff | tree |
2019-02-20 |
Clifford Wolf | Detect and reject cases that do not map well to iCE40... |
commit | commitdiff | tree |
2019-02-20 |
Eddie Hung | abc9 to cope with indexed wires when creating $lut... |
commit | commitdiff | tree |
2019-02-19 |
Eddie Hung | Add a quick abc9 test |
commit | commitdiff | tree |
2019-02-19 |
Eddie Hung | Same for ascii AIGERs too |
commit | commitdiff | tree |
2019-02-19 |
Eddie Hung | read_aiger to cope with non-unique POs |
commit | commitdiff | tree |
2019-02-19 |
Eddie Hung | Merge branch 'master' into xaig |
commit | commitdiff | tree |
2019-02-19 |
Eddie Hung | Merge pull request #805 from eddiehung/dff_init |
commit | commitdiff | tree |
2019-02-19 |
Eddie Hung | abc9 to replace $_NOT_ with $lut |
commit | commitdiff | tree |
2019-02-19 |
Eddie Hung | read_aiger to create sane $lut names, and rename when... |
commit | commitdiff | tree |
2019-02-19 |
Eddie Hung | Add comment |
commit | commitdiff | tree |
2019-02-19 |
Eddie Hung | Get rid of boost dep, fix the FIXMEs for Win32? |
commit | commitdiff | tree |
2019-02-19 |
Clifford Wolf | Add first draft of functional SB_MAC16 model |
commit | commitdiff | tree |
2019-02-17 |
Eddie Hung | Instead of INIT param on cells, use initial statement... |
commit | commitdiff | tree |
2019-02-17 |
Eddie Hung | Revert "Add INIT parameter to all ff/latch cells" |
commit | commitdiff | tree |
2019-02-17 |
Eddie Hung | Merge https://github.com/YosysHQ/yosys into dff_init |
commit | commitdiff | tree |
2019-02-17 |
Clifford Wolf | Add actual DSP inference to ice40_dsp pass |
commit | commitdiff | tree |
2019-02-17 |
Clifford Wolf | Merge branch 'master' of github.com:YosysHQ/yosys into... |
commit | commitdiff | tree |
2019-02-17 |
Clifford Wolf | Merge pull request #811 from ucb-bar/firrtlfixes |
commit | commitdiff | tree |
2019-02-17 |
Eddie Hung | Get rid of debugging stuff in abc9 |
commit | commitdiff | tree |
2019-02-17 |
Eddie Hung | In read_xaiger, do not construct ConstEval for every LUT |
commit | commitdiff | tree |
2019-02-17 |
Eddie Hung | Cleanup |
commit | commitdiff | tree |
2019-02-17 |
Eddie Hung | read_aiger to ignore output = input of same wire; also... |
commit | commitdiff | tree |
2019-02-17 |
Eddie Hung | Cleanup |
commit | commitdiff | tree |
2019-02-17 |
Eddie Hung | write_xaiger to support non-bit cell connections, and... |
commit | commitdiff | tree |
2019-02-17 |
Eddie Hung | abc9 to write_aiger with -O option, and ignore dummy... |
commit | commitdiff | tree |
2019-02-17 |
Eddie Hung | write_aiger -O to write dummy output as __dummy_o__ |
commit | commitdiff | tree |
2019-02-16 |
Eddie Hung | abc9 to handle comb loops, cope with constant outputs... |
commit | commitdiff | tree |
2019-02-16 |
Eddie Hung | read_aiger to disable log_debug |
commit | commitdiff | tree |
2019-02-16 |
Eddie Hung | expose command to not skip 'internal' wires beginning... |
commit | commitdiff | tree |
2019-02-16 |
Eddie Hung | read_xaiger() to use f.read() not readsome() |
commit | commitdiff | tree |
2019-02-16 |
Eddie Hung | abc9 to cope with non-wideports, count cells properly |
commit | commitdiff | tree |
2019-02-16 |
Eddie Hung | Tidy up write_xaiger |
commit | commitdiff | tree |
2019-02-16 |
Eddie Hung | write_aiger() to perform CI/CO post-processing and... |
commit | commitdiff | tree |
2019-02-16 |
Eddie Hung | read_aiger() to cope with constant outputs, mixed widep... |
commit | commitdiff | tree |
2019-02-15 |
Eddie Hung | Move lookup inside if |
commit | commitdiff | tree |
2019-02-15 |
Eddie Hung | Fixes needed for DFF circuits |
commit | commitdiff | tree |
2019-02-15 |
Eddie Hung | Refactor |
commit | commitdiff | tree |
2019-02-15 |
Eddie Hung | Cope with width != 1 when re-mapping cells |
commit | commitdiff | tree |
2019-02-15 |
Jim Lawson | Removed unused variables, functions. |
commit | commitdiff | tree |
2019-02-15 |
Jim Lawson | Append (instead of over-writing) EXTRA_FLAGS |
commit | commitdiff | tree |
2019-02-15 |
Eddie Hung | abc9 to stitch results with CI/CO properly |
commit | commitdiff | tree |
2019-02-15 |
Eddie Hung | read_aiger with more asserts, and call clean |
commit | commitdiff | tree |
2019-02-15 |
Eddie Hung | write_xaiger to cope with unknown cells by transforming... |
commit | commitdiff | tree |
2019-02-15 |
Jim Lawson | Update cells supported for verilog to FIRRTL conversion. |
commit | commitdiff | tree |
2019-02-14 |
Eddie Hung | More cleanup |
commit | commitdiff | tree |
2019-02-14 |
Eddie Hung | More cleanup of write_xaiger |
commit | commitdiff | tree |
2019-02-14 |
Eddie Hung | Get rid of formal stuff from xaiger backend |
commit | commitdiff | tree |
2019-02-14 |
Eddie Hung | synth_ice40 to have new -abc9 arg |
commit | commitdiff | tree |
2019-02-14 |
Eddie Hung | Leave FIXME for clean |
commit | commitdiff | tree |
2019-02-14 |
Eddie Hung | Use module->addLut() |
commit | commitdiff | tree |
2019-02-14 |
Eddie Hung | Fix stitching |
commit | commitdiff | tree |
2019-02-14 |
Eddie Hung | Use ConstEval to compute LUT masks |
commit | commitdiff | tree |
2019-02-13 |
Eddie Hung | Merge remote-tracking branch 'origin/read_aiger' into... |
commit | commitdiff | tree |
2019-02-13 |
Eddie Hung | Merge https://github.com/YosysHQ/yosys into xaig |
commit | commitdiff | tree |
2019-02-13 |
Eddie Hung | Rip out some more stuff |
commit | commitdiff | tree |
2019-02-13 |
Clifford Wolf | Fix sign handling of real constants |
commit | commitdiff | tree |
2019-02-13 |
Eddie Hung | Rip out unused functions in abc9 |
commit | commitdiff | tree |
2019-02-12 |
Eddie Hung | Add support for read_aiger -wideports |
commit | commitdiff | tree |
2019-02-12 |
Eddie Hung | Add support for read_aiger -map |
commit | commitdiff | tree |
2019-02-12 |
Eddie Hung | Parse 'm' in xaiger |
commit | commitdiff | tree |
2019-02-12 |
Eddie Hung | WIP for ABC with aiger |
commit | commitdiff | tree |
next |