Commit message (Collapse) | Author | Age | Files | Lines | ||
---|---|---|---|---|---|---|
... | ||||||
| * | Add some cleanup code to memory_nordff | Clifford Wolf | 2018-05-28 | 1 | -26/+36 | |
| | | | | | | | | Signed-off-by: Clifford Wolf <clifford@clifford.at> | |||||
| * | Fix infinite loop in abc command under emscripten | Robert Ou | 2018-05-18 | 1 | -5/+7 | |
| | | ||||||
| * | Add an option to statically link abc into yosys | Robert Ou | 2018-05-18 | 1 | -0/+20 | |
| | | | | | | | | This is currently incomplete because the output filter no longer works. | |||||
| * | Fix iopadmap for loops between tristate IO buffers | Clifford Wolf | 2018-05-15 | 1 | -0/+21 | |
| | | | | | | | | Signed-off-by: Clifford Wolf <clifford@clifford.at> | |||||
| * | Fix iopadmap for cases where IO pins already have buffers on them | Clifford Wolf | 2018-05-15 | 1 | -1/+35 | |
| | | | | | | | | Signed-off-by: Clifford Wolf <clifford@clifford.at> | |||||
* | | Correction to -expose with setundef | Aman Goel | 2018-05-15 | 1 | -0/+1 | |
| | | ||||||
* | | Minor correction | Aman Goel | 2018-05-14 | 1 | -2/+1 | |
| | | | | | | | | Minor typo error correction in -expose with setundef | |||||
* | | Corrections to option -expose in setundef pass | Aman Goel | 2018-05-13 | 1 | -16/+141 | |
| | | ||||||
* | | Add option -expose to setundef pass | Aman Goel | 2018-05-13 | 1 | -6/+26 | |
|/ | | | | | | Option -expose converts undriven wires to inputs. Example usage: setundef -undriven -expose [selection] | |||||
* | Some cleanups in setundef.cc | Clifford Wolf | 2018-05-13 | 1 | -0/+7 | |
| | | | | Signed-off-by: Clifford Wolf <clifford@clifford.at> | |||||
* | Add "#ifdef __FreeBSD__" | Christian Krämer | 2018-05-13 | 1 | -1/+1 | |
| | | | | (Re-commit e3575a8 with corrected author field) | |||||
* | Revert "Add "#ifdef __FreeBSD__"" | Clifford Wolf | 2018-05-13 | 1 | -1/+1 | |
| | | | | This reverts commit e3575a86c525f2511902e7022893c3923ba8093e. | |||||
* | Add optimization of tristate buffer with constant control input | Clifford Wolf | 2018-05-12 | 1 | -0/+17 | |
| | | | | Signed-off-by: Clifford Wolf <clifford@clifford.at> | |||||
* | Add "hierarchy -simcheck" | Clifford Wolf | 2018-05-12 | 1 | -7/+23 | |
| | | | | Signed-off-by: Clifford Wolf <clifford@clifford.at> | |||||
* | Add "#ifdef __FreeBSD__" | Johnny Sorocil | 2018-05-05 | 1 | -1/+1 | |
| | ||||||
* | Add ABC FAQ to "help abc" | Clifford Wolf | 2018-05-04 | 1 | -2/+6 | |
| | | | | Signed-off-by: Clifford Wolf <clifford@clifford.at> | |||||
* | Replace -ignore_redef with -[no]overwrite | Clifford Wolf | 2018-05-03 | 1 | -2/+2 | |
| | | | | Signed-off-by: Clifford Wolf <clifford@clifford.at> | |||||
* | Added missing dont_use handling for SR FFs to dfflibmap | Clifford Wolf | 2018-04-05 | 1 | -0/+4 | |
| | | | | Signed-off-by: Clifford Wolf <clifford@clifford.at> | |||||
* | Removed $timescale from "sat" command VCD writer | Clifford Wolf | 2018-03-29 | 1 | -1/+0 | |
| | | | | Signed-off-by: Clifford Wolf <clifford@clifford.at> | |||||
* | Chenged "extensions_map" to "extensions_list" in hierarchy.cc | Clifford Wolf | 2018-03-27 | 1 | -2/+2 | |
| | | | | Signed-off-by: Clifford Wolf <clifford@clifford.at> | |||||
* | passes/hierarchy: Reduce code duplication in expand_module | Sergi Granell | 2018-03-27 | 1 | -15/+13 | |
| | | | | | | This also makes it easier to add new file extensions support. Signed-off-by: Sergi Granell <xerpi.g.12@gmail.com> | |||||
* | Add .sv support to "hierarchy -libdir" | Clifford Wolf | 2018-03-26 | 1 | -0/+6 | |
| | ||||||
* | Add "expose -input" | Clifford Wolf | 2018-03-12 | 1 | -8/+43 | |
| | | | | Signed-off-by: Clifford Wolf <clifford@clifford.at> | |||||
* | Add "setundef -undef" | Clifford Wolf | 2018-03-12 | 1 | -0/+11 | |
| | | | | Signed-off-by: Clifford Wolf <clifford@clifford.at> | |||||
* | Fix handling of src attributes in flatten | Clifford Wolf | 2018-03-10 | 1 | -7/+2 | |
| | | | | Signed-off-by: Clifford Wolf <clifford@clifford.at> | |||||
* | Add "memory_nordff" pass | Clifford Wolf | 2018-03-06 | 2 | -0/+112 | |
| | | | | Signed-off-by: Clifford Wolf <clifford@clifford.at> | |||||
* | Fix connwrappers help message | Clifford Wolf | 2018-03-04 | 1 | -1/+1 | |
| | | | | Signed-off-by: Clifford Wolf <clifford@clifford.at> | |||||
* | Add $dlatchsr support to clk2fflogic | Clifford Wolf | 2018-02-26 | 1 | -4/+25 | |
| | ||||||
* | Fix opt_rmdff handling of $dlatchsr | Clifford Wolf | 2018-02-26 | 1 | -0/+3 | |
| | | | | Signed-off-by: Clifford Wolf <clifford@clifford.at> | |||||
* | Add $allconst and $allseq cell types | Clifford Wolf | 2018-02-23 | 1 | -0/+2 | |
| | | | | Signed-off-by: Clifford Wolf <clifford@clifford.at> | |||||
* | Recognize stand-alone obj pattern even when it contains a slash | Clifford Wolf | 2018-02-13 | 1 | -0/+3 | |
| | ||||||
* | Improve log messages in equiv_make | Clifford Wolf | 2018-01-19 | 1 | -2/+2 | |
| | | | | Signed-off-by: Clifford Wolf <clifford@clifford.at> | |||||
* | Add "dffinit -highlow" and fix synth_intel | Clifford Wolf | 2018-01-09 | 1 | -0/+20 | |
| | | | | Signed-off-by: Clifford Wolf <clifford@clifford.at> | |||||
* | Add support for "yosys -E" | Clifford Wolf | 2018-01-07 | 7 | -0/+12 | |
| | | | | Signed-off-by: Clifford Wolf <clifford@clifford.at> | |||||
* | Bugfix in hierarchy blackbox module port width handling | Clifford Wolf | 2018-01-07 | 1 | -1/+2 | |
| | ||||||
* | Bugfix in hierarchy handling of blackbox module ports | Clifford Wolf | 2018-01-05 | 1 | -5/+4 | |
| | | | | Signed-off-by: Clifford Wolf <clifford@clifford.at> | |||||
* | Merge pull request #480 from Fatsie/liberty_value_expression | Clifford Wolf | 2018-01-04 | 1 | -2/+22 | |
|\ | | | | | Value of properties can be expression. | |||||
| * | Value of properties can be expression. | Staf Verhaegen | 2018-01-03 | 1 | -2/+22 | |
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | Example found in the 2007.03 Liberty Reference Manual that was also found in the wild: input_voltage(CMOS) { vil : 0.3 * VDD ; vih : 0.7 * VDD ; vimin : -0.5 ; vimax : VDD + 0.5 ; } Current implementation just parses the expression but no interpretation is done. | |||||
* | | Temporarily derive blackbox modules in hierarchy to evaluate port widths | Clifford Wolf | 2018-01-04 | 1 | -1/+14 | |
|/ | | | | Signed-off-by: Clifford Wolf <clifford@clifford.at> | |||||
* | Fix a bug in clk2fflogic memory handling | Clifford Wolf | 2017-12-14 | 1 | -1/+1 | |
| | ||||||
* | Add clk2fflogic memory support | Clifford Wolf | 2017-12-14 | 1 | -1/+77 | |
| | ||||||
* | Check for memories in clk2fflogic | Clifford Wolf | 2017-12-13 | 1 | -0/+5 | |
| | ||||||
* | Add warnings for driver-driver conflicts between FFs (and other cells) and ↵ | Clifford Wolf | 2017-12-12 | 2 | -3/+11 | |
| | | | | constants | |||||
* | Add support for editline as replacement for readline | Clifford Wolf | 2017-11-08 | 1 | -0/+4 | |
| | ||||||
* | Add "ltp" command | Clifford Wolf | 2017-10-31 | 2 | -0/+186 | |
| | ||||||
* | Fix memory corruption bug in opt_rmdff | Clifford Wolf | 2017-10-26 | 1 | -0/+3 | |
| | ||||||
* | Fix typo in opt_clean log message | Clifford Wolf | 2017-10-26 | 1 | -1/+1 | |
| | ||||||
* | Revert 90be0d8 as it causes endless loops for some designs | Clifford Wolf | 2017-10-14 | 1 | -1/+0 | |
| | ||||||
* | Fix input vector for reduce cells. | Kaj Tuomi | 2017-10-12 | 1 | -0/+1 | |
| | ||||||
* | Rewrite ABC output to include proper net names in timing report | Clifford Wolf | 2017-10-10 | 1 | -2/+17 | |
| |