Commit message (Collapse) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | recover_reduce_core: Initial commit | Robert Ou | 2017-08-27 | 2 | -0/+110 |
| | | | | | Conflicts: passes/techmap/Makefile.inc | ||||
* | Don't track , ... contradictions through x/z-bits | Clifford Wolf | 2017-08-25 | 1 | -1/+4 |
| | |||||
* | Add removing of redundant pairs of bits in ==, ===, !=, and !== to opt_expr | Clifford Wolf | 2017-08-25 | 1 | -0/+72 |
| | |||||
* | Merge branch 'extract_fa' | Clifford Wolf | 2017-08-25 | 2 | -0/+502 |
|\ | |||||
| * | Further improve extract_fa (seems to be fully functional now) | Clifford Wolf | 2017-08-25 | 1 | -10/+226 |
| | | |||||
| * | Rename "adders" to "extract_fa" | Clifford Wolf | 2017-08-25 | 2 | -28/+16 |
| | | |||||
| * | Towards more generic "adder" function extractor | Clifford Wolf | 2017-08-23 | 1 | -202/+53 |
| | | |||||
| * | Add experimental adders pass | Clifford Wolf | 2017-08-22 | 2 | -0/+447 |
| | | |||||
* | | Fix bug in write_smt2 (export logic driving hierarchical cells before ↵ | Clifford Wolf | 2017-08-25 | 1 | -34/+34 |
|/ | | | | exporting regs) | ||||
* | Add hashlib support for hashing of pools | Clifford Wolf | 2017-08-22 | 1 | -0/+7 |
| | |||||
* | Add consteval support for $_ANDNOT_ and $_ORNOT_ | Clifford Wolf | 2017-08-22 | 1 | -0/+4 |
| | |||||
* | Remove some dead code from fsm_map | Clifford Wolf | 2017-08-21 | 1 | -3/+0 |
| | |||||
* | Rename "singleton" pass to "uniquify" | Clifford Wolf | 2017-08-20 | 3 | -21/+22 |
| | |||||
* | More intuitive handling of "cd .." for singleton modules | Clifford Wolf | 2017-08-19 | 1 | -2/+38 |
| | |||||
* | Add "sim -zinit -rstlen" | Clifford Wolf | 2017-08-18 | 1 | -1/+53 |
| | |||||
* | Merge branch 'sim' | Clifford Wolf | 2017-08-18 | 4 | -0/+848 |
|\ | |||||
| * | Add "sim" support for memories | Clifford Wolf | 2017-08-18 | 1 | -2/+136 |
| | | |||||
| * | Add Const methods is_fully_zero(), is_fully_def(), and is_fully_undef() | Clifford Wolf | 2017-08-18 | 2 | -0/+37 |
| | | |||||
| * | Add support for assert/assume/cover to "sim" command | Clifford Wolf | 2017-08-18 | 1 | -4/+47 |
| | | |||||
| * | Add writeback mode to "sim" command | Clifford Wolf | 2017-08-17 | 1 | -0/+44 |
| | | |||||
| * | Improve "sim" command | Clifford Wolf | 2017-08-17 | 1 | -54/+272 |
| | | |||||
| * | Add "sim" command skeleton | Clifford Wolf | 2017-08-16 | 2 | -0/+372 |
| | | |||||
* | | Merge pull request #386 from azonenberg/gpak-counters | Clifford Wolf | 2017-08-16 | 1 | -73/+82 |
|\ \ | |/ |/| | Bug fixes to GP_COUNTx and GP_PGEN cells in GreenPAK technology library | ||||
| * | Fixed more issues with GreenPAK counter sim models | Andrew Zonenberg | 2017-08-15 | 1 | -19/+23 |
| | | |||||
| * | Updated PGEN model to have level triggered reset (matches actual hardware ↵ | Andrew Zonenberg | 2017-08-15 | 1 | -4/+4 |
| | | | | | | | | behavior | ||||
| * | Fixed bug in GP_COUNTx model | Andrew Zonenberg | 2017-08-15 | 1 | -7/+12 |
| | | |||||
| * | Fixed bug where GP_COUNTx_ADV would wrap even when KEEP was high | Andrew Zonenberg | 2017-08-15 | 1 | -47/+47 |
|/ | |||||
* | Merge branch 'azonenberg-rmports' | Clifford Wolf | 2017-08-15 | 2 | -0/+188 |
|\ | |||||
| * | Mostly coding style related fixes in rmports pass | Clifford Wolf | 2017-08-15 | 1 | -30/+33 |
| | | |||||
| * | Merge branch 'rmports' of https://github.com/azonenberg/yosys into ↵ | Clifford Wolf | 2017-08-15 | 2 | -0/+185 |
|/| | | | | | | | azonenberg-rmports | ||||
| * | rmports: Now remove ports from cell instances if we optimized them out of ↵ | Andrew Zonenberg | 2017-08-14 | 1 | -2/+35 |
| | | | | | | | | that cell | ||||
| * | ProcessModule is no longer virtual (why was it in the first place?) | Andrew Zonenberg | 2017-08-14 | 1 | -1/+1 |
| | | |||||
| * | rmports now works on all modules in the design, not just the top. | Andrew Zonenberg | 2017-08-14 | 1 | -4/+7 |
| | | |||||
| * | Updated Makefile to reflect opt_rmports being renamed to rmports | Andrew Zonenberg | 2017-08-14 | 1 | -1/+1 |
| | | |||||
| * | Renamed opt_rmports pass to rmports | Andrew Zonenberg | 2017-08-14 | 1 | -5/+5 |
| | | |||||
| * | Improved handling of constant connections in opt_rmports | Andrew Zonenberg | 2017-08-14 | 1 | -0/+2 |
| | | |||||
| * | Fixed handling of cell ports that aren't wires | Andrew Zonenberg | 2017-08-14 | 1 | -0/+3 |
| | | |||||
| * | opt_rmports: Fixed incorrect handling of multi-bit nets | Andrew Zonenberg | 2017-08-14 | 1 | -12/+27 |
| | | |||||
| * | Removed commented out debug code | Andrew Zonenberg | 2017-08-14 | 1 | -4/+0 |
| | | |||||
| * | Added opt_rmports pass (remove unconnected ports from top-level modules) | Andrew Zonenberg | 2017-08-14 | 2 | -0/+133 |
| | | |||||
* | | Merge pull request #381 from azonenberg/countfix | Clifford Wolf | 2017-08-14 | 4 | -504/+900 |
|\ \ | | | | | | | Added better behavioral models for GreenPAK counters. Refactored cells_sim into two files so analog/mixed signal stuff is separate | ||||
| * | | Fixed typo in GP_COUNT8 sim model | Andrew Zonenberg | 2017-08-14 | 1 | -1/+1 |
| | | | |||||
| * | | Fixed typo in error message | Andrew Zonenberg | 2017-08-14 | 1 | -1/+1 |
| | | | |||||
| * | | Changed LEVEL resets for GP_COUNTx to be properly synthesizeable | Andrew Zonenberg | 2017-08-14 | 1 | -48/+60 |
| | | | |||||
| * | | Changed LEVEL resets to be edge triggered anyway | Andrew Zonenberg | 2017-08-14 | 1 | -4/+4 |
| | | | |||||
| * | | Added level-triggered reset support to GP_COUNTx simulation models | Andrew Zonenberg | 2017-08-14 | 1 | -2/+68 |
| | | | |||||
| * | | Fixed undeclared "count" in GP_COUNT8_ADV | Andrew Zonenberg | 2017-08-14 | 1 | -0/+2 |
| | | | |||||
| * | | Fixed undeclared "count" in GP_COUNT14_ADV | Andrew Zonenberg | 2017-08-14 | 1 | -0/+2 |
| | | | |||||
| * | | Fixed typo in last commit | Andrew Zonenberg | 2017-08-14 | 1 | -3/+3 |
| | | | |||||
| * | | Finished initial GP_COUNT8/14/8_ADV/14_ADV sim models. Don't support clock ↵ | Andrew Zonenberg | 2017-08-14 | 2 | -37/+293 |
| | | | | | | | | | | | | divide, but do everything else. |