Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Compile option for enabling async load verific support | Miodrag Milanovic | 2021-10-25 | 2 | -1/+8 |
* | Bump version | github-actions[bot] | 2021-10-22 | 1 | -1/+1 |
* | Change implicit conversions from bool to Sig* to explicit. | Marcelina Kościelnicka | 2021-10-21 | 2 | -6/+8 |
* | Merge pull request #3057 from YosysHQ/claire/verific_latches | Claire Xen | 2021-10-21 | 1 | -4/+61 |
|\ | |||||
| * | Fix verific.cc PRIM_DLATCH handling | Claire Xenia Wolf | 2021-10-21 | 1 | -1/+7 |
| * | Initial Verific impoter support for {PRIM,WIDE_OPER}_DLATCH{,RS} | Claire Xenia Wolf | 2021-10-21 | 1 | -4/+55 |
|/ | |||||
* | extract_reduce: Refactor and fix input signal construction. | Marcelina Kościelnicka | 2021-10-21 | 2 | -63/+46 |
* | Bump version | github-actions[bot] | 2021-10-21 | 1 | -1/+1 |
* | If verific have vhdl lib it is required by other libs | Miodrag Milanovic | 2021-10-20 | 1 | -0/+4 |
* | Forgot to remove from main list | Miodrag Milanovic | 2021-10-20 | 1 | -1/+1 |
* | Option to disable verific VHDL support | Miodrag Milanovic | 2021-10-20 | 3 | -11/+50 |
* | Bump version | github-actions[bot] | 2021-10-20 | 1 | -1/+1 |
* | Fixed Verific parser error in ice40 cell library | Claire Xenia Wolf | 2021-10-19 | 1 | -22/+62 |
* | Merge pull request #3045 from galibert/master | Miodrag Milanović | 2021-10-19 | 1 | -0/+18 |
|\ | |||||
| * | CycloneV: Add (passthrough) support for cyclonev_oscillator | Olivier Galibert | 2021-10-17 | 1 | -1/+11 |
| * | CycloneV: Add (passthrough) support for cyclonev_hps_interface_mpu_general_pu... | Olivier Galibert | 2021-10-17 | 1 | -0/+8 |
* | | Fixes in vcdcd.pl for newer Perl versions | Claire Xenia Wolf | 2021-10-19 | 1 | -3/+3 |
* | | Bump version | github-actions[bot] | 2021-10-18 | 1 | -1/+1 |
* | | dfflegalize: remove redundant check for initialized dlatch | Paul Annesley | 2021-10-17 | 1 | -4/+0 |
|/ | |||||
* | Bump version | github-actions[bot] | 2021-10-16 | 1 | -1/+1 |
* | Merge pull request #3044 from YosysHQ/micko/verific_bufif1 | Claire Xen | 2021-10-15 | 1 | -2/+2 |
|\ | |||||
| * | Support PRIM_BUFIF1 primitive | Miodrag Milanovic | 2021-10-14 | 1 | -2/+2 |
|/ | |||||
* | Bump version | github-actions[bot] | 2021-10-12 | 1 | -1/+1 |
* | Merge pull request #3039 from YosysHQ/claire/verific_aldff | Claire Xen | 2021-10-11 | 2 | -1/+91 |
|\ | |||||
| * | Add Verific adffe/dffsre/aldffe FIXMEs | Claire Xenia Wolf | 2021-10-11 | 1 | -0/+3 |
| * | Fixes and add comments for open FIXME items | Claire Xenia Wolf | 2021-10-08 | 1 | -1/+34 |
| * | Add support for $aldff flip-flops to verific importer | Claire Xenia Wolf | 2021-10-08 | 2 | -1/+55 |
* | | Merge pull request #3040 from YosysHQ/micko/split_module_ports | Claire Xen | 2021-10-11 | 1 | -0/+2 |
|\ \ | |||||
| * | | Split module ports, 20 per line | Miodrag Milanovic | 2021-10-09 | 1 | -0/+2 |
* | | | Merge pull request #3041 from YosysHQ/mmicko/module_attr | Claire Xen | 2021-10-11 | 1 | -0/+1 |
|\ \ \ | |/ / |/| | | |||||
| * | | Import module attributes from Verific | Miodrag Milanovic | 2021-10-10 | 1 | -0/+1 |
|/ / | |||||
* | | Bump version | github-actions[bot] | 2021-10-09 | 1 | -1/+1 |
* | | Fix a regression from #3035. | Marcelina Kościelnicka | 2021-10-08 | 2 | -1/+22 |
|/ | |||||
* | Bump version | github-actions[bot] | 2021-10-08 | 1 | -1/+1 |
* | FfData: some refactoring. | Marcelina Kościelnicka | 2021-10-07 | 14 | -546/+660 |
* | Bump version | github-actions[bot] | 2021-10-05 | 1 | -1/+1 |
* | verific set db_infer_set_reset_registers | Miodrag Milanovic | 2021-10-04 | 1 | -0/+1 |
* | Bump version | github-actions[bot] | 2021-10-03 | 1 | -1/+1 |
* | Hook up $aldff support in various passes. | Marcelina Kościelnicka | 2021-10-02 | 9 | -11/+77 |
* | zinit: Refactor to use FfData. | Marcelina Kościelnicka | 2021-10-02 | 1 | -101/+38 |
* | kernel/ff: Refactor FfData to enable FFs with async load. | Marcelina Kościelnicka | 2021-10-02 | 10 | -325/+565 |
* | Add $aldff and $aldffe: flip-flops with async load. | Marcelina Kościelnicka | 2021-10-02 | 9 | -2/+527 |
* | Specify minimum bison version 3.0+ | Zachary Snow | 2021-10-01 | 2 | -0/+4 |
* | simplemap: refactor to use FfData. | Marcelina Kościelnicka | 2021-10-02 | 3 | -290/+26 |
* | Merge pull request #3017 from YosysHQ/claire/short_rtlil_x_const | Miodrag Milanović | 2021-09-28 | 1 | -9/+13 |
|\ | |||||
| * | Add optimization to rtlil back-end for all-x parameter values | Claire Xenia Wolf | 2021-09-27 | 1 | -9/+13 |
* | | Bump version | github-actions[bot] | 2021-09-28 | 1 | -1/+1 |
* | | Prepare for next release cycle | Miodrag Milanovic | 2021-09-27 | 2 | -3/+6 |
|/ | |||||
* | Bump version | github-actions[bot] | 2021-09-25 | 1 | -1/+1 |
* | Merge pull request #3014 from YosysHQ/claire/fix-vgtest | Claire Xen | 2021-09-24 | 41 | -79/+80 |
|\ |