Commit message (Collapse) | Author | Age | Files | Lines | ||
---|---|---|---|---|---|---|
... | ||||||
* | | | Add _pm.h files to GENLIST, fixes vcxsrc target | Miodrag Milanovic | 2021-03-11 | 1 | -0/+9 | |
| |/ |/| | ||||||
* | | Replace assert in xaiger with more useful error message | Dan Ravensloft | 2021-03-10 | 1 | -1/+2 | |
| | | ||||||
* | | Merge pull request #2643 from zachjs/fix-param-no-default-log | whitequark | 2021-03-08 | 1 | -1/+1 | |
|\ \ | | | | | | | Fix param without default log line | |||||
| * | | Fix param without default log line | Zachary Snow | 2021-03-07 | 1 | -1/+1 | |
| | | | ||||||
* | | | Bump version | Marcelina Kościelnicka | 2021-03-08 | 1 | -1/+1 | |
| | | | ||||||
* | | | memory_dff: Remove now-useless write port handling. | Marcelina Kościelnicka | 2021-03-08 | 6 | -82/+19 | |
| | | | ||||||
* | | | verilog: Use proc memory writes in the frontend. | Marcelina Kościelnicka | 2021-03-08 | 5 | -29/+94 | |
| | | | ||||||
* | | | Add support for memory writes in processes. | Marcelina Kościelnicka | 2021-03-08 | 16 | -43/+245 | |
| | | | ||||||
* | | | sim: Avoid a crash on empty cell connection. | Marcelina Kościelnicka | 2021-03-08 | 1 | -1/+1 | |
| | | | | | | | | | | | | Fixes #2513. | |||||
* | | | 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 | |
| | | |