aboutsummaryrefslogtreecommitdiffstats
path: root/passes
Commit message (Expand)AuthorAgeFilesLines
* Merge remote-tracking branch 'origin/master' into xaigEddie Hung2019-02-265-45/+109
|\
| * Clean up some whitepsace outliersLarry Doolittle2019-02-262-4/+4
| * Minor changes ontop of 71bcc4c: Remove hierarchy warning that is redundant to...Clifford Wolf2019-02-241-5/+1
| * Merge pull request #812 from ucb-bar/arrayhierarchyfixesClifford Wolf2019-02-241-10/+40
| |\
| | * Address requested changes - don't require non-$ name.Jim Lawson2019-02-221-7/+7
| | * Fix normal (non-array) hierarchy -auto-top.Jim Lawson2019-02-191-9/+9
| | * Define basic_cell_type() function and use it to derive the cell type for arra...Jim Lawson2019-02-151-10/+40
| * | Cleanups in ARST handling in wreduceClifford Wolf2019-02-241-10/+4
| * | Merge pull request #824 from litghost/fix_reduce_on_ffClifford Wolf2019-02-241-0/+13
| |\ \
| | * | Fix WREDUCE on FF not fixing ARST_VALUE parameter.Keith Rothman2019-02-221-0/+13
| * | | Merge pull request #740 from daveshah1/improve_dressClifford Wolf2019-02-221-31/+62
| |\ \ \ | | |/ / | |/| |
| | * | abc: Improved recovered netnames, also preserve src on nets with dressDavid Shah2019-02-061-4/+13
| | * | abc: Preserve naming through ABC using 'dress' commandDavid Shah2019-02-061-29/+51
* | | | abc9 -- multiple connections for inoutsEddie Hung2019-02-261-1/+2
* | | | abc9 cleanupEddie Hung2019-02-251-6/+4
* | | | read_aiger to accept empty string for clk_name, passable only if no latchesEddie Hung2019-02-251-2/+1
* | | | abc9 not to clean after aigmapEddie Hung2019-02-251-1/+1
* | | | abc9 to call "clean" once at the end of all abc9_module() callsEddie Hung2019-02-251-4/+4
* | | | abc9 to use AIGER symbol table, as opposed to map fileEddie Hung2019-02-211-5/+16
* | | | Revert "abc9 to write_xaiger -symbols, not -map"Eddie Hung2019-02-211-2/+3
* | | | Remove irrelevant citationsEddie Hung2019-02-211-8/+0
* | | | Add attributionEddie Hung2019-02-211-0/+1
* | | | abc9 to not select anything extra, and pop selection after final cleanEddie Hung2019-02-211-14/+2
* | | | abc9 to write_xaiger -symbols, not -mapEddie Hung2019-02-211-3/+2
* | | | Merge branch 'read_aiger' into xaigEddie Hung2019-02-211-2/+0
|\ \ \ \ | | |_|/ | |/| |
* | | | abc9 to use &mfsEddie Hung2019-02-211-1/+2
* | | | Merge remote-tracking branch 'origin/master' into xaigEddie Hung2019-02-218-1/+1202
|\ \ \ \ | | |/ / | |/| |
| * | | Hotfix for 4c82ddfClifford Wolf2019-02-211-11/+2
| * | | Add -params mode to force undef parameters in selected cells.Keith Rothman2019-02-211-0/+29
| * | | Merge pull request #818 from YosysHQ/clifford/dffsrfixClifford Wolf2019-02-211-6/+7
| |\ \ \
| * | | | Fix typo in passes/pmgen/README.mdClifford Wolf2019-02-211-1/+1
| * | | | Bugfix in ice40_dspClifford Wolf2019-02-211-2/+2
| * | | | Add "synth_ice40 -dsp"Clifford Wolf2019-02-201-4/+4
| * | | | Add FF support to wreduceClifford Wolf2019-02-201-1/+70
| * | | | Detect and reject cases that do not map well to iCE40 DSPs (yet)Clifford Wolf2019-02-202-2/+17
| * | | | Add actual DSP inference to ice40_dsp passClifford Wolf2019-02-173-24/+214
| * | | | Merge branch 'master' of github.com:YosysHQ/yosys into pmgenClifford Wolf2019-02-172-1/+8
| |\ \ \ \ | | | |/ / | | |/| |
| * | | | Progress in pmgenClifford Wolf2019-01-151-3/+11
| * | | | Progress in pmgen, add pmgen READMEClifford Wolf2019-01-153-14/+260
| * | | | 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
* | | | | abc9 to only disconnect output ports of AND and NOT gatesEddie Hung2019-02-211-2/+4
* | | | | Merge branch 'clifford/dffsrfix' of https://github.com/YosysHQ/yosys into xaigEddie Hung2019-02-211-6/+7
|\ \ \ \ \ | | |_|/ / | |/| | |
| * | | | Fix opt_rmdff handling of $_DFFSR_???_ and $_DLATCHSR_???_, fixes #816Clifford Wolf2019-02-211-6/+7
| | |/ / | |/| |
* | | | 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
* | | | lut/not/and suffix to be ${lut,not,and}Eddie Hung2019-02-201-4/+4