| Commit message (Collapse) | Author | Age | Files | Lines | |
|---|---|---|---|---|---|
| * | proc_dff: Fix emitted FF when a register is not assigned in async reset | Marcelina Kościelnicka | 2021-03-08 | 2 | -0/+27 |
| | | | | | Fixes #2619. | ||||
| * | memory_dff: Remove code looking for $mux cells. | Marcelina Kościelnicka | 2021-03-08 | 1 | -56/+12 |
| | | | | | This job is now performed by `opt_dff`, which runs before this pass. | ||||
| * | tests/bram: Do not generate write address collisions. | Marcelina Kościelnicka | 2021-03-08 | 1 | -5/+23 |
| | | | | | These have no defined semantics, making the tests non-deterministic. | ||||
| * | Replace assert in abc9_ops with more useful error message | Dan Ravensloft | 2021-03-07 | 1 | -1/+9 |
| | | |||||
| * | Merge pull request #2626 from zachjs/param-no-default | whitequark | 2021-03-07 | 12 | -5/+225 |
| |\ | | | | | sv: support for parameters without default values | ||||
| | * | sv: support for parameters without default values | Zachary Snow | 2021-03-02 | 12 | -5/+225 |
| | | | | | | | | | | | | | | | | | | | - Modules with a parameter without a default value will be automatically deferred until the hierarchy pass - Allows for parameters without defaults as module items, rather than just int the `parameter_port_list`, despite being forbidden in the LRM - Check for parameters without defaults that haven't been overriden - Add location info to parameter/localparam declarations | ||||
| * | | Merge pull request #2632 from zachjs/width-limit | whitequark | 2021-03-07 | 3 | -0/+39 |
| |\ \ | | | | | | | verilog: impose limit on maximum expression width | ||||
| | * | | verilog: impose limit on maximum expression width | Zachary Snow | 2021-03-04 | 3 | -0/+39 |
| | | | | | | | | | | | | | | | | Designs with unreasonably wide expressions would previously get stuck allocating memory forever. | ||||
| * | | | sv: fix some edge cases for unbased unsized literals | Zachary Snow | 2021-03-06 | 4 | -1/+70 |
| | | | | | | | | | | | | | | | | | | | - Fix explicit size cast of unbased unsized literals - Fix unbased unsized literal bound directly to port - Output `is_unsized` flag in `dumpAst` | ||||
| * | | | proc_clean: Fix empty case removal conditions. | Marcelina Kościelnicka | 2021-03-06 | 1 | -10/+21 |
| | | | | | | | | | | | | | Fixes #2639. | ||||
| * | | | Remove a few functions that, in fact, did not exist in the first place. | Marcelina Kościelnicka | 2021-03-06 | 2 | -3/+1 |
| | | | | |||||
| * | | | Replace assert in addModule with more useful error message | Dan Ravensloft | 2021-03-06 | 1 | -1/+2 |
| | | | | |||||
| * | | | Merge pull request #2635 from whitequark/cxxrtl-memrd-async-addr | whitequark | 2021-03-05 | 1 | -1/+3 |
| |\ \ \ | | | | | | | | | cxxrtl: follow aliases to outlines when emitting $memrd.ADDR | ||||
| | * | | | cxxrtl: follow aliases to outlines when emitting $memrd.ADDR. | whitequark | 2021-03-05 | 1 | -1/+3 |
| | |/ / | |||||
| * | | | Merge pull request #2634 from whitequark/cxxrtl-debug-wire-types | whitequark | 2021-03-05 | 1 | -0/+46 |
| |\ \ \ | | | | | | | | | cxxrtl: add pass debug flag to show assigned wire types | ||||
| | * | | | cxxrtl: add pass debug flag to show assigned wire types. | whitequark | 2021-03-05 | 1 | -0/+46 |
| | |/ / | | | | | | | | | | Refs #2543. | ||||
| * | | | Merge pull request #2633 from whitequark/cxxrtl-no-top | whitequark | 2021-03-05 | 1 | -1/+1 |
| |\ \ \ | |/ / |/| | | cxxrtl: don't crash on empty designs | ||||
| | * | | cxxrtl: don't crash on empty designs. | whitequark | 2021-03-05 | 1 | -1/+1 |
| |/ / | |||||
| * | | Update command-reference-manual.tex | Claire Xen | 2021-03-04 | 1 | -4/+4 |
| | | | |||||
| * | | Update README | Claire Xen | 2021-03-04 | 1 | -4/+4 |
| |/ | |||||
| * | Merge pull request #2620 from zachjs/port-int-types | whitequark | 2021-03-01 | 3 | -2/+64 |
| |\ | | | | | verilog: fix sizing of ports with int types in module headers | ||||
| | * | verilog: fix sizing of ports with int types in module headers | Zachary Snow | 2021-03-01 | 3 | -2/+64 |
| | | | | | | | | | | | | | Declaring the ports as standard module items already worked as expected. This adds a missing usage of `checkRange()` so that headers such as `module m(output integer x);` now work correctly. | ||||
| * | | Bump version | Marcelina Kościelnicka | 2021-03-01 | 1 | -1/+1 |
| |/ | |||||
| * | verilog: fix handling of nested ifdef directives | Zachary Snow | 2021-03-01 | 8 | -11/+197 |
| | | | | | | - track depth so we know whether to consider higher-level elsifs - error on unmatched endif/elsif/else | ||||
| * | Set aside extraneous tests in simple_abc9 test suite | Zachary Snow | 2021-03-01 | 2 | -0/+19 |
| | | | | | | | | New test cases on one branch may be automatically copied from simple/ to simple_abc9/, causing failures when switching to another branch. This updates the simple_abc9 script to set aside extraneous tests in a non-destructive way. | ||||
| * | Merge pull request #2523 from tomverbeure/define_synthesis | Claire Xen | 2021-03-01 | 1 | -3/+12 |
| |\ | | | | | Add -nosynthesis flag for read_verilog command | ||||
| | * | Fix indents. | Tom Verbeure | 2021-01-04 | 1 | -2/+2 |
| | | | |||||
| | * | Add -nosynthesis flag for read_verilog command. | Tom Verbeure | 2021-01-04 | 1 | -3/+12 |
| | | | |||||
| * | | Merge pull request #2524 from bkbncn/patch-1 | Claire Xen | 2021-03-01 | 1 | -0/+1 |
| |\ \ | | | | | | | Add boost-python3 | ||||
| | * | | Add boost-python3 | Xiangyu Xu | 2021-01-04 | 1 | -0/+1 |
| | |/ | | | | | If enable python-api, do need boost-python3. | ||||
| * | | Merge pull request #2617 from RobertBaruch/doc | whitequark | 2021-03-01 | 1 | -1/+1 |
| |\ \ | | | | | | | RTLIL Documentation: switch in process is optional | ||||
| | * | | RTLIL Documentation: switch in process is optional | Robert Baruch | 2021-02-27 | 1 | -1/+1 |
| | | | | |||||
| * | | | Merge pull request #2615 from zachjs/genrtlil-conflict | whitequark | 2021-03-01 | 7 | -12/+93 |
| |\ \ \ | | | | | | | | | genrtlil: improve name conflict error messaging | ||||
| | * | | | genrtlil: improve name conflict error messaging | Zachary Snow | 2021-02-26 | 7 | -12/+93 |
| | | | | | |||||
| * | | | | Merge pull request #2618 from zachjs/int-types | whitequark | 2021-02-28 | 6 | -39/+148 |
| |\ \ \ \ | |_|/ / |/| | | | sv: extended support for integer types | ||||
| | * | | | sv: extended support for integer types | Zachary Snow | 2021-02-28 | 6 | -39/+148 |
| |/ / / | | | | | | | | | | | | | | | | | | | | | | | | | - Standard data declarations can now use any integer type - Parameters and localparams can now use any integer type - Function returns types can now use any integer type - Fix `parameter logic`, `localparam reg`, etc. to be 1 bit (previously 32 bits) - Added longint type (64 bits) - Unified parser source for integer type widths | ||||
| * | | | Update issue_template.md | Claire Xen | 2021-02-27 | 1 | -1/+1 |
| | | | | |||||
| * | | | Add tests for $countbits | Michael Singer | 2021-02-26 | 2 | -0/+76 |
| | | | | |||||
| * | | | Implement $countones, $isunknown and $onehot{,0} | Michael Singer | 2021-02-26 | 1 | -0/+28 |
| | | | | |||||
| * | | | Implement $countbits function | Michael Singer | 2021-02-26 | 1 | -0/+59 |
| | | | | |||||
| * | | | Extend simplify() recursion warning | Zachary Snow | 2021-02-26 | 1 | -1/+1 |
| | | | | |||||
| * | | | Bump version | Marcelina Kościelnicka | 2021-02-26 | 1 | -1/+1 |
| | | | | |||||
| * | | | Merge pull request #2554 from hzeller/master | whitequark | 2021-02-25 | 1 | -6/+17 |
| |\ \ \ | | | | | | | | | Fix digit-formatting calculation for small numbers. | ||||
| | * | | | Provide an integer implementation of decimal_digits(). | Henner Zeller | 2021-02-01 | 1 | -2/+9 |
| | | | | | | | | | | | | | | | | | Signed-off-by: Henner Zeller <h.zeller@acm.org> | ||||
| | * | | | Fix digit-formatting calculation for small numbers. | Henner Zeller | 2021-01-21 | 1 | -6/+10 |
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | Calling log10() on zero causes a non-sensical value to be calculated. On some compile options, I've observed yosys crashing with an illegal instruction (SIGILL). To make it safe, fix the calculation to do a range check; wrap it a decimal_digits() function, and use it where the previous ceil(log10(n)) call was used. As a side, it also improves readability. Signed-off-by: Henner Zeller <h.zeller@acm.org> | ||||
| * | | | | btor, smt2, smv: Add a hint on how to deal with funny FF types. | Marcelina Kościelnicka | 2021-02-25 | 3 | -3/+42 |
| | | | | | |||||
| * | | | | Fix handling of unique/unique0/priority cases in the frontend. | Marcelina Kościelnicka | 2021-02-25 | 2 | -15/+16 |
| | |/ / |/| | | | | | | | | | | | | | | | | | | | | | | | | | | Basically: - priority converts to (* full_case *) - unique0 converts to (* parallel_case *) - unique converts to (* parallel_case, full_case *) Fixes #2596. | ||||
| * | | | Extend "delay" expressions to handle pair and triplet, i.e. rise, fall and ↵ | TimRudy | 2021-02-24 | 3 | -2/+445 |
| | | | | | | | | | | | | | turn-off (#2566) | ||||
| * | | | Merge pull request #2607 from zachjs/logger-error-atexit | whitequark | 2021-02-24 | 1 | -3/+3 |
| |\ \ \ | | | | | | | | | Fix double-free on unmatched logger error pattern | ||||
| | * | | | Fix double-free on unmatched logger error pattern | Zachary Snow | 2021-02-23 | 1 | -3/+3 |
| |/ / / | | | | | | | | | | | | | | | | | | | When an expected logger error pattern is unmatched, the logger raises another (hidden) error. Because of the previous ordering of actions, `logv_error_with_prefix()` would inadvertently invoke `yosys_atexit()` twice, causing a double-free. | ||||
 |
index : iCE40/yosys | |
| [no description] |
| aboutsummaryrefslogtreecommitdiffstats |