Commit message (Collapse) | Author | Age | Files | Lines | ||
---|---|---|---|---|---|---|
... | ||||||
| | * | | | | | | | | | | | Add proper test for SV-style arrays | Clifford Wolf | 2019-06-20 | 3 | -6/+16 | |
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | Signed-off-by: Clifford Wolf <clifford@clifford.at> | |||||
| | * | | | | | | | | | | | Merge branch 'unpacked_arrays' of https://github.com/towoe/yosys-sv into ↵ | Clifford Wolf | 2019-06-20 | 3 | -1/+13 | |
| |/| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | towoe-unpacked_arrays | |||||
| | * | | | | | | | | | | | Unpacked array declaration using size | Tobias Wölfel | 2019-06-19 | 3 | -1/+13 | |
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | Allows fixed-sized array dimension specified by a single number. This commit is based on the work from PeterCrozier https://github.com/YosysHQ/yosys/pull/560. But is split out of the original work. | |||||
| * | | | | | | | | | | | | Merge pull request #1111 from acw1251/help_summary_fixes | Eddie Hung | 2019-06-19 | 4 | -6/+6 | |
| |\ \ \ \ \ \ \ \ \ \ \ \ | | | | | | | | | | | | | | | | | | | | | | | | | | | | | Fixed the help summary line for a few commands | |||||
| | * | | | | | | | | | | | | Fixed small typo in ice40_unlut help summary | acw1251 | 2019-06-19 | 1 | -1/+1 | |
| | | | | | | | | | | | | | | ||||||
| | * | | | | | | | | | | | | Fixed the help summary line for a few commands | acw1251 | 2019-06-19 | 4 | -6/+6 | |
| |/ / / / / / / / / / / / | ||||||
| * | | | | | | | | | | | | Fix bug in #1078, add entry to CHANGELOG | Eddie Hung | 2019-06-19 | 2 | -3/+4 | |
| | | | | | | | | | | | | | ||||||
| * | | | | | | | | | | | | Merge pull request #1109 from YosysHQ/clifford/fix1106 | Clifford Wolf | 2019-06-19 | 6 | -9/+48 | |
| |\ \ \ \ \ \ \ \ \ \ \ \ | | | | | | | | | | | | | | | | | | | | | | | | | | | | | Add "read_verilog -pwires" feature | |||||
| | * | | | | | | | | | | | | Add "read_verilog -pwires" feature, closes #1106 | Clifford Wolf | 2019-06-19 | 6 | -9/+48 | |
| |/ / / / / / / / / / / / | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | Signed-off-by: Clifford Wolf <clifford@clifford.at> | |||||
| * | | | | | | | | | | | | Merge pull request #1105 from YosysHQ/clifford/fixlogicinit | Clifford Wolf | 2019-06-19 | 5 | -16/+92 | |
| |\ \ \ \ \ \ \ \ \ \ \ \ | | | | | | | | | | | | | | | | | | | | | | | | | | | | | Improve handling of initial/default values | |||||
| | * | | | | | | | | | | | | Add defvalue test, minor autotest fixes for .sv files | Clifford Wolf | 2019-06-19 | 2 | -14/+37 | |
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | Signed-off-by: Clifford Wolf <clifford@clifford.at> | |||||
| | * | | | | | | | | | | | | Use input default values in hierarchy pass | Clifford Wolf | 2019-06-19 | 1 | -0/+38 | |
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | Signed-off-by: Clifford Wolf <clifford@clifford.at> | |||||
| | * | | | | | | | | | | | | Add defaultvalue attribute | Clifford Wolf | 2019-06-19 | 2 | -0/+15 | |
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | Signed-off-by: Clifford Wolf <clifford@clifford.at> | |||||
| | * | | | | | | | | | | | | Fix handling of "logic" variables with initial value | Clifford Wolf | 2019-06-19 | 1 | -2/+2 | |
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | Signed-off-by: Clifford Wolf <clifford@clifford.at> | |||||
| * | | | | | | | | | | | | | Make tests/aiger less chatty | Clifford Wolf | 2019-06-19 | 1 | -4/+6 | |
| |/ / / / / / / / / / / / | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | Signed-off-by: Clifford Wolf <clifford@clifford.at> | |||||
| * | | | | | | | | | | | | Merge pull request #1100 from bwidawsk/home | Clifford Wolf | 2019-06-19 | 5 | -0/+8 | |
| |\ \ \ \ \ \ \ \ \ \ \ \ | | | | | | | | | | | | | | | | | | | | | | | | | | | | | Support ~ in filename parsing | |||||
| | * | | | | | | | | | | | | Support filename rewrite in backends | Ben Widawsky | 2019-06-18 | 4 | -0/+4 | |
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | Signed-off-by: Ben Widawsky <ben@bwidawsk.net> | |||||
| | * | | | | | | | | | | | | Support ~ for home directory | Ben Widawsky | 2019-06-18 | 1 | -0/+4 | |
| | | |_|_|_|_|/ / / / / / | | |/| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | This is tested on Linux only v2: Wrap functioanlity in ifndef _WIN32 (eddiehung) Find '~/' instead of '~' (cliffordwolf) Signed-off-by: Ben Widawsky <ben@bwidawsk.net> | |||||
| * | | | | | | | | | | | | Merge pull request #1104 from whitequark/case-semantics | Clifford Wolf | 2019-06-19 | 2 | -1/+40 | |
| |\ \ \ \ \ \ \ \ \ \ \ \ | | |/ / / / / / / / / / / | |/| | | | | | | | | | | | Clarify switch/case semantics in RTLIL | |||||
| | * | | | | | | | | | | | Explain exact semantics of switch and case rules in the manual. | whitequark | 2019-06-19 | 1 | -0/+12 | |
| | | | | | | | | | | | | | ||||||
| | * | | | | | | | | | | | In RTLIL::Module::check(), check process invariants. | whitequark | 2019-06-19 | 1 | -1/+28 | |
| |/ / / / / / / / / / / | ||||||
| * | | | | | | | | | | | Merge pull request #1086 from udif/pr_elab_sys_tasks2 | Clifford Wolf | 2019-06-18 | 2 | -3/+13 | |
| |\ \ \ \ \ \ \ \ \ \ \ | | |/ / / / / / / / / / | |/| | | | | | | | | | | Fixed broken $error()/$info/$warning() on non-generate blocks (within always/initial blocks) | |||||
| | * | | | | | | | | | | Fixed brojen $error()/$info/$warning() on non-generate blocks | Udi Finkelstein | 2019-06-11 | 2 | -3/+13 | |
| | | |_|_|/ / / / / / | | |/| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | (within always/initial blocks) | |||||
| * | | | | | | | | | | Add timescale and generated-by header to yosys-smtbmc MkVcd | Clifford Wolf | 2019-06-16 | 1 | -0/+2 | |
| | |_|_|_|_|_|_|/ / | |/| | | | | | | | | | | | | | | | | | | | | | | | | | | | | Signed-off-by: Clifford Wolf <clifford@clifford.at> | |||||
* | | | | | | | | | | Merge branch 'xaig' into xaig_dff | Eddie Hung | 2019-06-17 | 1 | -5/+5 | |
|\ \ \ \ \ \ \ \ \ \ | | |_|_|_|_|_|_|_|/ | |/| | | | | | | | | ||||||
| * | | | | | | | | | Update LUT7/8 delays to take account for [ABC]OUTMUX delay | Eddie Hung | 2019-06-17 | 1 | -5/+5 | |
| | | | | | | | | | | ||||||
* | | | | | | | | | | Add box delays for FD* | Eddie Hung | 2019-06-17 | 1 | -10/+10 | |
| | | | | | | | | | | ||||||
* | | | | | | | | | | Cleanup | Eddie Hung | 2019-06-17 | 1 | -3/+3 | |
| | | | | | | | | | | ||||||
* | | | | | | | | | | Merge branch 'xaig' into xaig_dff | Eddie Hung | 2019-06-17 | 1 | -1/+1 | |
|\| | | | | | | | | | ||||||
| * | | | | | | | | | &scorr before &sweep, remove &retime as recommended | Eddie Hung | 2019-06-17 | 1 | -1/+1 | |
| | | | | | | | | | | ||||||
* | | | | | | | | | | Merge branch 'xaig' into xaig_dff | Eddie Hung | 2019-06-17 | 1 | -3/+4 | |
|\| | | | | | | | | | ||||||
| * | | | | | | | | | Copy not move parameters/attributes | Eddie Hung | 2019-06-17 | 1 | -3/+4 | |
| | | | | | | | | | | ||||||
* | | | | | | | | | | Merge branch 'xaig' into xaig_dff | Eddie Hung | 2019-06-17 | 3 | -25/+37 | |
|\| | | | | | | | | | ||||||
| * | | | | | | | | | Fix leak removing cells during ABC integration; also preserve attr | Eddie Hung | 2019-06-17 | 3 | -27/+37 | |
| | | | | | | | | | | ||||||
* | | | | | | | | | | Merge remote-tracking branch 'origin/xaig' into xaig_dff | Eddie Hung | 2019-06-17 | 2 | -2/+3 | |
|\| | | | | | | | | | ||||||
| * | | | | | | | | | Try -W 300 | Eddie Hung | 2019-06-17 | 1 | -1/+2 | |
| | | | | | | | | | | ||||||
| * | | | | | | | | | Re-enable &dc2 | Eddie Hung | 2019-06-17 | 1 | -1/+1 | |
| | | | | | | | | | | ||||||
* | | | | | | | | | | Cleanup | Eddie Hung | 2019-06-16 | 5 | -73/+59 | |
| | | | | | | | | | | ||||||
* | | | | | | | | | | Merge branch 'xaig' into xaig_dff | Eddie Hung | 2019-06-16 | 0 | -0/+0 | |
|\| | | | | | | | | | ||||||
| * | | | | | | | | | Cleanup | Eddie Hung | 2019-06-16 | 3 | -299/+33 | |
| | | | | | | | | | | ||||||
* | | | | | | | | | | Cleanup write_xaiger | Eddie Hung | 2019-06-15 | 1 | -15/+10 | |
| | | | | | | | | | | ||||||
* | | | | | | | | | | Cleanup | Eddie Hung | 2019-06-15 | 1 | -40/+7 | |
| | | | | | | | | | | ||||||
* | | | | | | | | | | abc9 to recover_init by default | Eddie Hung | 2019-06-15 | 1 | -11/+6 | |
| | | | | | | | | | | ||||||
* | | | | | | | | | | Read init from outputs | Eddie Hung | 2019-06-15 | 1 | -0/+4 | |
| | | | | | | | | | | ||||||
* | | | | | | | | | | Add +/xilinx/abc_ff | Eddie Hung | 2019-06-15 | 1 | -0/+33 | |
| | | | | | | | | | | ||||||
* | | | | | | | | | | Preserve init of flops, and write into XAIG | Eddie Hung | 2019-06-15 | 1 | -5/+30 | |
| | | | | | | | | | | ||||||
* | | | | | | | | | | Do not treat $__ABC_FF_ as a user cell | Eddie Hung | 2019-06-15 | 2 | -30/+15 | |
| | | | | | | | | | | ||||||
* | | | | | | | | | | Fix spacing | Eddie Hung | 2019-06-15 | 1 | -1/+1 | |
| | | | | | | | | | | ||||||
* | | | | | | | | | | Update comment | Eddie Hung | 2019-06-15 | 1 | -1/+1 | |
| | | | | | | | | | | ||||||
* | | | | | | | | | | Cleanup | Eddie Hung | 2019-06-15 | 1 | -10/+7 | |
| | | | | | | | | | |