| Commit message (Collapse) | Author | Age | Files | Lines | ||
|---|---|---|---|---|---|---|
| ... | ||||||
| * | | Merge pull request #1797 from epfl-vlsc/firrtl_backend_fileinfo | Claire Wolf | 2020-04-16 | 1 | -29/+51 | |
| |\ \ | |/ |/| | Keep file information when emitting firrtl | |||||
| | * | Fix indentation | Sahand Kashani | 2020-04-09 | 1 | -3/+3 | |
| | | | ||||||
| | * | Remove dependency on ilang backend since we no longer use it | Sahand Kashani | 2020-04-08 | 1 | -1/+0 | |
| | | | ||||||
| | * | Merge branch 'master' of github.com:YosysHQ/yosys into firrtl_backend_fileinfo | Sahand Kashani | 2020-04-08 | 14 | -1131/+1243 | |
| | |\ | ||||||
| | * | | Remove unnecessary pruning of double-quoting | Sahand Kashani | 2020-04-08 | 1 | -5/+0 | |
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | In the past I was calling the ILANG_BACKEND::dump_const() to dump values to an output stream. When these values were strings, the function used to add quotes around them. The firrtl compiler, in turn, escaped these quotes and the result was double-quoted strings which were hard to read. However I'm now calling design_entity->get_src_attribute() directly and there is no additional quote being put around it, so we can safely remove the unnecessary call to str.erase() here. | |||||
| | * | | Remove use of auto for simple types + simplify src attribute computation | Sahand Kashani | 2020-03-24 | 1 | -10/+5 | |
| | | | | ||||||
| | * | | Refactor to directly call ILANG_BACKEND::dump_const() + directly lookup src ↵ | Sahand Kashani | 2020-03-24 | 1 | -68/+15 | |
| | | | | | | | | | | | | | attribute | |||||
| | * | | Indentation conventions | Sahand Kashani | 2020-03-23 | 1 | -5/+6 | |
| | | | | ||||||
| | * | | Const parameter in function (backends/firrtl/firrtl.cc) | Sahand Kashani-Akhavan | 2020-03-23 | 1 | -1/+1 | |
| | | | | | | | | | | Co-Authored-By: Alberto Gonzalez <61295559+boqwxp@users.noreply.github.com> | |||||
| | * | | Strip quotes around fileinfo strings | Sahand Kashani | 2020-03-21 | 1 | -1/+5 | |
| | | | | | | | | | | | | | | | | | | | Yosys puts quotes around the string that represents the fileinfo whereas firrtl does not. So when firrtl sees quotes, it escapes them with an extra backslash which makes it hard to read afterwards. | |||||
| | * | | Add fileinfo to firrtl backend for assignments and non-instance cells | Sahand Kashani | 2020-03-21 | 1 | -21/+30 | |
| | | | | ||||||
| | * | | Refactor fileinfo emission characters to single location | Sahand Kashani | 2020-03-20 | 1 | -6/+8 | |
| | | | | ||||||
| | * | | Add fileinfo to firrtl backend for instances | Sahand Kashani | 2020-03-19 | 1 | -2/+3 | |
| | | | | ||||||
| | * | | Add fileinfo to firrtl backend for modules and wires | Sahand Kashani | 2020-03-19 | 1 | -12/+20 | |
| | | | | ||||||
| | * | | Add fileinfo to firrtl backend for top-level circuit | Sahand Kashani | 2020-03-19 | 1 | -1/+62 | |
| | | | | ||||||
| * | | | Merge pull request #1830 from boqwxp/qbfsat | N. Engelhardt | 2020-04-15 | 1 | -3/+15 | |
| |\ \ \ | | | | | | | | | Add `qbfsat` command to integrate exists-forall solving and specialization | |||||
| | * | | | Updated `yosys-smtbmc` to optionally dump raw bit strings, and fixed hole ↵ | Alberto Gonzalez | 2020-04-04 | 1 | -3/+15 | |
| | | | | | | | | | | | | | | | | | value recovery using that mode. | |||||
| * | | | | json: Update format documentation. | Marcelina Kościelnicka | 2020-04-15 | 1 | -12/+32 | |
| | | | | | | | | | | | | | | | | | Fixes #1693. | |||||
| * | | | | cxxrtl: Fix handling of unclocked memory read ports | David Shah | 2020-04-14 | 1 | -2/+3 | |
| | | | | | | | | | | | | | | | | | Signed-off-by: David Shah <dave@ds0.me> | |||||
| * | | | | Merge pull request #1922 from whitequark/write_cxxrtl-disconnected-outputs | whitequark | 2020-04-14 | 1 | -0/+2 | |
| |\ \ \ \ | | | | | | | | | | | write_cxxrtl: ignore disconnected module ports | |||||
| | * | | | | write_cxxrtl: ignore disconnected module ports. | whitequark | 2020-04-14 | 1 | -0/+2 | |
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | E.g. port `q` in `submod x(.p(p), .q());`. Fixes #1920. | |||||
| * | | | | | Merge pull request #1921 from whitequark/write_cxxrtl-separate-compilation | whitequark | 2020-04-14 | 2 | -10/+82 | |
| |\ \ \ \ \ | | | | | | | | | | | | | write_cxxrtl: enable separate compilation | |||||
| | * | | | | | write_verilog: fix precondition check. | whitequark | 2020-04-14 | 1 | -1/+1 | |
| | | | | | | | ||||||
| | * | | | | | write_cxxrtl: enable separate compilation. | whitequark | 2020-04-14 | 1 | -9/+81 | |
| | |/ / / / | | | | | | | | | | | | | | | | | | | | | | | | | | This commit makes it possible to use several cxxrtl-generated files in one application, as well as compiling cxxrtl-generated code as a separate compilation unit. | |||||
| * / / / / | xaiger: add check for $__ABC9_DELAY model | Eddie Hung | 2020-04-13 | 1 | -0/+4 | |
| |/ / / / | ||||||
| * | | | | Support custom PROGRAM_PREFIX | Miodrag Milanovic | 2020-04-10 | 2 | -9/+8 | |
| | | | | | ||||||
| * | | | | write_cxxrtl: add basic documentation. | whitequark | 2020-04-09 | 1 | -1/+16 | |
| | | | | | ||||||
| * | | | | write_cxxrtl: add support for $dlatch and $dlatchsr cells. | whitequark | 2020-04-09 | 1 | -3/+16 | |
| | | | | | | | | | | | | | | | | | Also, fix codegen for $dffe and $adff. | |||||
| * | | | | write_cxxrtl: add support for $sr cell. | whitequark | 2020-04-09 | 1 | -27/+35 | |
| | | | | | | | | | | | | | | | | | | | | | | | | | Also, fix the semantics of SET/CLR inputs of the $dffsr cell, and fix the scheduling of async FF cells to consider ARST/SET/CLR->Q as a forward combinatorial arc. | |||||
| * | | | | write_cxxrtl: add support for $slice and $concat cells. | whitequark | 2020-04-09 | 1 | -1/+16 | |
| | | | | | ||||||
| * | | | | write_cxxrtl: improve writable memory handling. | whitequark | 2020-04-09 | 2 | -65/+87 | |
| | | | | | | | | | | | | | | | | | | | | | | | | | This commit reduces space and time overhead for writable memories to O(write port count) in both cases; implements handling for write port priorities; and simplifies runtime representation of memories. | |||||
| * | | | | write_cxxrtl: add support for hierarchical designs. | whitequark | 2020-04-09 | 1 | -18/+107 | |
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | Hierarchical design simulations are generally much slower, but this comes with a major increase in flexibility: 1. Since the `flatten` pass currently does not support flattening of designs with processes, this is the only way to simulate such designs with cxxrtl. 2. Support for hierarchy paves way for simulation black boxes, which are necessary for e.g. replacing PHYs with C++ code that integrates with the host system. | |||||
| * | | | | write_cxxrtl: avoid undefined behavior on out-of-bounds memory access. | whitequark | 2020-04-09 | 2 | -46/+78 | |
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | After this commit, if NDEBUG is not defined, out-of-bounds accesses cause assertion failures for reads and writes. If NDEBUG is defined, out-of-bounds reads return zeroes, and out-of-bounds writes are ignored. This commit also adds support for memories that start with a non-zero index (`Memory::start_offset` in RTLIL). | |||||
| * | | | | write_cxxrtl: statically schedule comb logic and localize wires. | whitequark | 2020-04-09 | 2 | -68/+368 | |
| | | | | | | | | | | | | | | | | | | | | | | | | | This results in further massive gains in performance, modest decrease in compile time, and, for designs without feedback arcs, makes it possible to run eval() once per clock edge in certain conditions. | |||||
| * | | | | write_cxxrtl: elide wires for results of comb cells used once. | whitequark | 2020-04-09 | 1 | -35/+359 | |
| | | | | | | | | | | | | | | | | | | | | | This results in massive gains in performance, equally massive reduction in compile time, and improved readability. | |||||
| * | | | | write_cxxrtl: new backend. | whitequark | 2020-04-09 | 3 | -0/+2010 | |
| | |_|/ |/| | | | | | | | | | | | This commit adds a basic implementation that isn't very performant but implements most of the planned features. | |||||
| * | | | kernel: big fat patch to use more ID::*, otherwise ID(*) | Eddie Hung | 2020-04-02 | 9 | -727/+727 | |
| | | | | ||||||
| * | | | Update backends/btor/btor.cc; credit @boqwxp | Eddie Hung | 2020-04-02 | 1 | -2/+1 | |
| | | | | | | | | | | Co-Authored-By: Alberto Gonzalez <61295559+boqwxp@users.noreply.github.com> | |||||
| * | | | kernel: use more ID::* | Eddie Hung | 2020-04-02 | 11 | -280/+280 | |
| | | | | ||||||
| * | | | Merge pull request #1770 from YosysHQ/claire/btor_symbols | Claire Wolf | 2020-04-02 | 1 | -36/+60 | |
| |\ \ \ | | | | | | | | | Improve write_btor symbol handling | |||||
| | * | | | Improve write_btor symbol handling | Claire Wolf | 2020-03-14 | 1 | -36/+60 | |
| | | | | | | | | | | | | | | | | | Signed-off-by: Claire Wolf <claire@symbioticeda.com> | |||||
| * | | | | Merge pull request #1765 from YosysHQ/claire/btor_info | Claire Wolf | 2020-04-02 | 1 | -9/+113 | |
| |\| | | | | | | | | | | | Add info-file and cover features to write_btor | |||||
| | * | | | Add info-file and cover features to write_btor | Claire Wolf | 2020-03-13 | 1 | -9/+113 | |
| | | | | | | | | | | | | | | | | | Signed-off-by: Claire Wolf <claire@symbioticeda.com> | |||||
| * | | | | Update `RTLIL::id2cstr()` usage to `log_id`. | Alberto Gonzalez | 2020-04-01 | 1 | -2/+2 | |
| | | | | | ||||||
| * | | | | Clean up pseudo-private member usage in `backends/intersynth/intersynth.cc`. | Alberto Gonzalez | 2020-04-01 | 1 | -22/+19 | |
| | | | | | ||||||
| * | | | | Clean up pseudo-private member usage in `backends/blif/blif.cc`. | Alberto Gonzalez | 2020-04-01 | 1 | -15/+11 | |
| | | | | | ||||||
| * | | | | Clean up pseudo-private member usage in `backends/verilog/verilog_backend.cc`. | Alberto Gonzalez | 2020-04-01 | 1 | -22/+19 | |
| | | | | | ||||||
| * | | | | Clean up pseudo-private member usage in `backends/spice/spice.cc`. | Alberto Gonzalez | 2020-04-01 | 1 | -13/+9 | |
| | | | | | ||||||
| * | | | | Clean up pseudo-private member usage in `backends/edif/edif.cc`. | Alberto Gonzalez | 2020-04-01 | 1 | -23/+18 | |
| | | | | | ||||||
| * | | | | Clean up pseudo-private member usage in `backends/ilang/ilang_backend.cc`. | Alberto Gonzalez | 2020-04-01 | 1 | -6/+6 | |
| | |/ / |/| | | ||||||
 |
index : iCE40/yosys | |
| [no description] |
| aboutsummaryrefslogtreecommitdiffstats |