Commit message (Collapse) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | intel_alm: Documentation improvements | Dan Ravensloft | 2020-04-21 | 3 | -14/+127 |
| | |||||
* | write_json: dump default parameter values | Marcelina Kościelnicka | 2020-04-21 | 1 | -0/+10 |
| | | | | | | | | Fixes #1823. This will allow nextpnr to reuse the default value information already present in yosys cells_sim.v and avoid duplicating (and probably desyncing) this information. | ||||
* | Use default parameter value in getParam | Marcelina Kościelnicka | 2020-04-21 | 2 | -4/+13 |
| | | | | Fixes #1822. | ||||
* | hierarchy: Convert positional parameters to named. | Marcelina Kościelnicka | 2020-04-21 | 2 | -3/+50 |
| | | | | Fixes #1821. | ||||
* | ilang, ast: Store parameter order and default value information. | Marcelina Kościelnicka | 2020-04-21 | 6 | -9/+27 |
| | | | | Fixes #1819, #1820. | ||||
* | idict: Make iterator go forward. | Marcelina Kościelnicka | 2020-04-21 | 1 | -5/+19 |
| | | | | Previously, iterating over an idict returned its contents in reverse. | ||||
* | Merge pull request #1971 from YosysHQ/claire/edifkeep | Claire Wolf | 2020-04-21 | 1 | -14/+108 |
|\ | | | | | Ignore conflicting keep attributes, unless asked not to | ||||
| * | Improve net priorities in EDIF back-end | Claire Wolf | 2020-04-21 | 1 | -0/+64 |
| | | | | | | | | Signed-off-by: Claire Wolf <claire@symbioticeda.com> | ||||
| * | Ignore conflicting keep attributes, unless asked not to. Fixes #1733 | Claire Wolf | 2020-04-20 | 1 | -14/+44 |
| | | | | | | | | Signed-off-by: Claire Wolf <claire@symbioticeda.com> | ||||
* | | Merge pull request #1851 from YosysHQ/claire/bitselwrite | Claire Wolf | 2020-04-21 | 17 | -15/+1431 |
|\ \ | | | | | | | Improved rewrite code for writing to bit slice | ||||
| * \ | Merge pull request #1975 from dh73/claire/bitselwrite | Eddie Hung | 2020-04-20 | 13 | -0/+1224 |
| |\ \ | | | | | | | | | Adding tests to Claire/bitselwrite branch | ||||
| | * | | Remove '-ignore_unknown_cells' option from 'sat' | Eddie Hung | 2020-04-20 | 1 | -6/+6 |
| | | | | |||||
| | * | | Simplify test case script | Eddie Hung | 2020-04-20 | 1 | -30/+17 |
| | | | | |||||
| | * | | Remove ununsed files | Eddie Hung | 2020-04-20 | 5 | -83/+0 |
| | | | | |||||
| | * | | Modifications of tests as per Eddie's request | diego | 2020-04-20 | 15 | -78/+1237 |
| | | | | |||||
| | * | | Wrong fixed value | diego | 2020-04-17 | 1 | -1/+1 |
| | | | | |||||
| | * | | Adding tests for dynamic part select optimisation | diego | 2020-04-16 | 7 | -0/+161 |
| |/ / | |||||
| * | | Make mask-and-shift the default for bitselwrite | Claire Wolf | 2020-04-16 | 1 | -1/+1 |
| | | | | | | | | | | | | Signed-off-by: Claire Wolf <claire@symbioticeda.com> | ||||
| * | | Add LookaheadRewriter for proper bitselwrite support | Claire Wolf | 2020-04-16 | 4 | -4/+144 |
| | | | | | | | | | | | | Signed-off-by: Claire Wolf <claire@symbioticeda.com> | ||||
| * | | Improved rewrite code for writing to bit slice (disabled for now) | Claire Wolf | 2020-04-15 | 1 | -12/+64 |
| | | | | | | | | | | | | | | | | | | | | | | | | | | | This adds the new rewrite rule. But it's still missing a check that makes sure the new rewrite rule is actually a valid substitute in the always block being processed. Therefore the new rewrite rule is just disabled for now. Signed-off-by: Claire Wolf <claire@symbioticeda.com> | ||||
* | | | Merge pull request #1961 from whitequark/paramod-original-name | whitequark | 2020-04-21 | 3 | -11/+7 |
|\ \ \ | | | | | | | | | ast, rpc: record original name of $paramod\* as \hdlname attribute | ||||
| * | | | ast, rpc: record original name of $paramod\* as \hdlname attribute. | whitequark | 2020-04-18 | 3 | -11/+7 |
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | The $paramod name mangling is not invertible (the \ character, which separates the module name from the parameters, is valid in the module name itself), which does not stop people from trying to invert it. This commit makes it easy to invert the name mangling by storing the original name explicitly, and fixes the firrtl backend to use the newly introduced attribute. | ||||
* | | | | tests: remove write_ilang | Eddie Hung | 2020-04-20 | 2 | -3/+0 |
| | | | | |||||
* | | | | Merge pull request #1972 from YosysHQ/eddie/bug1970 | Eddie Hung | 2020-04-20 | 2 | -16/+52 |
|\ \ \ \ | |_|_|/ |/| | | | abc9_ops: -prep_lut to be more robust | ||||
| * | | | abc9: -prep_lut to be more robust | Eddie Hung | 2020-04-20 | 1 | -16/+33 |
| | | | | |||||
| * | | | abc9: add testcase reduced from #1970 | Eddie Hung | 2020-04-20 | 1 | -0/+19 |
|/ / / | |||||
* | | | Merge pull request #1964 from YosysHQ/claire/sformatf | Claire Wolf | 2020-04-20 | 1 | -8/+38 |
|\ \ \ | | | | | | | | | Extend support for format strings in Verilog front-end | ||||
| * | | | Extend support for format strings in Verilog front-end | Claire Wolf | 2020-04-18 | 1 | -8/+38 |
| | | | | | | | | | | | | | | | | Signed-off-by: Claire Wolf <claire@symbioticeda.com> | ||||
* | | | | Merge pull request #1967 from whitequark/cxxrtl-blackbox-attributes | whitequark | 2020-04-19 | 2 | -49/+57 |
|\ \ \ \ | |/ / / |/| | | | cxxrtl: provide attributes to black box factories, too | ||||
| * | | | cxxrtl: provide attributes to black box factories, too. | whitequark | 2020-04-19 | 2 | -49/+57 |
|/ / / | | | | | | | | | | | | | | | | | | | | | | | | | Both parameters and attributes are necessary because the parameters have to be the same between every instantiation of the cell, but attributes may well vary. For example, for an UART PHY, the type of the PHY (tty, pty, socket) would be a parameter, but configuration of the implementation specified by the type (socket address) would be an attribute. | ||||
* | | | Merge pull request #1963 from whitequark/cxxrtl-blackboxes | whitequark | 2020-04-18 | 2 | -198/+637 |
|\ \ \ | | | | | | | | | cxxrtl: add support for simple and templated C++ black boxes | ||||
| * | | | cxxrtl: add templated black box support. | whitequark | 2020-04-18 | 1 | -16/+193 |
| | | | | |||||
| * | | | cxxrtl: make eval() and commit() inline in blackboxes. | whitequark | 2020-04-18 | 1 | -82/+103 |
| | | | | | | | | | | | | | | | | | | | | This change is a preparation for template blackboxes. It has no effect on current generated code. | ||||
| * | | | cxxrtl: add simple black box support. | whitequark | 2020-04-18 | 2 | -70/+311 |
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | This commit adds support for replacing RTLIL modules with CXXRTL black boxes. Black box port widths may not depend on the parameters with which it is instantiated (yet); the parameters may only be used to change the behavior of the black box. | ||||
| * | | | cxxrtl: use ID::X instead of ID(X). NFC. | whitequark | 2020-04-18 | 1 | -107/+107 |
|/ / / | |||||
* | | | Merge pull request #1955 from whitequark/cxxrtl-sync_always | whitequark | 2020-04-17 | 1 | -3/+13 |
|\ \ \ | | | | | | | | | cxxrtl: correctly handle `sync always` rules | ||||
| * | | | cxxrtl: correctly handle `sync always` rules. | whitequark | 2020-04-17 | 1 | -3/+13 |
| |/ / | | | | | | | | | | Fixes #1948. | ||||
* | | | Merge pull request #1952 from boqwxp/add_edge_location | whitequark | 2020-04-17 | 1 | -0/+3 |
|\ \ \ | |/ / |/| | | Verilog frontend: add source location in more parser rules | ||||
| * | | Set Verilog source location for explicit blocks (`begin` ... `end`). | Alberto Gonzalez | 2020-04-17 | 1 | -0/+1 |
| | | | |||||
| * | | Add Verilog source location information to `AST_POSEDGE` and `AST_NEGEDGE` ↵ | Alberto Gonzalez | 2020-04-17 | 1 | -0/+2 |
| | | | | | | | | | | | | nodes. | ||||
* | | | Merge pull request #1954 from YosysHQ/dave/fix-stdout-conflict | whitequark | 2020-04-17 | 1 | -3/+3 |
|\ \ \ | | | | | | | | | qbfsat: Fix illegal use of 'stdout' identifier | ||||
| * | | | qbfsat: Fix illegal use of 'stdout' identifier | David Shah | 2020-04-17 | 1 | -3/+3 |
| |/ / | | | | | | | | | | Signed-off-by: David Shah <dave@ds0.me> | ||||
* | | | Merge pull request #1951 from whitequark/rtlil-string_attribute | whitequark | 2020-04-17 | 2 | -19/+33 |
|\ \ \ | |/ / |/| | | rtlil: add AttrObject::{get,set}_string_attribute, AttrObject::has_attribute | ||||
| * | | rtlil: add AttrObject::has_attribute. | whitequark | 2020-04-16 | 2 | -0/+7 |
| | | | |||||
| * | | rtlil: add AttrObject::{get,set}_string_attribute. | whitequark | 2020-04-16 | 2 | -19/+26 |
| | | | | | | | | | | | | And make {get,set}_src_attribute use those functions. | ||||
* | | | Merge pull request #1898 from boqwxp/locations | whitequark | 2020-04-17 | 1 | -0/+3 |
|\ \ \ | | | | | | | | | Verilog frontend: add location information to parsed constants | ||||
| * | | | Add location information to `AST_CONSTANT` nodes. | Alberto Gonzalez | 2020-04-16 | 1 | -0/+3 |
| | | | | |||||
* | | | | Merge pull request #1864 from boqwxp/cleanup_techmap_abc | whitequark | 2020-04-17 | 1 | -99/+80 |
|\ \ \ \ | | | | | | | | | | | Clean up pseudo-private member usage and simplify `passes/techmap/abc.cc` | ||||
| * | | | | Simplify `passes/techmap/abc.cc` and remove superfluous `RTLIL::SigSpec` ↵ | Alberto Gonzalez | 2020-04-14 | 1 | -132/+49 |
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | constructions. Co-Authored-By: Eddie Hung <eddie@fpgeh.com> | ||||
| * | | | | Clean up pseudo-private member usage and simplify `passes/techmap/abc.cc`. | Alberto Gonzalez | 2020-04-05 | 1 | -99/+163 |
| | | | | |