| 2019-05-07 |
Clifford Wolf | Add test case from #997
Signed-off-by: Clifford Wolf <clifford@clifford.at>
|
commit | commitdiff | tree |
| 2019-05-07 |
Clifford Wolf | Fix handling of partial init attributes in write_verilog...
Signed-off-by: Clifford Wolf <clifford@clifford.at>
|
commit | commitdiff | tree |
| 2019-05-07 |
Clifford Wolf | Add "synth_xilinx -arch"
Signed-off-by: Clifford Wolf <clifford@clifford.at>
|
commit | commitdiff | tree |
| 2019-05-07 |
Clifford Wolf | More opt_clean cleanups
Signed-off-by: Clifford Wolf <clifford@clifford.at>
|
commit | commitdiff | tree |
| 2019-05-06 |
Clifford Wolf | Add tests/various/chparam.sh
Signed-off-by: Clifford Wolf <clifford@clifford.at>
|
commit | commitdiff | tree |
| 2019-05-06 |
Clifford Wolf | Merge branch 'master' of github.com:YosysHQ/yosys into...
|
commit | commitdiff | tree |
| 2019-05-06 |
Clifford Wolf | Fix the other bison warning in ilang_parser.y
Signed-off-by: Clifford Wolf <clifford@clifford.at>
|
commit | commitdiff | tree |
| 2019-05-06 |
Clifford Wolf | Bugfix in peepopt_shiftmul.pmg
Signed-off-by: Clifford Wolf <clifford@clifford.at>
|
commit | commitdiff | tree |
| 2019-05-06 |
Clifford Wolf | Fix bug in "expose -input"
Signed-off-by: Clifford Wolf <clifford@clifford.at>
|
commit | commitdiff | tree |
| 2019-05-06 |
Clifford Wolf | Cleanups in opt_clean
Signed-off-by: Clifford Wolf <clifford@clifford.at>
|
commit | commitdiff | tree |
| 2019-05-06 |
Clifford Wolf | Improve tests/various/specify.ys
Signed-off-by: Clifford Wolf <clifford@clifford.at>
|
commit | commitdiff | tree |
| 2019-05-06 |
Clifford Wolf | Add "real" keyword to ilang format
Signed-off-by: Clifford Wolf <clifford@clifford.at>
|
commit | commitdiff | tree |
| 2019-05-06 |
Clifford Wolf | Merge branch 'master' of github.com:YosysHQ/yosys into...
|
commit | commitdiff | tree |
| 2019-05-04 |
Clifford Wolf | Improve opt_clean handling of unused wires
Signed-off-by: Clifford Wolf <clifford@clifford.at>
|
commit | commitdiff | tree |
| 2019-05-04 |
Clifford Wolf | Add support for SVA "final" keyword
Signed-off-by: Clifford Wolf <clifford@clifford.at>
|
commit | commitdiff | tree |
| 2019-05-04 |
Clifford Wolf | Improve write_verilog specify support
Signed-off-by: Clifford Wolf <clifford@clifford.at>
|
commit | commitdiff | tree |
| 2019-05-04 |
Clifford Wolf | Update README
Signed-off-by: Clifford Wolf <clifford@clifford.at>
|
commit | commitdiff | tree |
| 2019-05-04 |
Clifford Wolf | Add approximate support for SV "var" keyword, fixes...
Signed-off-by: Clifford Wolf <clifford@clifford.at>
|
commit | commitdiff | tree |
| 2019-05-03 |
Clifford Wolf | Add "hierarchy -chparam" support for non-verific top...
Signed-off-by: Clifford Wolf <clifford@clifford.at>
|
commit | commitdiff | tree |
| 2019-05-03 |
Eddie Hung | log_warning_noprefix -> log_warning as per review
|
commit | commitdiff | tree |
| 2019-05-03 |
Eddie Hung | For hier_tree::Elaborate() also include SV root modules...
|
commit | commitdiff | tree |
| 2019-05-03 |
Eddie Hung | Fix verific_parameters construction, use attribute...
|
commit | commitdiff | tree |
| 2019-05-03 |
Eddie Hung | WIP -chparam support for hierarchy when verific
|
commit | commitdiff | tree |
| 2019-05-03 |
Eddie Hung | verific_import() changes to avoid ElaborateAll()
|
commit | commitdiff | tree |
| 2019-05-03 |
Clifford Wolf | Fix typo in tests/svinterfaces/runone.sh
Signed-off-by: Clifford Wolf <clifford@clifford.at>
|
commit | commitdiff | tree |
| 2019-05-03 |
Clifford Wolf | Improve opt_expr and opt_clean handling of (partially...
Signed-off-by: Clifford Wolf <clifford@clifford.at>
|
commit | commitdiff | tree |
| 2019-05-03 |
Clifford Wolf | Further improve unused-detection for opt_clean driver...
Signed-off-by: Clifford Wolf <clifford@clifford.at>
|
commit | commitdiff | tree |
| 2019-05-03 |
Clifford Wolf | Improve unused-detection for opt_clean driver-driver...
Signed-off-by: Clifford Wolf <clifford@clifford.at>
|
commit | commitdiff | tree |
| 2019-05-03 |
Clifford Wolf | Update pmgen documentation
Signed-off-by: Clifford Wolf <clifford@clifford.at>
|
commit | commitdiff | tree |
| 2019-05-03 |
Clifford Wolf | Fix typo
Signed-off-by: Clifford Wolf <clifford@clifford.at>
|
commit | commitdiff | tree |
| 2019-05-01 |
Clifford Wolf | Merge branch 'clifford/fix883'
|
commit | commitdiff | tree |
| 2019-05-01 |
Clifford Wolf | Add missing enable_undef to "sat -tempinduct-def",...
Signed-off-by: Clifford Wolf <clifford@clifford.at>
|
commit | commitdiff | tree |
| 2019-05-01 |
Clifford Wolf | Fix floating point exception in qwp, fixes #923
Signed-off-by: Clifford Wolf <clifford@clifford.at>
|
commit | commitdiff | tree |
| 2019-05-01 |
Clifford Wolf | Add splitcmplxassign test case and silence splitcmplxassign...
Signed-off-by: Clifford Wolf <clifford@clifford.at>
|
commit | commitdiff | tree |
| 2019-05-01 |
Clifford Wolf | Fix width detection of memory access with bit slice...
Signed-off-by: Clifford Wolf <clifford@clifford.at>
|
commit | commitdiff | tree |
| 2019-05-01 |
Clifford Wolf | Add additional test cases for for-loops
Signed-off-by: Clifford Wolf <clifford@clifford.at>
|
commit | commitdiff | tree |
| 2019-05-01 |
Clifford Wolf | Silently resolve completely unused cell-vs-const driver...
Signed-off-by: Clifford Wolf <clifford@clifford.at>
|
commit | commitdiff | tree |
| 2019-05-01 |
Clifford Wolf | Re-enable "final loop assignment" feature
Signed-off-by: Clifford Wolf <clifford@clifford.at>
|
commit | commitdiff | tree |
| 2019-04-30 |
Clifford Wolf | Fix segfault in wreduce
Signed-off-by: Clifford Wolf <clifford@clifford.at>
|
commit | commitdiff | tree |
| 2019-04-30 |
Clifford Wolf | Disabled "final loop assignment" feature
Signed-off-by: Clifford Wolf <clifford@clifford.at>
|
commit | commitdiff | tree |
| 2019-04-30 |
Clifford Wolf | Include filename in "Executing Verilog-2005 frontend...
Signed-off-by: Clifford Wolf <clifford@clifford.at>
|
commit | commitdiff | tree |
| 2019-04-30 |
Clifford Wolf | Fix performance bug in RTLIL::SigSpec::operator==(...
Signed-off-by: Clifford Wolf <clifford@clifford.at>
|
commit | commitdiff | tree |
| 2019-04-30 |
Clifford Wolf | Add final loop variable assignment when unrolling for...
Signed-off-by: Clifford Wolf <clifford@clifford.at>
|
commit | commitdiff | tree |
| 2019-04-30 |
Clifford Wolf | Add handling of init attributes in "opt_expr -undriven"
Signed-off-by: Clifford Wolf <clifford@clifford.at>
|
commit | commitdiff | tree |
| 2019-04-30 |
Clifford Wolf | Add peepopt_muldiv, fixes #930
Signed-off-by: Clifford Wolf <clifford@clifford.at>
|
commit | commitdiff | tree |
| 2019-04-30 |
Clifford Wolf | pmgen progress
Signed-off-by: Clifford Wolf <clifford@clifford.at>
|
commit | commitdiff | tree |
| 2019-04-30 |
Clifford Wolf | Run "peepopt" in generic "synth" pass and "synth_ice40"
Signed-off-by: Clifford Wolf <clifford@clifford.at>
|
commit | commitdiff | tree |
| 2019-04-30 |
Clifford Wolf | Some pmgen reorg, rename peepopt.pmg to peepopt_shiftmul.pmg
Signed-off-by: Clifford Wolf <clifford@clifford.at>
|
commit | commitdiff | tree |
| 2019-04-30 |
Clifford Wolf | Progress in shiftmul peepopt pattern
Signed-off-by: Clifford Wolf <clifford@clifford.at>
|
commit | commitdiff | tree |
| 2019-04-29 |
Clifford Wolf | Add "peepopt" skeleton
Signed-off-by: Clifford Wolf <clifford@clifford.at>
|
commit | commitdiff | tree |
| 2019-04-29 |
Clifford Wolf | Add pmgen support for multiple patterns in one matcher
Signed-off-by: Clifford Wolf <clifford@clifford.at>
|
commit | commitdiff | tree |
| 2019-04-29 |
Clifford Wolf | Support multiple pmg files (right now just concatenated...
Signed-off-by: Clifford Wolf <clifford@clifford.at>
|
commit | commitdiff | tree |
| 2019-04-29 |
Clifford Wolf | Drive dangling wires with init attr with their init...
|
commit | commitdiff | tree |
| 2019-04-23 |
Clifford Wolf | Add specify support to README
Signed-off-by: Clifford Wolf <clifford@clifford.at>
|
commit | commitdiff | tree |
| 2019-04-23 |
Clifford Wolf | Improve $specrule interface
Signed-off-by: Clifford Wolf <clifford@clifford.at>
|
commit | commitdiff | tree |
| 2019-04-23 |
Clifford Wolf | Improve $specrule interface
Signed-off-by: Clifford Wolf <clifford@clifford.at>
|
commit | commitdiff | tree |
| 2019-04-23 |
Clifford Wolf | Add $specrule cells for $setup/$hold/$skew specify...
Signed-off-by: Clifford Wolf <clifford@clifford.at>
|
commit | commitdiff | tree |
| 2019-04-23 |
Clifford Wolf | Preserve $specify[23] cells
Signed-off-by: Clifford Wolf <clifford@clifford.at>
|
commit | commitdiff | tree |
| 2019-04-23 |
Clifford Wolf | Allow $specify[23] cells in blackbox modules
Signed-off-by: Clifford Wolf <clifford@clifford.at>
|
commit | commitdiff | tree |
| 2019-04-23 |
Clifford Wolf | Rename T_{RISE,FALL}_AVG to T_{RISE,FALL}_TYP to better...
Signed-off-by: Clifford Wolf <clifford@clifford.at>
|
commit | commitdiff | tree |
| 2019-04-23 |
Clifford Wolf | Add $specify2/$specify3 support to write_verilog
Signed-off-by: Clifford Wolf <clifford@clifford.at>
|
commit | commitdiff | tree |
| 2019-04-23 |
Clifford Wolf | Add support for $assert/$assume/$cover to write_verilog
Signed-off-by: Clifford Wolf <clifford@clifford.at>
|
commit | commitdiff | tree |
| 2019-04-23 |
Clifford Wolf | Add CellTypes support for $specify2 and $specify3
Signed-off-by: Clifford Wolf <clifford@clifford.at>
|
commit | commitdiff | tree |
| 2019-04-23 |
Clifford Wolf | Add InternalCellChecker support for $specify2 and ...
Signed-off-by: Clifford Wolf <clifford@clifford.at>
|
commit | commitdiff | tree |
| 2019-04-23 |
Clifford Wolf | Checking and fixing specify cells in genRTLIL
Signed-off-by: Clifford Wolf <clifford@clifford.at>
|
commit | commitdiff | tree |
| 2019-04-23 |
Clifford Wolf | Un-break default specify parser
Signed-off-by: Clifford Wolf <clifford@clifford.at>
|
commit | commitdiff | tree |
| 2019-04-23 |
Clifford Wolf | Add specify parser
Signed-off-by: Clifford Wolf <clifford@clifford.at>
|
commit | commitdiff | tree |
| 2019-04-23 |
Clifford Wolf | Add $specify2 and $specify3 cells to simlib
Signed-off-by: Clifford Wolf <clifford@clifford.at>
|
commit | commitdiff | tree |
| 2019-04-23 |
Clifford Wolf | Remove some left-over log_dump()
Signed-off-by: Clifford Wolf <clifford@clifford.at>
|
commit | commitdiff | tree |
| 2019-04-22 |
Clifford Wolf | Add support for zero-width signals to Verilog back...
Signed-off-by: Clifford Wolf <clifford@clifford.at>
|
commit | commitdiff | tree |
| 2019-04-22 |
Clifford Wolf | Determine correct signedness and expression width in...
Signed-off-by: Clifford Wolf <clifford@clifford.at>
|
commit | commitdiff | tree |
| 2019-04-22 |
Clifford Wolf | Add log_debug() framework
Signed-off-by: Clifford Wolf <clifford@clifford.at>
|
commit | commitdiff | tree |
| 2019-04-22 |
Clifford Wolf | Updaye pmux2shiftx test
Signed-off-by: Clifford Wolf <clifford@clifford.at>
|
commit | commitdiff | tree |
| 2019-04-22 |
Clifford Wolf | Add full_pmux feature to pmux2shiftx
Signed-off-by: Clifford Wolf <clifford@clifford.at>
|
commit | commitdiff | tree |
| 2019-04-22 |
Clifford Wolf | Set ENABLE_LIBYOSYS=0 by default
Signed-off-by: Clifford Wolf <clifford@clifford.at>
|
commit | commitdiff | tree |
| 2019-04-22 |
Clifford Wolf | Set ENABLE_PYOSYS=0 by default
Signed-off-by: Clifford Wolf <clifford@clifford.at>
|
commit | commitdiff | tree |
| 2019-04-22 |
Clifford Wolf | Merge branch 'dh73-master'
|
commit | commitdiff | tree |
| 2019-04-22 |
Clifford Wolf | Merge branch 'master' of https://github.com/dh73/yosys_gowin...
|
commit | commitdiff | tree |
| 2019-04-22 |
Clifford Wolf | Re-added clean after techmap in synth_xilinx
Signed-off-by: Clifford Wolf <clifford@clifford.at>
|
commit | commitdiff | tree |
| 2019-04-22 |
Clifford Wolf | Disable blackbox detection in techmap files
Signed-off-by: Clifford Wolf <clifford@clifford.at>
|
commit | commitdiff | tree |
| 2019-04-21 |
Clifford Wolf | Fix tests
Signed-off-by: Clifford Wolf <clifford@clifford.at>
|
commit | commitdiff | tree |
| 2019-04-21 |
Clifford Wolf | Add "noblackbox" attribute
Signed-off-by: Clifford Wolf <clifford@clifford.at>
|
commit | commitdiff | tree |
| 2019-04-20 |
Clifford Wolf | New behavior for front-end handling of whiteboxes
Signed-off-by: Clifford Wolf <clifford@clifford.at>
|
commit | commitdiff | tree |
| 2019-04-20 |
Clifford Wolf | Auto-initialize OnehotDatabase on-demand in pmux2shiftx.cc
Signed-off-by: Clifford Wolf <clifford@clifford.at>
|
commit | commitdiff | tree |
| 2019-04-20 |
Clifford Wolf | Add "onehot" pass, improve "pmux2shiftx" onehot handling
Signed-off-by: Clifford Wolf <clifford@clifford.at>
|
commit | commitdiff | tree |
| 2019-04-20 |
Clifford Wolf | Add "techmap -wb", use in formal flows
Signed-off-by: Clifford Wolf <clifford@clifford.at>
|
commit | commitdiff | tree |
| 2019-04-20 |
Clifford Wolf | Check blackbox attribute in techmap/simplemap
Signed-off-by: Clifford Wolf <clifford@clifford.at>
|
commit | commitdiff | tree |
| 2019-04-20 |
Clifford Wolf | Add "wbflip" command
Signed-off-by: Clifford Wolf <clifford@clifford.at>
|
commit | commitdiff | tree |
| 2019-04-20 |
Clifford Wolf | Improve "pmux2shiftx"
Signed-off-by: Clifford Wolf <clifford@clifford.at>
|
commit | commitdiff | tree |
| 2019-04-19 |
Clifford Wolf | Fix some typos
Signed-off-by: Clifford Wolf <clifford@clifford.at>
|
commit | commitdiff | tree |
| 2019-04-19 |
Clifford Wolf | Improvements in "pmux2shiftx"
Signed-off-by: Clifford Wolf <clifford@clifford.at>
|
commit | commitdiff | tree |
| 2019-04-19 |
Clifford Wolf | Improvements in pmux2shiftx
Signed-off-by: Clifford Wolf <clifford@clifford.at>
|
commit | commitdiff | tree |
| 2019-04-19 |
Clifford Wolf | Add test for pmux2shiftx
Signed-off-by: Clifford Wolf <clifford@clifford.at>
|
commit | commitdiff | tree |
| 2019-04-19 |
Clifford Wolf | Improve pmux2shift ctrl permutation finder
Signed-off-by: Clifford Wolf <clifford@clifford.at>
|
commit | commitdiff | tree |
| 2019-04-19 |
Clifford Wolf | Complete rewrite of pmux2shiftx
Signed-off-by: Clifford Wolf <clifford@clifford.at>
|
commit | commitdiff | tree |
| 2019-04-19 |
Clifford Wolf | Import initial pmux2shiftx from eddieh
Signed-off-by: Clifford Wolf <clifford@clifford.at>
|
commit | commitdiff | tree |
| 2019-04-19 |
Clifford Wolf | Improve "show" handling of 0/1/X/Z padding
Signed-off-by: Clifford Wolf <clifford@clifford.at>
|
commit | commitdiff | tree |
| 2019-04-19 |
Clifford Wolf | Change "ne" to "neq" in btor2 output
Signed-off-by: Clifford Wolf <clifford@clifford.at>
|
commit | commitdiff | tree |
| 2019-04-19 |
Clifford Wolf | Add tests/aiger/.gitignore
Signed-off-by: Clifford Wolf <clifford@clifford.at>
|
commit | commitdiff | tree |
| 2019-04-19 |
Eddie Hung | Spelling fixes
|
commit | commitdiff | tree |
| next |
projects / yosys.git / search