Commit message (Collapse) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Use ID::keep more liberally too | Eddie Hung | 2019-08-15 | 1 | -4/+4 |
| | |||||
* | Use more ID::{A,B,Y,blackbox,whitebox} | Eddie Hung | 2019-08-15 | 1 | -3/+3 |
| | |||||
* | Use ID() macro in all of passes/opt/ | Clifford Wolf | 2019-08-11 | 1 | -27/+27 |
| | | | | | | | | | | This was obtained by running the following SED command in passes/opt/ and then using "meld foo.cc foo.cc.orig" to manually fix all resulting compiler errors. sed -i.orig -r 's/"\\\\([a-zA-Z0-9_]+)"/ID(\1)/g; s/"(\$[a-zA-Z0-9_]+)"/ID(\1)/g;' *.cc Signed-off-by: Clifford Wolf <clifford@clifford.at> | ||||
* | substr() -> compare() | Eddie Hung | 2019-08-07 | 1 | -3/+3 |
| | |||||
* | Improve opt_clean handling of unused public wires | Clifford Wolf | 2019-06-26 | 1 | -2/+2 |
| | | | | Signed-off-by: Clifford Wolf <clifford@clifford.at> | ||||
* | Do not clean up buffer cells with "keep" attribute, closes #1128 | Clifford Wolf | 2019-06-26 | 1 | -1/+1 |
| | | | | Signed-off-by: Clifford Wolf <clifford@clifford.at> | ||||
* | Suppress driver-driver conflict warning for unknown cell types, fixes #1065 | Clifford Wolf | 2019-06-05 | 1 | -1/+1 |
| | | | | Signed-off-by: Clifford Wolf <clifford@clifford.at> | ||||
* | Keep zero-width wires in opt_clean if and only if they are ports, fixes #1023 | Clifford Wolf | 2019-05-22 | 1 | -2/+3 |
| | | | | Signed-off-by: Clifford Wolf <clifford@clifford.at> | ||||
* | Improvements in opt_clean | Clifford Wolf | 2019-05-15 | 1 | -10/+10 |
| | | | | Signed-off-by: Clifford Wolf <clifford@clifford.at> | ||||
* | More opt_clean cleanups | Clifford Wolf | 2019-05-07 | 1 | -26/+36 |
| | | | | Signed-off-by: Clifford Wolf <clifford@clifford.at> | ||||
* | Merge pull request #946 from YosysHQ/clifford/specify | Clifford Wolf | 2019-05-06 | 1 | -1/+1 |
|\ | | | | | Add specify parser | ||||
| * | Merge branch 'master' of github.com:YosysHQ/yosys into clifford/specify | Clifford Wolf | 2019-05-06 | 1 | -10/+22 |
| |\ | |||||
| * \ | Merge remote-tracking branch 'origin/master' into clifford/specify | Eddie Hung | 2019-05-03 | 1 | -27/+72 |
| |\ \ | |||||
| * | | | Add $specrule cells for $setup/$hold/$skew specify rules | Clifford Wolf | 2019-04-23 | 1 | -1/+1 |
| | | | | | | | | | | | | | | | | Signed-off-by: Clifford Wolf <clifford@clifford.at> | ||||
| * | | | Preserve $specify[23] cells | Clifford Wolf | 2019-04-23 | 1 | -1/+1 |
| | | | | | | | | | | | | | | | | Signed-off-by: Clifford Wolf <clifford@clifford.at> | ||||
* | | | | Merge branch 'master' of github.com:YosysHQ/yosys into clifford/fix968 | Clifford Wolf | 2019-05-06 | 1 | -55/+68 |
|\ \ \ \ | |||||
| * | | | | Cleanups in opt_clean | Clifford Wolf | 2019-05-06 | 1 | -47/+16 |
| | |_|/ | |/| | | | | | | | | | | Signed-off-by: Clifford Wolf <clifford@clifford.at> | ||||
| * | | | Improve opt_clean handling of unused wires | Clifford Wolf | 2019-05-04 | 1 | -10/+22 |
| | |/ | |/| | | | | | | | Signed-off-by: Clifford Wolf <clifford@clifford.at> | ||||
| * | | Improve opt_expr and opt_clean handling of (partially) undriven and/or ↵ | Clifford Wolf | 2019-05-03 | 1 | -40/+72 |
| | | | | | | | | | | | | | | | | | | unused wires, fixes #981 Signed-off-by: Clifford Wolf <clifford@clifford.at> | ||||
* | | | Further improve unused-detection for opt_clean driver-driver conflict warning | Clifford Wolf | 2019-05-03 | 1 | -5/+8 |
| | | | | | | | | | | | | Signed-off-by: Clifford Wolf <clifford@clifford.at> | ||||
* | | | Improve unused-detection for opt_clean driver-driver conflict warning | Clifford Wolf | 2019-05-03 | 1 | -21/+29 |
| | | | | | | | | | | | | Signed-off-by: Clifford Wolf <clifford@clifford.at> | ||||
* | | | Silently resolve completely unused cell-vs-const driver-driver conflicts | Clifford Wolf | 2019-05-01 | 1 | -2/+21 |
|/ / | | | | | | | Signed-off-by: Clifford Wolf <clifford@clifford.at> | ||||
* / | Drive dangling wires with init attr with their init value, fixes #956 | Clifford Wolf | 2019-04-29 | 1 | -0/+13 |
|/ | |||||
* | Add log_debug() framework | Clifford Wolf | 2019-04-22 | 1 | -5/+6 |
| | | | | Signed-off-by: Clifford Wolf <clifford@clifford.at> | ||||
* | Consistent use of 'override' for virtual methods in derived classes. | Henner Zeller | 2018-07-20 | 1 | -4/+4 |
| | | | | | | | | | o Not all derived methods were marked 'override', but it is a great feature of C++11 that we should make use of. o While at it: touched header files got a -*- c++ -*- for emacs to provide support for that language. o use YS_OVERRIDE for all override keywords (though we should probably use the plain keyword going forward now that C++11 is established) | ||||
* | Add warnings for driver-driver conflicts between FFs (and other cells) and ↵ | Clifford Wolf | 2017-12-12 | 1 | -1/+8 |
| | | | | constants | ||||
* | Fix typo in opt_clean log message | Clifford Wolf | 2017-10-26 | 1 | -1/+1 |
| | |||||
* | Add consolidation of init attributes to opt_clean, some opt_clean log fixes | Clifford Wolf | 2017-07-29 | 1 | -6/+82 |
| | |||||
* | Add $live and $fair cell types, add support for s_eventually keyword | Clifford Wolf | 2017-02-25 | 1 | -1/+1 |
| | |||||
* | Add $cover cell type and SVA cover() support | Clifford Wolf | 2017-02-04 | 1 | -1/+1 |
| | |||||
* | Removed $predict again | Clifford Wolf | 2016-08-28 | 1 | -1/+1 |
| | |||||
* | After reading the SV spec, using non-standard predict() instead of expect() | Clifford Wolf | 2016-07-21 | 1 | -1/+1 |
| | |||||
* | Added basic support for $expect cells | Clifford Wolf | 2016-07-13 | 1 | -1/+1 |
| | |||||
* | Connections between inputs and inouts are driven by the input | Clifford Wolf | 2016-04-26 | 1 | -0/+3 |
| | |||||
* | Added "yosys -D" feature | Clifford Wolf | 2016-04-21 | 1 | -1/+1 |
| | |||||
* | Use alphanumerical order instead of idstring idx in opt_clean compare_signals() | Clifford Wolf | 2016-02-02 | 1 | -1/+1 |
| | |||||
* | Fixed opt_clean handling of inout ports | Clifford Wolf | 2015-08-16 | 1 | -2/+2 |
| | |||||
* | Improved handling of "keep" attributes in hierarchical designs in opt_clean | Clifford Wolf | 2015-08-12 | 1 | -25/+57 |
| | |||||
* | Merge pull request #70 from gaomy3832/bugfix | Clifford Wolf | 2015-08-12 | 1 | -0/+10 |
|\ | | | | | Remove unused blackbox modules in opt_clean. | ||||
| * | Remove unused blackbox modules in opt_clean. | Mingyu Gao | 2015-08-11 | 1 | -0/+10 |
| | | |||||
* | | Added missing ct_all setup to opt_clean | Clifford Wolf | 2015-08-11 | 1 | -0/+3 |
|/ | |||||
* | Fixed trailing whitespaces | Clifford Wolf | 2015-07-02 | 1 | -5/+5 |
| | |||||
* | preserve used $-wires with init attribute in opt_clean | Clifford Wolf | 2015-05-22 | 1 | -1/+1 |
| | |||||
* | Added non-std verilog assume() statement | Clifford Wolf | 2015-02-26 | 1 | -1/+1 |
| | |||||
* | Some cleanups in "clean" | Clifford Wolf | 2015-02-24 | 1 | -7/+14 |
| | |||||
* | Added $meminit cell type | Clifford Wolf | 2015-02-14 | 1 | -1/+1 |
| | |||||
* | Fixed opt_clean performance bug | Clifford Wolf | 2015-02-04 | 1 | -26/+26 |
| | |||||
* | Using design->selected_modules() in opt_* | Clifford Wolf | 2015-02-03 | 1 | -16/+10 |
| | |||||
* | Added dict/pool.sort() | Clifford Wolf | 2015-01-24 | 1 | -0/+4 |
| | |||||
* | Cleanups in opt_clean | Clifford Wolf | 2014-12-29 | 1 | -10/+10 |
| |