Commit message (Collapse) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Progress in equiv_simple | Clifford Wolf | 2015-01-21 | 2 | -41/+110 |
| | |||||
* | Fixed opt_muxtree performance bug | Clifford Wolf | 2015-01-21 | 1 | -11/+28 |
| | |||||
* | Faster "make clean-abc" | Clifford Wolf | 2015-01-20 | 1 | -2/+2 |
| | |||||
* | README stuff | Clifford Wolf | 2015-01-20 | 1 | -2/+3 |
| | |||||
* | Added equiv_simple | Clifford Wolf | 2015-01-19 | 2 | -0/+188 |
| | |||||
* | Added equiv_status | Clifford Wolf | 2015-01-19 | 2 | -0/+95 |
| | |||||
* | Added equiv_make command | Clifford Wolf | 2015-01-19 | 4 | -1/+260 |
| | |||||
* | Added $equiv cell type | Clifford Wolf | 2015-01-19 | 4 | -2/+33 |
| | |||||
* | Merge branch 'master' of github.com:cliffordwolf/yosys | Clifford Wolf | 2015-01-18 | 1 | -0/+6 |
|\ | |||||
| * | Merge pull request #47 from mschmoelzer/master | Clifford Wolf | 2015-01-18 | 1 | -0/+6 |
| |\ | | | | | | | Add "echo-yosys-ver" and "echo-git-rev" Makefile targets. | ||||
| | * | Add "echo-yosys-ver" and "echo-git-rev" Makefile targets. | Martin Schmölzer | 2015-01-18 | 1 | -0/+6 |
| |/ | | | | | | | | | | | | | These Makefile targets simply echo the corresponding Makefile variable, simplifying package build scripts. Signed-off-by: Martin Schmölzer <mschmoelzer@gmail.com> | ||||
* | | Various cleanups in xilinx techlib | Clifford Wolf | 2015-01-18 | 7 | -9/+110 |
| | | |||||
* | | Refactoring of memory_bram and xilinx brams | Clifford Wolf | 2015-01-18 | 6 | -674/+466 |
|/ | |||||
* | improvements in muxtree/select_leaves test | Clifford Wolf | 2015-01-18 | 1 | -2/+5 |
| | |||||
* | Improvements in opt_muxtree | Clifford Wolf | 2015-01-18 | 2 | -35/+58 |
| | |||||
* | More opt_muxtree cleanups | Clifford Wolf | 2015-01-18 | 1 | -64/+44 |
| | |||||
* | Added hashlib::idict<> | Clifford Wolf | 2015-01-18 | 3 | -2/+73 |
| | |||||
* | Various cleanups and improvements in opt_muxtree | Clifford Wolf | 2015-01-18 | 1 | -87/+71 |
| | |||||
* | Added synth_xilinx -retime -flatten | Clifford Wolf | 2015-01-17 | 1 | -2/+28 |
| | |||||
* | Added support for memories to flatten (techmap) | Clifford Wolf | 2015-01-17 | 1 | -3/+22 |
| | |||||
* | Added MUXCY and XORCY support to synth_xilinx | Clifford Wolf | 2015-01-17 | 4 | -2/+106 |
| | |||||
* | Fixed a bug in opt_muxtree for "mux forests" | Clifford Wolf | 2015-01-17 | 1 | -4/+18 |
| | |||||
* | Improved opt_muxtree | Clifford Wolf | 2015-01-17 | 1 | -4/+38 |
| | |||||
* | Optimizing no-op cell->setPort() | Clifford Wolf | 2015-01-17 | 1 | -1/+3 |
| | |||||
* | Bugfix in dff2dffe | Clifford Wolf | 2015-01-16 | 1 | -1/+1 |
| | |||||
* | Added cells.lib | Clifford Wolf | 2015-01-16 | 2 | -0/+109 |
| | |||||
* | Added dff2dffe to synth_xilinx | Clifford Wolf | 2015-01-16 | 1 | -0/+2 |
| | |||||
* | Added more FF types to xilinx/cells.v | Clifford Wolf | 2015-01-16 | 1 | -25/+28 |
| | |||||
* | Fixed xilinx bram clock inverted config | Clifford Wolf | 2015-01-16 | 1 | -21/+35 |
| | |||||
* | Added FF cells to xilinx/cells_sim.v | Clifford Wolf | 2015-01-16 | 1 | -116/+116 |
| | |||||
* | Added Xilinx MUXF7 and MUXF8 support | Clifford Wolf | 2015-01-15 | 2 | -2/+30 |
| | |||||
* | Added "abc -lut w1:w2" | Clifford Wolf | 2015-01-15 | 1 | -5/+21 |
| | |||||
* | Fixed handling of foo.__TECHMAP_... | Clifford Wolf | 2015-01-15 | 1 | -1/+1 |
| | |||||
* | Ignoring more system task and functions | Clifford Wolf | 2015-01-15 | 2 | -2/+4 |
| | |||||
* | Fixed handling of "input foo; reg [0:0] foo;" | Clifford Wolf | 2015-01-15 | 1 | -0/+7 |
| | |||||
* | Consolidate "Blocking assignment to memory.." msgs for the same line | Clifford Wolf | 2015-01-15 | 1 | -3/+9 |
| | |||||
* | Various cleanups in synth_xilinx command | Clifford Wolf | 2015-01-13 | 1 | -54/+8 |
| | |||||
* | Re-enabled mux->and/or transform (and fixed lm32 in yosys-bigsim) | Clifford Wolf | 2015-01-13 | 1 | -5/+0 |
| | |||||
* | Tiny fix in vcdcd.pl | Clifford Wolf | 2015-01-13 | 1 | -2/+2 |
| | |||||
* | Small Makefile typo fix | Clifford Wolf | 2015-01-13 | 1 | -2/+2 |
| | |||||
* | Only enable code coverage counters on linux | Clifford Wolf | 2015-01-09 | 4 | -6/+6 |
| | |||||
* | Merge pull request #46 from utzig/master | Clifford Wolf | 2015-01-08 | 3 | -5/+11 |
|\ | | | | | Fixes building on a Mac using Homebrew as package manager | ||||
| * | Enable use of homebrew's provided bison if available | Fabio Utzig | 2015-01-08 | 1 | -0/+2 |
| | | |||||
| * | Enable bison to be customized | Fabio Utzig | 2015-01-08 | 3 | -2/+3 |
| | | |||||
| * | Add homebrew's libffi paths | Fabio Utzig | 2015-01-08 | 1 | -0/+3 |
| | | |||||
| * | Add homebrew's readline paths | Fabio Utzig | 2015-01-08 | 1 | -3/+3 |
|/ | |||||
* | Added add_share_file Makefile macro | Clifford Wolf | 2015-01-08 | 3 | -38/+17 |
| | |||||
* | added minimalistic xilinx sim models | Clifford Wolf | 2015-01-08 | 1 | -0/+150 |
| | |||||
* | disabled problematic mux -> and/or transform | Clifford Wolf | 2015-01-07 | 1 | -2/+7 |
| | |||||
* | More Xilinx bram cleanups | Clifford Wolf | 2015-01-07 | 1 | -14/+14 |
| |