Commit message (Collapse) | Author | Age | Files | Lines | ||
---|---|---|---|---|---|---|
... | ||||||
| * | | | | | aiger: -xaiger to read $_DFF_[NP]_ back with new clocks created | Eddie Hung | 2020-05-14 | 2 | -3/+24 | |
| | | | | | | | | | | | | | | | | | | | | | | | | according to mergeability class, and init state as cell attr | |||||
| * | | | | | xaiger: output $_DFF_[NP]_ with mergeability if -dff option | Eddie Hung | 2020-05-14 | 1 | -42/+44 | |
| |/ / / / | ||||||
* | | / / | Revert "Add support for non-power-of-two mem chunks in verific importer" | Claire Wolf | 2020-05-17 | 1 | -12/+2 | |
| |_|/ / |/| | | | | | | | | | | | This reverts commit 173aa27ca5ef6e7c0a9277e8da7765adcd63bfe9. | |||||
* | | | | Merge pull request #2055 from YosysHQ/eddie/logger_multiple | Eddie Hung | 2020-05-14 | 1 | -7/+36 | |
|\ \ \ \ | | | | | | | | | | | logger: fix for multiple calls with same pattern | |||||
| * | | | | logger: clean up doc | Eddie Hung | 2020-05-14 | 1 | -1/+2 | |
| | | | | | ||||||
| * | | | | logger: fix for multiple calls with same pattern | Eddie Hung | 2020-05-14 | 1 | -6/+34 | |
| |/ / / | ||||||
* | | | | opt_expr: Sx to Sz; spotted by @Xiretza | Eddie Hung | 2020-05-14 | 1 | -1/+1 | |
| | | | | ||||||
* | | | | Merge pull request #1994 from YosysHQ/eddie/fix_bug1758 | Eddie Hung | 2020-05-14 | 9 | -30/+562 | |
|\ \ \ \ | |/ / / |/| | | | opt_expr: improve single-bit $and/$or/$xor/$xnor cells; gate cells too | |||||
| * | | | Fix whitespace | Eddie Hung | 2020-05-14 | 1 | -1/+1 | |
| | | | | ||||||
| * | | | test: update opt_expr_alu test | Eddie Hung | 2020-05-08 | 1 | -2/+1 | |
| | | | | ||||||
| * | | | opt_expr: consume_x to require/imply !keepdc | Eddie Hung | 2020-05-08 | 1 | -5/+6 | |
| | | | | ||||||
| * | | | opt_expr: restore consume_x; use for coarse grained too | Eddie Hung | 2020-05-08 | 1 | -6/+6 | |
| | | | | ||||||
| * | | | tests: opt_expr tests that depend on consumex | Eddie Hung | 2020-05-08 | 1 | -0/+35 | |
| | | | | ||||||
| * | | | tests: fsm to use a randomly-generated seed | Eddie Hung | 2020-04-24 | 1 | -3/+5 | |
| | | | | ||||||
| * | | | opt_expr: const_xnor replacement to pad Y with 1'b1 | Eddie Hung | 2020-04-24 | 2 | -1/+48 | |
| | | | | ||||||
| * | | | tests: opt_expr update xnor/xor tests | Eddie Hung | 2020-04-24 | 2 | -7/+6 | |
| | | | | ||||||
| * | | | opt_expr: more fixes for $xor/$xnor | Eddie Hung | 2020-04-24 | 1 | -23/+47 | |
| | | | | ||||||
| * | | | opt_expr: do not group by X, more fixes | Eddie Hung | 2020-04-23 | 3 | -20/+61 | |
| | | | | ||||||
| * | | | tests: add opt_expr tests | Eddie Hung | 2020-04-23 | 5 | -0/+365 | |
| | | | | ||||||
| * | | | opt_expr: improve single-bit $and/$or/$xor/$xnor cells; gate cells too | Eddie Hung | 2020-04-23 | 1 | -10/+29 | |
| | | | | ||||||
* | | | | Merge pull request #2045 from YosysHQ/eddie/fix2042 | Eddie Hung | 2020-05-14 | 6 | -1/+107 | |
|\ \ \ \ | | | | | | | | | | | verilog: error if no direction given for task arguments, default to input in SV mode | |||||
| * | | | | test: add another testcase as per @nakengelhardt | Eddie Hung | 2020-05-14 | 1 | -0/+25 | |
| | | | | | ||||||
| * | | | | verilog: default to input in sv mode if task/func has no dir ... | Eddie Hung | 2020-05-13 | 1 | -2/+10 | |
| | | | | | | | | | | | | | | | | | | | | otherwise error | |||||
| * | | | | tests: update/extend task argument tests | Eddie Hung | 2020-05-13 | 2 | -2/+35 | |
| | | | | | ||||||
| * | | | | verilog: error out when non-ANSI task/func arguments | Eddie Hung | 2020-05-11 | 1 | -1/+5 | |
| | | | | | ||||||
| * | | | | tests: add #2042 testcase | Eddie Hung | 2020-05-11 | 1 | -0/+12 | |
| | | | | | ||||||
| * | | | | Setup tests/verilog properly | Eddie Hung | 2020-05-11 | 3 | -0/+24 | |
| | | | | | ||||||
* | | | | | Merge pull request #2052 from YosysHQ/claire/verific_memfix | Claire Wolf | 2020-05-14 | 1 | -2/+12 | |
|\ \ \ \ \ | | | | | | | | | | | | | Add support for non-power-of-two mem chunks in verific importer | |||||
| * | | | | | Add support for non-power-of-two mem chunks in verific importer | Claire Wolf | 2020-05-14 | 1 | -2/+12 | |
| | |_|/ / | |/| | | | | | | | | | | | | | Signed-off-by: Claire Wolf <claire@symbioticeda.com> | |||||
* | | | | | Merge pull request #2050 from YosysHQ/eddie/opt_clean_fixes | Claire Wolf | 2020-05-14 | 2 | -12/+32 | |
|\ \ \ \ \ | | | | | | | | | | | | | opt_clean: remove (* init *) regardless of -purge, remove (* init *) when consistent with sigmap, clean to behave identically | |||||
| * | | | | | opt_clean: improve warning message | Eddie Hung | 2020-05-14 | 2 | -2/+2 | |
| | | | | | | ||||||
| * | | | | | opt_clean: add init test | Eddie Hung | 2020-05-14 | 1 | -0/+13 | |
| | | | | | | ||||||
| * | | | | | opt_clean: rminit without -purge; also remove if consistent with const.. | Eddie Hung | 2020-05-14 | 1 | -9/+17 | |
| | | | | | | | | | | | | | | | | | | | | | | | | warn otherwise | |||||
| * | | | | | opt_clean: really make 'clean' identical to 'opt_clean' by rminit too | Eddie Hung | 2020-05-14 | 1 | -3/+2 | |
| |/ / / / | ||||||
* | | | | | Merge pull request #2027 from YosysHQ/eddie/verilog_neg_upto | Claire Wolf | 2020-05-14 | 4 | -8/+35 | |
|\ \ \ \ \ | |/ / / / |/| | | | | ast: swap range regardless of range_left >= 0 | |||||
| * | | | | techlibs/common: more robustness when *_WIDTH = 0 | Eddie Hung | 2020-05-05 | 3 | -8/+30 | |
| | | | | | ||||||
| * | | | | ast: swap range regardless of range_left >= 0 | Eddie Hung | 2020-05-04 | 1 | -1/+1 | |
| | | | | | ||||||
| * | | | | test: add failing test | Eddie Hung | 2020-05-04 | 1 | -0/+5 | |
| | | | | | ||||||
* | | | | | ice40: fix ICESTORM_LC process sensitivity | Eddie Hung | 2020-05-12 | 1 | -1/+1 | |
| | | | | | ||||||
* | | | | | ice40: fix whitespace | Eddie Hung | 2020-05-12 | 1 | -15/+14 | |
| | | | | | ||||||
* | | | | | ecp5: Add missing SERDES parameters | David Shah | 2020-05-12 | 1 | -0/+4 | |
| |/ / / |/| | | | | | | | | | | | Signed-off-by: David Shah <dave@ds0.me> | |||||
* | | | | Merge pull request #2038 from nakengelhardt/no-libdir-flag | Claire Wolf | 2020-05-08 | 1 | -2/+1 | |
|\ \ \ \ | | | | | | | | | | | Remove yosys libdir from LDFLAGS (and fix a typo) | |||||
| * | | | | Remove yosys libdir from LDFLAGS (and fix a typo) | N. Engelhardt | 2020-05-07 | 1 | -2/+1 | |
| | | | | | ||||||
* | | | | | Fix clang compiler warning | Claire Wolf | 2020-05-08 | 1 | -2/+2 | |
| | | | | | | | | | | | | | | | | | | | | Signed-off-by: Claire Wolf <claire@symbioticeda.com> | |||||
* | | | | | Merge pull request #2022 from Xiretza/fallthroughs | whitequark | 2020-05-08 | 5 | -9/+26 | |
|\ \ \ \ \ | | | | | | | | | | | | | Avoid switch fall-through warnings | |||||
| * | | | | | Reorder cases to avoid fall-through warning | Xiretza | 2020-05-07 | 1 | -3/+3 | |
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | log_assert(false) never returns and thus can't fall through, but gcc doesn't seem to think that far. Making it the last case avoids the problem entirely. | |||||
| * | | | | | Add YS_FALLTHROUGH macro to mark case fall-through | Xiretza | 2020-05-07 | 5 | -6/+23 | |
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | C++17 introduced [[fallthrough]], GCC and clang had their own vendored attributes before that. MSVC doesn't seem to have such a warning at all. | |||||
* | | | | | | intel_alm: direct LUTRAM cell instantiation | Dan Ravensloft | 2020-05-07 | 9 | -52/+163 | |
| |/ / / / |/| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | By instantiating the LUTRAM cell directly, we avoid a trip through altsyncram, which speeds up Quartus synthesis time. This also gives a little more flexibility, as Yosys can build RAMs out of individual 32x1 LUTRAM cells. While working on this, I discovered that the mem_init0 parameter of <family>_mlab_cell gets ignored by Quartus. | |||||
* | | | | | Merge pull request #2005 from YosysHQ/claire/fix1990 | Claire Wolf | 2020-05-07 | 9 | -19/+142 | |
|\ \ \ \ \ | | | | | | | | | | | | | Add "nowrshmsk" attribute, fix shift-and-mask bit slice write for signed offset | |||||
| * | | | | | Fix the other "opt_expr -fine" bug introduced in 213a89558 | Claire Wolf | 2020-05-02 | 1 | -7/+19 | |
| | | | | | | | | | | | | | | | | | | | | | | | | Signed-off-by: Claire Wolf <claire@symbioticeda.com> |