aboutsummaryrefslogtreecommitdiffstats
Commit message (Expand)AuthorAgeFilesLines
...
| | * | | | | | | | Fix pmgen "reject" statementClifford Wolf2019-01-151-1/+1
| | * | | | | | | | Progress in pmgenClifford Wolf2019-01-153-36/+139
| | * | | | | | | | Progress in pmgenClifford Wolf2019-01-153-21/+157
| | * | | | | | | | Progress in pmgenClifford Wolf2019-01-155-8/+347
| | * | | | | | | | Add mockup .pmg (pattern matcher generator) fileClifford Wolf2019-01-151-0/+75
| * | | | | | | | | Merge pull request #821 from eddiehung/dff_initClifford Wolf2019-02-211-4/+2
| |\ \ \ \ \ \ \ \ \
| | * | | | | | | | | Revert "Add -B option to autotest.sh to append to backend_opts"Eddie Hung2019-02-211-4/+2
* | | | | | | | | | | tests/simple to also do LUT synthEddie Hung2019-02-211-0/+1
* | | | | | | | | | | Working simple_abc9 testsEddie Hung2019-02-211-2/+2
* | | | | | | | | | | abc9 to only disconnect output ports of AND and NOT gatesEddie Hung2019-02-211-2/+4
* | | | | | | | | | | write_xaiger to use original bit for co, not sigmap()-ed bitEddie Hung2019-02-211-3/+6
* | | | | | | | | | | Add abc9.v testcase to simple_abc9Eddie Hung2019-02-211-4/+46
* | | | | | | | | | | Merge branch 'clifford/dffsrfix' of https://github.com/YosysHQ/yosys into xaigEddie Hung2019-02-212-27/+7
|\ \ \ \ \ \ \ \ \ \ \ | | |_|_|_|/ / / / / / | |/| | | | | | | | |
| * | | | | | | | | | Fix opt_rmdff handling of $_DFFSR_???_ and $_DLATCHSR_???_, fixes #816Clifford Wolf2019-02-211-6/+7
| |/ / / / / / / / /
| * | | | | / / / / Merge pull request #817 from eddiehung/dff_initEddie Hung2019-02-201-21/+0
| |\| | | | | | | | | | |_|_|_|/ / / / | |/| | | | | | |
| | * | | | | | | Remove simple_defparam testsEddie Hung2019-02-201-21/+0
| | | |_|_|_|_|/ | | |/| | | | |
* | | | | | | | ABC -> ABC9Eddie Hung2019-02-201-1/+1
* | | | | | | | abc9 to disconnect mapped_mods POs correctly, and do not count $_NOT_Eddie Hung2019-02-201-21/+29
* | | | | | | | read_aiger to not do -purge for cleanEddie Hung2019-02-201-1/+1
* | | | | | | | lut/not/and suffix to be ${lut,not,and}Eddie Hung2019-02-202-17/+17
* | | | | | | | simple_abc9 tests to now preserve memoriesEddie Hung2019-02-201-1/+1
* | | | | | | | read_aiger to also rename 0 index lut when wideportsEddie Hung2019-02-201-2/+14
* | | | | | | | Remove swap fileEddie Hung2019-02-201-0/+0
* | | | | | | | write_aiger: fix CI/CO and symbolsEddie Hung2019-02-202-7/+13
* | | | | | | | Move tests/techmap/abc9 to simple_abc9Eddie Hung2019-02-204-23/+0
* | | | | | | | Add tests/simple_abc9Eddie Hung2019-02-201-0/+23
* | | | | | | | abc9 to cope with multiple modulesEddie Hung2019-02-201-7/+11
* | | | | | | | abc9 to use & syntax for -fast, and name fixesEddie Hung2019-02-201-5/+5
* | | | | | | | read_aiger: new naming fixesEddie Hung2019-02-201-5/+5
* | | | | | | | read_aiger to name wires with internal name, less likely to clashEddie Hung2019-02-201-18/+15
* | | | | | | | write_xaiger to not write latches, CO/PO fixesEddie Hung2019-02-201-17/+26
* | | | | | | | synth to take -abc9 argumentEddie Hung2019-02-201-5/+13
* | | | | | | | abc9 to cope with indexed wires when creating $lut from $_NOT_Eddie Hung2019-02-191-1/+6
* | | | | | | | Add a quick abc9 testEddie Hung2019-02-194-0/+29
* | | | | | | | Same for ascii AIGERs tooEddie Hung2019-02-191-6/+13
* | | | | | | | read_aiger to cope with non-unique POsEddie Hung2019-02-191-6/+13
* | | | | | | | Merge branch 'master' into xaigEddie Hung2019-02-199-160/+353
|\| | | | | | |
| * | | | | | | Merge pull request #805 from eddiehung/dff_initEddie Hung2019-02-194-2/+76
| |\| | | | | | | | |_|/ / / / | |/| | | | |
| | * | | | | Instead of INIT param on cells, use initial statement with hier ref asEddie Hung2019-02-171-18/+13
| | * | | | | Revert "Add INIT parameter to all ff/latch cells"Eddie Hung2019-02-172-86/+43
| | | |_|_|/ | | |/| | |
| | * | | | Merge https://github.com/YosysHQ/yosys into dff_initEddie Hung2019-02-179-100/+345
| | |\ \ \ \ | | |/ / / / | |/| | | |
| * | | | | Merge pull request #811 from ucb-bar/firrtlfixesClifford Wolf2019-02-176-56/+298
| |\ \ \ \ \
| | * | | | | Removed unused variables, functions.Jim Lawson2019-02-151-20/+0
| | * | | | | Append (instead of over-writing) EXTRA_FLAGSJim Lawson2019-02-151-1/+1
| | * | | | | Update cells supported for verilog to FIRRTL conversion.Jim Lawson2019-02-155-55/+317
| |/ / / / /
* | | | | | abc9 to replace $_NOT_ with $lutEddie Hung2019-02-191-4/+39
* | | | | | read_aiger to create sane $lut names, and rename when renaming driving wireEddie Hung2019-02-191-2/+11
* | | | | | Add commentEddie Hung2019-02-191-1/+2
* | | | | | Get rid of boost dep, fix the FIXMEs for Win32?Eddie Hung2019-02-191-14/+14
* | | | | | Get rid of debugging stuff in abc9Eddie Hung2019-02-161-6/+1