Commit message (Collapse) | Author | Age | Files | Lines | ||
---|---|---|---|---|---|---|
... | ||||||
* | | partial rebase of PeterCrozier's enum work onto current master | Jeff Wang | 2020-01-16 | 1 | -2/+6 | |
|/ | | | | | | | | | | | I tried to keep only the enum-related changes, and minimize the diff. (The original commit also had a lot of work done to get typedefs working, but yosys has diverged quite a bit since the 2018-03-09 commit, with a new typedef implementation.) I did not include the import related changes either. Original commit: "Initial implementation of enum, typedef, import. Still a WIP." https://github.com/PeterCrozier/yosys/commit/881833aa738e7404987646ea8076284e911fce3f | |||||
* | sv: Switch parser to glr, prep for typedef | David Shah | 2019-10-03 | 1 | -0/+1 | |
| | | | | Signed-off-by: David Shah <dave@ds0.me> | |||||
* | substr() -> compare() | Eddie Hung | 2019-08-07 | 1 | -1/+1 | |
| | ||||||
* | genrtlil: emit \src attribute on CaseRule. | whitequark | 2019-07-08 | 1 | -0/+1 | |
| | ||||||
* | Add "read_verilog -pwires" feature, closes #1106 | Clifford Wolf | 2019-06-19 | 1 | -1/+20 | |
| | | | | Signed-off-by: Clifford Wolf <clifford@clifford.at> | |||||
* | Fixes and cleanups in AST_TECALL handling | Clifford Wolf | 2019-06-07 | 1 | -1/+31 | |
| | | | | Signed-off-by: Clifford Wolf <clifford@clifford.at> | |||||
* | Merge branch 'pr_elab_sys_tasks' of https://github.com/udif/yosys into ↵ | Clifford Wolf | 2019-06-07 | 1 | -0/+1 | |
|\ | | | | | | | clifford/pr983 | |||||
| * | Initial implementation of elaboration system tasks | Udi Finkelstein | 2019-05-03 | 1 | -0/+1 | |
| | | | | | | | | | | | | | | (IEEE1800-2017 section 20.11) This PR allows us to use $info/$warning/$error/$fatal **at elaboration time** within a generate block. This is very useful to stop a synthesis of a parametrized block when an illegal combination of parameters is chosen. | |||||
* | | Merge branch 'master' into wandwor | Stefan Biereigel | 2019-05-27 | 1 | -3/+9 | |
|\ \ | ||||||
| * \ | Merge pull request #1044 from mmicko/invalid_width_range | Clifford Wolf | 2019-05-27 | 1 | -1/+2 | |
| |\ \ | | | | | | | | | Give error instead of asserting for invalid range, fixes #947 | |||||
| | * | | Give error instead of asserting for invalid range, fixes #947 | Miodrag Milanovic | 2019-05-27 | 1 | -1/+2 | |
| | | | | ||||||
| * | | | Added support for unsized constants, fixes #1022 | Miodrag Milanovic | 2019-05-27 | 1 | -2/+7 | |
| |/ / | | | | | | | | | | Includes work from @sumit0190 and @AaronKel | |||||
* | | | move wand/wor resolution into hierarchy pass | Stefan Biereigel | 2019-05-27 | 1 | -97/+14 | |
| | | | ||||||
* | | | fix assignment of non-wires | Stefan Biereigel | 2019-05-23 | 1 | -16/+19 | |
| | | | ||||||
* | | | fix indentation across files | Stefan Biereigel | 2019-05-23 | 1 | -58/+76 | |
| | | | ||||||
* | | | implementation for assignments working | Stefan Biereigel | 2019-05-23 | 1 | -14/+79 | |
|/ / | ||||||
* | | Improve write_verilog specify support | Clifford Wolf | 2019-05-04 | 1 | -0/+3 | |
| | | | | | | | | Signed-off-by: Clifford Wolf <clifford@clifford.at> | |||||
* | | Merge remote-tracking branch 'origin/master' into clifford/specify | Eddie Hung | 2019-05-03 | 1 | -0/+2 | |
|\ \ | ||||||
| * | | Fix width detection of memory access with bit slice, fixes #974 | Clifford Wolf | 2019-05-01 | 1 | -0/+2 | |
| |/ | | | | | | | Signed-off-by: Clifford Wolf <clifford@clifford.at> | |||||
* | | Add $specrule cells for $setup/$hold/$skew specify rules | Clifford Wolf | 2019-04-23 | 1 | -0/+6 | |
| | | | | | | | | Signed-off-by: Clifford Wolf <clifford@clifford.at> | |||||
* | | Checking and fixing specify cells in genRTLIL | Clifford Wolf | 2019-04-23 | 1 | -1/+15 | |
|/ | | | | Signed-off-by: Clifford Wolf <clifford@clifford.at> | |||||
* | Improve handling of "full_case" attributes | Clifford Wolf | 2019-03-14 | 1 | -0/+9 | |
| | | | | Signed-off-by: Clifford Wolf <clifford@clifford.at> | |||||
* | Add support for SVA labels in read_verilog | Clifford Wolf | 2019-03-07 | 1 | -3/+9 | |
| | | | | Signed-off-by: Clifford Wolf <clifford@clifford.at> | |||||
* | Fix error for wire decl in always block, fixes #763 | Clifford Wolf | 2019-03-02 | 1 | -1/+5 | |
| | | | | Signed-off-by: Clifford Wolf <clifford@clifford.at> | |||||
* | Fixes related to handling of autowires and upto-ranges, fixes #814 | Clifford Wolf | 2019-02-21 | 1 | -2/+2 | |
| | | | | Signed-off-by: Clifford Wolf <clifford@clifford.at> | |||||
* | Fix segfault in printing of some internal error messages | Clifford Wolf | 2019-02-21 | 1 | -2/+2 | |
| | | | | Signed-off-by: Clifford Wolf <clifford@clifford.at> | |||||
* | Fix sign handling of real constants | Clifford Wolf | 2019-02-13 | 1 | -5/+4 | |
| | | | | Signed-off-by: Clifford Wolf <clifford@clifford.at> | |||||
* | Various indenting fixes in AST front-end (mostly space vs tab issues) | Clifford Wolf | 2018-11-04 | 1 | -55/+33 | |
| | | | | Signed-off-by: Clifford Wolf <clifford@clifford.at> | |||||
* | Improve read_verilog range out of bounds warning | Clifford Wolf | 2018-10-20 | 1 | -6/+6 | |
| | | | | Signed-off-by: Clifford Wolf <clifford@clifford.at> | |||||
* | Refactor code to avoid code duplication + added comments | Ruben Undheim | 2018-10-20 | 1 | -21/+4 | |
| | ||||||
* | Documentation improvements etc. | Ruben Undheim | 2018-10-13 | 1 | -5/+7 | |
| | | | | | | | | | - Mention new feature in the SystemVerilog section in the README file - Commented changes much better - Rename a few signals to make it clearer - Prevent warning for unused signals in an easier way - Add myself as copyright holder to 2 files - Fix one potential memory leak (delete 'wire' if not in modport) | |||||
* | Support for 'modports' for System Verilog interfaces | Ruben Undheim | 2018-10-12 | 1 | -0/+29 | |
| | ||||||
* | Synthesis support for SystemVerilog interfaces | Ruben Undheim | 2018-10-12 | 1 | -2/+46 | |
| | | | | This time doing the changes mostly in AST before RTLIL generation | |||||
* | Fix for issue 594. | Tom Verbeure | 2018-10-02 | 1 | -1/+2 | |
| | ||||||
* | Convert more log_error() to log_file_error() where possible. | Henner Zeller | 2018-07-20 | 1 | -71/+69 | |
| | | | | | Mostly statements that span over multiple lines and haven't been caught with the previous conversion. | |||||
* | Use log_file_warning(), log_file_error() functions. | Henner Zeller | 2018-07-20 | 1 | -16/+16 | |
| | | | | Wherever we can report a source-level location. | |||||
* | Provide source-location logging. | Henner Zeller | 2018-07-19 | 1 | -3/+2 | |
| | | | | | | | | o Provide log_file_warning() and log_file_error() that prefix the log message with <filename>:<lineno>: to be easily picked up by IDEs that need to step through errors. o Simplify some duplicate logging code in kernel/log.cc o Use the new log functions in genrtlil. | |||||
* | Fix handling of signed memories | Clifford Wolf | 2018-06-28 | 1 | -0/+3 | |
| | | | | Signed-off-by: Clifford Wolf <clifford@clifford.at> | |||||
* | Add (* gclk *) attribute support | Clifford Wolf | 2018-06-01 | 1 | -0/+9 | |
| | | | | Signed-off-by: Clifford Wolf <clifford@clifford.at> | |||||
* | Add $allconst and $allseq cell types | Clifford Wolf | 2018-02-23 | 1 | -2/+2 | |
| | | | | Signed-off-by: Clifford Wolf <clifford@clifford.at> | |||||
* | Fix error handling for nested always/initial | Clifford Wolf | 2017-12-02 | 1 | -0/+2 | |
| | ||||||
* | Fix generation of vlogtb output in yosys-smtbmc for "rand reg" and "rand ↵ | Clifford Wolf | 2017-06-07 | 1 | -0/+7 | |
| | | | | const reg" | |||||
* | Add $live and $fair cell types, add support for s_eventually keyword | Clifford Wolf | 2017-02-25 | 1 | -1/+6 | |
| | ||||||
* | Add $cover cell type and SVA cover() support | Clifford Wolf | 2017-02-04 | 1 | -0/+2 | |
| | ||||||
* | Some fixes in handling of signed arrays | Clifford Wolf | 2016-11-01 | 1 | -0/+1 | |
| | ||||||
* | Added $anyseq cell type | Clifford Wolf | 2016-10-14 | 1 | -2/+2 | |
| | ||||||
* | Added $global_clock verilog syntax support for creating $ff cells | Clifford Wolf | 2016-10-14 | 1 | -4/+11 | |
| | ||||||
* | Added $past, $stable, $rose, $fell SVA functions | Clifford Wolf | 2016-09-19 | 1 | -0/+10 | |
| | ||||||
* | Added assertpmux | Clifford Wolf | 2016-09-07 | 1 | -0/+1 | |
| | ||||||
* | Added $anyconst support to yosys-smtbmc | Clifford Wolf | 2016-08-30 | 1 | -0/+2 | |
| |