| Commit message (Collapse) | Author | Age | Files | Lines | ||
|---|---|---|---|---|---|---|
| ... | ||||||
| | * | | | More testing | Eddie Hung | 2019-05-03 | 2 | -2/+5 | |
| | | | | | ||||||
| | * | | | Fix spacing | Eddie Hung | 2019-05-03 | 1 | -6/+6 | |
| | | | | | ||||||
| | * | | | Add quick-and-dirty specify tests | Eddie Hung | 2019-05-03 | 2 | -0/+53 | |
| | | | | | ||||||
| | * | | | Merge remote-tracking branch 'origin/master' into clifford/specify | Eddie Hung | 2019-05-03 | 40 | -405/+931 | |
| | |\ \ \ | ||||||
| | * | | | | Add specify support to README | Clifford Wolf | 2019-04-23 | 1 | -0/+5 | |
| | | | | | | | | | | | | | | | | | | | | | Signed-off-by: Clifford Wolf <clifford@clifford.at> | |||||
| | * | | | | Improve $specrule interface | Clifford Wolf | 2019-04-23 | 4 | -13/+23 | |
| | | | | | | | | | | | | | | | | | | | | | Signed-off-by: Clifford Wolf <clifford@clifford.at> | |||||
| | * | | | | Improve $specrule interface | Clifford Wolf | 2019-04-23 | 3 | -24/+24 | |
| | | | | | | | | | | | | | | | | | | | | | Signed-off-by: Clifford Wolf <clifford@clifford.at> | |||||
| | * | | | | Add $specrule cells for $setup/$hold/$skew specify rules | Clifford Wolf | 2019-04-23 | 9 | -6/+133 | |
| | | | | | | | | | | | | | | | | | | | | | Signed-off-by: Clifford Wolf <clifford@clifford.at> | |||||
| | * | | | | Preserve $specify[23] cells | Clifford Wolf | 2019-04-23 | 1 | -1/+1 | |
| | | | | | | | | | | | | | | | | | | | | | Signed-off-by: Clifford Wolf <clifford@clifford.at> | |||||
| | * | | | | Allow $specify[23] cells in blackbox modules | Clifford Wolf | 2019-04-23 | 1 | -0/+6 | |
| | | | | | | | | | | | | | | | | | | | | | Signed-off-by: Clifford Wolf <clifford@clifford.at> | |||||
| | * | | | | Rename T_{RISE,FALL}_AVG to T_{RISE,FALL}_TYP to better match verilog std ↵ | Clifford Wolf | 2019-04-23 | 4 | -76/+76 | |
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | nomenclature Signed-off-by: Clifford Wolf <clifford@clifford.at> | |||||
| | * | | | | Add $specify2/$specify3 support to write_verilog | Clifford Wolf | 2019-04-23 | 1 | -0/+47 | |
| | | | | | | | | | | | | | | | | | | | | | Signed-off-by: Clifford Wolf <clifford@clifford.at> | |||||
| | * | | | | Add support for $assert/$assume/$cover to write_verilog | Clifford Wolf | 2019-04-23 | 1 | -0/+10 | |
| | | | | | | | | | | | | | | | | | | | | | Signed-off-by: Clifford Wolf <clifford@clifford.at> | |||||
| | * | | | | Add CellTypes support for $specify2 and $specify3 | Clifford Wolf | 2019-04-23 | 2 | -0/+7 | |
| | | | | | | | | | | | | | | | | | | | | | Signed-off-by: Clifford Wolf <clifford@clifford.at> | |||||
| | * | | | | Add InternalCellChecker support for $specify2 and $specify3 | Clifford Wolf | 2019-04-23 | 1 | -7/+21 | |
| | | | | | | | | | | | | | | | | | | | | | 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> | |||||
| | * | | | | Un-break default specify parser | Clifford Wolf | 2019-04-23 | 1 | -0/+1 | |
| | | | | | | | | | | | | | | | | | | | | | Signed-off-by: Clifford Wolf <clifford@clifford.at> | |||||
| | * | | | | Add specify parser | Clifford Wolf | 2019-04-23 | 5 | -33/+253 | |
| | | | | | | | | | | | | | | | | | | | | | Signed-off-by: Clifford Wolf <clifford@clifford.at> | |||||
| | * | | | | Add $specify2 and $specify3 cells to simlib | Clifford Wolf | 2019-04-23 | 1 | -0/+147 | |
| | | | | | | | | | | | | | | | | | | | | | Signed-off-by: Clifford Wolf <clifford@clifford.at> | |||||
| * | | | | | Merge pull request #975 from YosysHQ/clifford/fix968 | Clifford Wolf | 2019-05-06 | 3 | -13/+66 | |
| |\ \ \ \ \ | | | | | | | | | | | | | Re-enable "final loop assignment" feature and fix opt_clean warnings | |||||
| | * \ \ \ \ | Merge branch 'master' of github.com:YosysHQ/yosys into clifford/fix968 | Clifford Wolf | 2019-05-06 | 35 | -290/+787 | |
| | |\ \ \ \ \ | ||||||
| | * | | | | | | Further improve unused-detection for opt_clean driver-driver conflict warning | Clifford Wolf | 2019-05-03 | 1 | -5/+8 | |
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | Signed-off-by: Clifford Wolf <clifford@clifford.at> | |||||
| | * | | | | | | Improve unused-detection for opt_clean driver-driver conflict warning | Clifford Wolf | 2019-05-03 | 1 | -21/+29 | |
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | Signed-off-by: Clifford Wolf <clifford@clifford.at> | |||||
| | * | | | | | | Add additional test cases for for-loops | Clifford Wolf | 2019-05-01 | 1 | -0/+25 | |
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | Signed-off-by: Clifford Wolf <clifford@clifford.at> | |||||
| | * | | | | | | Silently resolve completely unused cell-vs-const driver-driver conflicts | Clifford Wolf | 2019-05-01 | 1 | -2/+21 | |
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | Signed-off-by: Clifford Wolf <clifford@clifford.at> | |||||
| | * | | | | | | Re-enable "final loop assignment" feature | Clifford Wolf | 2019-05-01 | 1 | -2/+0 | |
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | Signed-off-by: Clifford Wolf <clifford@clifford.at> | |||||
| * | | | | | | | Merge pull request #871 from YosysHQ/verific_import | Clifford Wolf | 2019-05-06 | 4 | -44/+181 | |
| |\ \ \ \ \ \ \ | |_|/ / / / / |/| | | | | | | Improve verific -chparam and add hierarchy -chparam | |||||
| | * | | | | | | Add tests/various/chparam.sh | Clifford Wolf | 2019-05-06 | 1 | -0/+52 | |
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | Signed-off-by: Clifford Wolf <clifford@clifford.at> | |||||
| | * | | | | | | Add "hierarchy -chparam" support for non-verific top modules | Clifford Wolf | 2019-05-03 | 1 | -12/+35 | |
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | Signed-off-by: Clifford Wolf <clifford@clifford.at> | |||||
| | * | | | | | | log_warning_noprefix -> log_warning as per review | Eddie Hung | 2019-05-03 | 1 | -1/+1 | |
| | | | | | | | | ||||||
| | * | | | | | | For hier_tree::Elaborate() also include SV root modules (bind) | Eddie Hung | 2019-05-03 | 1 | -23/+36 | |
| | | | | | | | | ||||||
| | * | | | | | | Fix verific_parameters construction, use attribute to mark top netlists | Eddie Hung | 2019-05-03 | 2 | -8/+12 | |
| | | | | | | | | ||||||
| | * | | | | | | WIP -chparam support for hierarchy when verific | Eddie Hung | 2019-05-03 | 3 | -19/+41 | |
| | | | | | | | | ||||||
| | * | | | | | | verific_import() changes to avoid ElaborateAll() | Eddie Hung | 2019-05-03 | 1 | -15/+38 | |
| | | | | | | | | ||||||
| * | | | | | | | Fix the other bison warning in ilang_parser.y | Clifford Wolf | 2019-05-06 | 1 | -1/+1 | |
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | Signed-off-by: Clifford Wolf <clifford@clifford.at> | |||||
| * | | | | | | | Bugfix in peepopt_shiftmul.pmg | Clifford Wolf | 2019-05-06 | 1 | -0/+4 | |
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | Signed-off-by: Clifford Wolf <clifford@clifford.at> | |||||
| * | | | | | | | Merge pull request #992 from bwidawsk/bison-fix | Clifford Wolf | 2019-05-06 | 1 | -1/+1 | |
| |\ \ \ \ \ \ \ | | | | | | | | | | | | | | | | | verilog_parser: Fix Bison warning | |||||
| | * | | | | | | | verilog_parser: Fix Bison warning | Ben Widawsky | 2019-05-05 | 1 | -1/+1 | |
| | | |_|_|_|/ / | |/| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | As of Bison 2.6, name-prefix is deprecated. This fixes frontends/verilog/verilog_parser.y:99.1-34: warning: deprecated directive, use ‘%define api.prefix {frontend_verilog_yy}’ [-Wdeprecated] %name-prefix "frontend_verilog_yy" For details: https://www.gnu.org/software/bison/manual/html_node/Multiple-Parsers.html Compile tested only. Signed-off-by: Ben Widawsky <ben@bwidawsk.net> | |||||
| * | | | | | | | Merge pull request #989 from YosysHQ/dave/abc_name_improve | Clifford Wolf | 2019-05-06 | 1 | -8/+21 | |
| |\ \ \ \ \ \ \ | | | | | | | | | | | | | | | | | ABC name recovery fixes | |||||
| | * | | | | | | | abc: Fix handling of postfixed names (e.g. for retiming) | David Shah | 2019-05-04 | 1 | -4/+4 | |
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | Signed-off-by: David Shah <dave@ds0.me> | |||||
| | * | | | | | | | abc: Improve name recovery | David Shah | 2019-05-04 | 1 | -4/+17 | |
| | | |_|_|_|_|/ | |/| | | | | | | | | | | | | | | | | | | | Signed-off-by: David Shah <dave@ds0.me> | |||||
| * | | | | | | | Fix bug in "expose -input" | Clifford Wolf | 2019-05-06 | 1 | -1/+1 | |
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | Signed-off-by: Clifford Wolf <clifford@clifford.at> | |||||
| * | | | | | | | Cleanups in opt_clean | Clifford Wolf | 2019-05-06 | 1 | -47/+16 | |
| | |/ / / / / |/| | | | | | | | | | | | | | | | | | Signed-off-by: Clifford Wolf <clifford@clifford.at> | |||||
| * | | | | | | Merge pull request #988 from YosysHQ/clifford/fix987 | Clifford Wolf | 2019-05-04 | 2 | -1/+5 | |
| |\ \ \ \ \ \ | |/ / / / / |/| | | | | | Add approximate support for SV "var" keyword | |||||
| | * | | | | | Add approximate support for SV "var" keyword, fixes #987 | Clifford Wolf | 2019-05-04 | 2 | -1/+5 | |
| | | |_|_|/ | |/| | | | | | | | | | | | | | Signed-off-by: Clifford Wolf <clifford@clifford.at> | |||||
| * | | | | | Improve opt_clean handling of unused wires | Clifford Wolf | 2019-05-04 | 1 | -10/+22 | |
| | | | | | | | | | | | | | | | | | | | | | Signed-off-by: Clifford Wolf <clifford@clifford.at> | |||||
| * | | | | | Add support for SVA "final" keyword | Clifford Wolf | 2019-05-04 | 2 | -1/+5 | |
| |/ / / / | | | | | | | | | | | | | Signed-off-by: Clifford Wolf <clifford@clifford.at> | |||||
| * | | | | Rename cells_map.v to prevent clash with ff_map.v | Eddie Hung | 2019-05-03 | 1 | -6/+8 | |
| | | | | | ||||||
| * | | | | iverilog with simcells.v as well | Eddie Hung | 2019-05-03 | 1 | -1/+2 | |
| | | | | | ||||||
| * | | | | Merge pull request #969 from YosysHQ/clifford/pmgenstuff | Clifford Wolf | 2019-05-03 | 13 | -151/+509 | |
| |\ \ \ \ | |/ / / |/| | | | Improve pmgen, Add "peepopt" pass with shift-mul pattern | |||||
 |
index : iCE40/yosys | |
| [no description] |
| aboutsummaryrefslogtreecommitdiffstats |