Commit message (Collapse) | Author | Age | Files | Lines | ||
---|---|---|---|---|---|---|
... | ||||||
| * | | | cxxrtl: rename "elision" to "inlining". NFC. | whitequark | 2020-12-13 | 1 | -77/+77 | |
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | "Elision" in this context is an unusual and not very descriptive term whereas "inlining" is common and straightforward. Also, introducing "inlining" makes it easier to introduce its dual under the obvious name "outlining". | |||||
| * | | | cxxrtl: fix outdated comment. NFC. | whitequark | 2020-12-13 | 1 | -2/+2 | |
| | | | | ||||||
| * | | | cxxrtl: use IdString::isPublic(). NFC. | whitequark | 2020-12-13 | 1 | -4/+4 | |
| | | | | ||||||
| * | | | kernel: make IdString::isPublic() const. | whitequark | 2020-12-12 | 1 | -1/+1 | |
| | | | | ||||||
* | | | | Bump version | Yosys Bot | 2020-12-18 | 1 | -1/+1 | |
| | | | | ||||||
* | | | | xilinx: Add FDDRCPE and FDDRRSE blackbox cells. | Marcelina Kościelnicka | 2020-12-17 | 2 | -0/+33 | |
| |/ / |/| | | | | | | | | | | | These are necessary primitives for proper DDR support on Virtex 2 and Spartan 3. | |||||
* | | | Bump version | Yosys Bot | 2020-12-15 | 1 | -1/+1 | |
| | | | ||||||
* | | | timinginfo: Error instead of segfault on const signals. | Marcelina Kościelnicka | 2020-12-15 | 1 | -2/+2 | |
| | | | | | | | | | | | | Reported by @Ravenslofty | |||||
* | | | Bump version | Yosys Bot | 2020-12-13 | 1 | -1/+1 | |
|/ / | ||||||
* | | Merge pull request #2485 from whitequark/cxxrtl-cell-input-buffering | whitequark | 2020-12-12 | 2 | -25/+33 | |
|\ \ | | | | | | | cxxrtl: don't overwrite buffered inputs | |||||
| * | | cxxrtl: don't overwrite buffered inputs. | whitequark | 2020-12-11 | 2 | -25/+33 | |
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | Before this commit, a cell's input was always assigned like: p_cell.p_input = (value...); If `p_input` is buffered (e.g. if the design is built at -O0), this is not correct. (In practice, this breaks clocking.) Unfortunately, the incorrect design was compiled without diagnostics because wire<> was move-assignable and also implicitly constructible from value<>. After this commit, cell inputs are no longer incorrectly assumed to always be unbuffered, and wires are not assignable from values. | |||||
* | | | Bump version | Yosys Bot | 2020-12-10 | 1 | -1/+1 | |
| | | | ||||||
* | | | Merge pull request #2483 from YosysHQ/pmgen_nice_error | Miodrag Milanović | 2020-12-09 | 1 | -2/+6 | |
|\ \ \ | | | | | | | | | Return nice error in pmgen generated code, fixes #2482 | |||||
| * | | | Return nice error in pmgen generated code, fixes #2482 | Miodrag Milanovic | 2020-12-09 | 1 | -2/+6 | |
|/ / / | ||||||
* / / | Bump version | Yosys Bot | 2020-12-09 | 1 | -1/+1 | |
|/ / | ||||||
* | | Merge pull request #2478 from whitequark/improve-bugpoint | whitequark | 2020-12-08 | 2 | -19/+101 | |
|\ \ | |/ |/| | bugpoint: various improvements | |||||
| * | bugpoint: add -wires option. | whitequark | 2020-12-07 | 2 | -4/+39 | |
| | | ||||||
| * | bugpoint: try to remove whole processes first. | whitequark | 2020-12-07 | 1 | -4/+40 | |
| | | ||||||
| * | bugpoint: accept quoted strings in -grep. | whitequark | 2020-12-07 | 1 | -1/+4 | |
| | | ||||||
| * | bugpoint: add -command option. | whitequark | 2020-12-07 | 1 | -13/+21 | |
|/ | ||||||
* | Bump version | Yosys Bot | 2020-12-04 | 1 | -1/+1 | |
| | ||||||
* | Merge pull request #2470 from whitequark/cxxrtl-create_at | whitequark | 2020-12-03 | 2 | -1/+20 | |
|\ | | | | | cxxrtl: allow customizing the root module path in the C API | |||||
| * | cxxrtl: allow customizing the root module path in the C API. | whitequark | 2020-12-03 | 2 | -1/+20 | |
|/ | ||||||
* | Bump version | Yosys Bot | 2020-12-03 | 1 | -1/+1 | |
| | ||||||
* | Merge pull request #2468 from whitequark/cxxrtl-assert | whitequark | 2020-12-02 | 2 | -2/+16 | |
|\ | | | | | cxxrtl: use CXXRTL_ASSERT for RTL contract violations instead of assert | |||||
| * | cxxrtl: use CXXRTL_ASSERT for RTL contract violations instead of assert. | whitequark | 2020-12-02 | 2 | -2/+16 | |
| | | | | | | | | | | | | | | | | RTL contract violations and C++ contract violations are different: the former depend on the netlist and will never violate memory safety whereas the latter may. When loading a CXXRTL simulation into another process, RTL contract violations should generally not crash it, while C++ contract violations should. | |||||
* | | Merge pull request #2469 from whitequark/cxxrtl-no-clk | whitequark | 2020-12-02 | 1 | -6/+14 | |
|\ \ | | | | | | | cxxrtl: fix crashes caused by a floating or constant clock input | |||||
| * | | cxxrtl: fix crashes caused by a floating or constant clock input. | whitequark | 2020-12-02 | 1 | -6/+14 | |
| |/ | | | | | | | | | | | | | | | | | | | | | E.g. in: module test; wire clk = 0; reg data; always @(posedge clk) data <= 0; endmodule | |||||
* | | Merge pull request #2466 from whitequark/cxxrtl-reset | whitequark | 2020-12-02 | 4 | -3/+78 | |
|\ \ | | | | | | | cxxrtl: provide a way to perform unobtrusive power-on reset | |||||
| * | | cxxrtl: provide a way to perform unobtrusive power-on reset. | whitequark | 2020-12-02 | 4 | -3/+78 | |
| |/ | | | | | | | | | | | | | | | | | | | | | Although it is always possible to destroy and recreate the design to simulate a power-on reset, this has two drawbacks: * Black boxes are also destroyed and recreated, which causes them to reacquire their resources, which might be costly and/or erase important state. * Pointers into the design are invalidated and have to be acquired again, which is costly and might be very inconvenient if they are captured elsewhere (especially through the C API). | |||||
* | | Merge pull request #2456 from Zottel/master | whitequark | 2020-12-02 | 1 | -0/+1 | |
|\ \ | | | | | | | Return correct modname when found in cache. | |||||
| * | | Return correct modname when found in cache. | Julius Roob | 2020-11-26 | 1 | -0/+1 | |
| | | | ||||||
* | | | Merge pull request #2455 from gsomlo/gls-fedpkg-fixes | whitequark | 2020-12-02 | 2 | -0/+6 | |
|\ \ \ | | | | | | | | | Fixes for building Fedora distro RPMs of yosys | |||||
| * | | | fixup over commit 829b5cca to re-enable ABCEXTERNAL support | Gabriel Somlo | 2020-11-26 | 1 | -0/+5 | |
| | | | | ||||||
| * | | | Add #include needed to build with gcc-11 | Gabriel Somlo | 2020-11-26 | 1 | -0/+1 | |
| |/ / | | | | | | | | | | Suggested by Jeff Law <law@redhat.com> | |||||
* | | | Merge pull request #2467 from YosysHQ/dave/nexus-carry-fix | David Shah | 2020-12-02 | 1 | -2/+2 | |
|\ \ \ | | | | | | | | | nexus: More efficient CO mapping | |||||
| * | | | nexus: More efficient CO mapping | David Shah | 2020-12-02 | 1 | -2/+2 | |
| | | | | | | | | | | | | | | | | Signed-off-by: David Shah <dave@ds0.me> | |||||
* | | | | Merge pull request #2446 from RobertBaruch/rtlil_format | whitequark | 2020-12-02 | 3 | -0/+307 | |
|\ \ \ \ | | | | | | | | | | | Adds appendix on RTLIL text format | |||||
| * | | | | Further juggles the wording of "character". | Robert Baruch | 2020-11-25 | 1 | -1/+1 | |
| | | | | | ||||||
| * | | | | Clarifies how character encodings work. | Robert Baruch | 2020-11-25 | 1 | -5/+5 | |
| | | | | | ||||||
| * | | | | Clarifies whitespace and eol. | Robert Baruch | 2020-11-25 | 1 | -2/+6 | |
| | | | | | ||||||
| * | | | | Cleans up doublequotes | Robert Baruch | 2020-11-25 | 1 | -2/+2 | |
| | | | | | ||||||
| * | | | | Clarifies use of integers, and character set. | Robert Baruch | 2020-11-25 | 1 | -4/+12 | |
| | | | | | ||||||
| * | | | | Clarifies processes, corrects some attributes | Robert Baruch | 2020-11-25 | 1 | -29/+46 | |
| | | | | | ||||||
| * | | | | Refactors for attributes. | Robert Baruch | 2020-11-24 | 1 | -50/+50 | |
| | | | | | ||||||
| * | | | | Cleans up some descriptions and syntax | Robert Baruch | 2020-11-24 | 1 | -25/+43 | |
| | | | | | | | | | | | | | | | Now all rules ending in "-stmt" end in eol. | |||||
| * | | | | Adds missing "end" and eol to module. | Robert Baruch | 2020-11-22 | 1 | -1/+1 | |
| | | | | | ||||||
| * | | | | Update to Values #2 | Robert Baruch | 2020-11-22 | 1 | -1/+1 | |
| | | | | | ||||||
| * | | | | Update to Values section | Robert Baruch | 2020-11-22 | 1 | -2/+2 | |
| | | | | | ||||||
| * | | | | Adds appendix on RTLIL text format | Robert Baruch | 2020-11-22 | 3 | -0/+260 | |
| | | | | |