Commit message (Collapse) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Update CHANGELOG and manual for departure from upstream | Eddie Hung | 2020-04-27 | 1 | -2/+3 |
| | |||||
* | Get rid of dffsr2dff. | Marcelina KoĆcielnicka | 2020-04-15 | 1 | -198/+2300 |
| | | | | | | This pass is a proper subset of opt_rmdff, which is called by opt, which is called by every synth flow in the coarse part. Thus, it never actually does anything and can be safely removed. | ||||
* | fix typo in `write_smt2` help | Teguh Hofstee | 2020-03-23 | 1 | -1/+1 |
| | |||||
* | manual: explain RTLIL::Wire::{upto,offset}. | whitequark | 2020-02-09 | 1 | -0/+7 |
| | |||||
* | Merge pull request #1553 from whitequark/manual-dffx | Claire Wolf | 2020-01-28 | 1 | -11/+90 |
|\ | | | | | Document $dffe, $dffsr, $_DFFE_*, $_DFFSR_* cells | ||||
| * | manual: document $dffe, $dffsr, $_DFFE_*, $_DFFSR_* cells. | whitequark | 2019-12-05 | 1 | -11/+90 |
| | | |||||
* | | Merge pull request #1575 from rodrigomelo9/master | Eddie Hung | 2019-12-15 | 1 | -2/+2 |
|\ \ | | | | | | | Fixed some missing "verilog_" in documentation | ||||
| * | | Fixed some missing "verilog_" in documentation | Rodrigo Alejandro Melo | 2019-12-13 | 1 | -2/+2 |
| | | | |||||
* | | | Merge pull request #1577 from gromero/for-yosys | Eddie Hung | 2019-12-15 | 1 | -1/+1 |
|\ \ \ | |/ / |/| | | manual: Fix text in Abstract section | ||||
| * | | manual: Fix text in Abstract section | Gustavo Romero | 2019-12-11 | 1 | -1/+1 |
| |/ | |||||
* / | manual: document behavior of many comb cells more precisely. | whitequark | 2019-12-04 | 1 | -35/+56 |
|/ | |||||
* | Add $_NMUX_, add "abc -g cmos", add proper cmos cell costs | Clifford Wolf | 2019-08-06 | 1 | -1/+1 |
| | | | | Signed-off-by: Clifford Wolf <clifford@clifford.at> | ||||
* | manual: explain the purpose of `sync always`. | whitequark | 2019-07-02 | 1 | -2/+3 |
| | |||||
* | Explain exact semantics of switch and case rules in the manual. | whitequark | 2019-06-19 | 1 | -0/+12 |
| | |||||
* | Add $specrule cells for $setup/$hold/$skew specify rules | Clifford Wolf | 2019-04-23 | 1 | -1/+1 |
| | | | | Signed-off-by: Clifford Wolf <clifford@clifford.at> | ||||
* | Add CellTypes support for $specify2 and $specify3 | Clifford Wolf | 2019-04-23 | 1 | -0/+4 |
| | | | | Signed-off-by: Clifford Wolf <clifford@clifford.at> | ||||
* | manual: document some gates. | whitequark | 2019-01-14 | 1 | -9/+11 |
| | |||||
* | manual: explain $tribuf cell. | whitequark | 2019-01-14 | 1 | -0/+10 |
| | |||||
* | Fix typo in manual | Clifford Wolf | 2019-01-07 | 1 | -1/+1 |
| | | | | Signed-off-by: Clifford Wolf <clifford@clifford.at> | ||||
* | manual: make description of $meminit ports match reality. | whitequark | 2018-12-21 | 1 | -3/+15 |
| | |||||
* | manual: fix typos. | whitequark | 2018-12-20 | 1 | -2/+2 |
| | |||||
* | manual: document $meminit cell and memory_* passes. | whitequark | 2018-12-20 | 2 | -8/+23 |
| | |||||
* | Update command reference manual | Clifford Wolf | 2018-10-16 | 1 | -140/+1200 |
| | | | | Signed-off-by: Clifford Wolf <clifford@clifford.at> | ||||
* | Fixed typo in "verilog_write" help message | acw1251 | 2018-09-18 | 1 | -2/+2 |
| | |||||
* | Consistent use of 'override' for virtual methods in derived classes. | Henner Zeller | 2018-07-20 | 2 | -4/+4 |
| | | | | | | | | | o Not all derived methods were marked 'override', but it is a great feature of C++11 that we should make use of. o While at it: touched header files got a -*- c++ -*- for emacs to provide support for that language. o use YS_OVERRIDE for all override keywords (though we should probably use the plain keyword going forward now that C++11 is established) | ||||
* | Add $allconst and $allseq cell types | Clifford Wolf | 2018-02-23 | 1 | -1/+2 |
| | | | | Signed-off-by: Clifford Wolf <clifford@clifford.at> | ||||
* | Add $_ANDNOT_ and $_ORNOT_ gates | Clifford Wolf | 2017-05-17 | 1 | -1/+2 |
| | |||||
* | Add $live and $fair cell types, add support for s_eventually keyword | Clifford Wolf | 2017-02-25 | 1 | -1/+1 |
| | |||||
* | Use -E sed parameter instead of -r. | Piotr Esden-Tempski | 2017-02-04 | 1 | -1/+1 |
| | | | | | BSD sed equivalent to -r parameter is -E and it is also supported in GNU sed thus using -E results in support on both platforms. | ||||
* | Add $cover cell type and SVA cover() support | Clifford Wolf | 2017-02-04 | 1 | -1/+1 |
| | |||||
* | Updated command reference in manual | Clifford Wolf | 2016-11-02 | 1 | -100/+568 |
| | |||||
* | Added $anyseq cell type | Clifford Wolf | 2016-10-14 | 1 | -1/+1 |
| | |||||
* | Added $ff and $_FF_ cell types | Clifford Wolf | 2016-10-12 | 1 | -0/+4 |
| | |||||
* | Removed $aconst cell type | Clifford Wolf | 2016-08-30 | 1 | -1/+1 |
| | |||||
* | Removed $predict again | Clifford Wolf | 2016-08-28 | 1 | -1/+1 |
| | |||||
* | Added $anyconst and $aconst | Clifford Wolf | 2016-07-27 | 1 | -1/+1 |
| | |||||
* | Added $initstate cell type and vlog function | Clifford Wolf | 2016-07-21 | 1 | -1/+1 |
| | |||||
* | After reading the SV spec, using non-standard predict() instead of expect() | Clifford Wolf | 2016-07-21 | 1 | -1/+1 |
| | |||||
* | Added basic support for $expect cells | Clifford Wolf | 2016-07-13 | 1 | -1/+1 |
| | |||||
* | Added warning about adding fsm_encoding attributes to wires to manual | Clifford Wolf | 2016-07-08 | 1 | -0/+4 |
| | |||||
* | Added $sop cell type and "abc -sop" | Clifford Wolf | 2016-06-17 | 1 | -0/+4 |
| | |||||
* | Minor presentation fixes | Clifford Wolf | 2016-05-14 | 1 | -1/+1 |
| | |||||
* | Added "yosys -D" feature | Clifford Wolf | 2016-04-21 | 3 | -3/+3 |
| | |||||
* | Fix a few typos in the manual | Wladimir J. van der Laan | 2016-04-03 | 1 | -3/+3 |
| | |||||
* | Renamed opt_share to opt_merge | Clifford Wolf | 2016-03-31 | 3 | -7/+7 |
| | |||||
* | Renamed opt_const to opt_expr | Clifford Wolf | 2016-03-31 | 4 | -14/+14 |
| | |||||
* | user-facing spelling fixes | Sebastian Kuzminsky | 2016-02-28 | 1 | -3/+3 |
| | | | | | "speciefied" -> "specified" "unkown" -> "unknown" | ||||
* | Updated command reference in manual | Clifford Wolf | 2016-02-14 | 2 | -15/+363 |
| | |||||
* | Remove nonportable "-r" option from xargs | Micah Elizabeth Scott | 2015-12-15 | 1 | -1/+1 |
| | | | | On Linux, this avoids an empty "rm -f" call when there's nothing to clean. But it isn't portable, and it causes the build to fail on Mac OS. It doesn't seem to be harmful to remove this option entirely, and it's a step toward fixing the Mac build. | ||||
* | Added read-enable to memory model | Clifford Wolf | 2015-09-25 | 1 | -2/+6 |
| |