Commit message (Collapse) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Merge pull request #412 from azonenberg/reduce-fixes | Clifford Wolf | 2017-09-14 | 1 | -2/+2 |
|\ | | | | | extract_reduce: Fix segfault on "undriven" inputs | ||||
| * | extract_reduce: Fix segfault on "undriven" inputs | Robert Ou | 2017-09-14 | 1 | -2/+2 |
| | | | | | | | | | | | | | | | | This is easily triggered when un-techmapping if the technology-specific cell library isn't loaded. Outputs of technology-specific cells will be seen as inputs, and nets using those outputs will be seen as undriven. Just ignore these cells because they can't be part of a reduce chain anyways. | ||||
* | | Merge pull request #411 from azonenberg/counter-extraction-fixes | Clifford Wolf | 2017-09-14 | 1 | -47/+116 |
|\ \ | | | | | | | Various improvements and bug fixes to extract_counter | ||||
| * | | Fixed bug where counter extraction on non-GreenPAK devices incorrectly ↵ | Andrew Zonenberg | 2017-09-14 | 1 | -32/+27 |
| | | | | | | | | | | | | handled parallel counter output | ||||
| * | | Added support for inferring counters with reset to full scale instead of zero | Andrew Zonenberg | 2017-09-14 | 1 | -4/+11 |
| | | | |||||
| * | | Added RESET_TO_MAX parameter to $__COUNT_ cell. Cannot yet be extracted. | Andrew Zonenberg | 2017-09-14 | 1 | -0/+1 |
| | | | |||||
| * | | Added support for inferring counters with active-low reset | Andrew Zonenberg | 2017-09-14 | 1 | -6/+15 |
| | | | |||||
| * | | Initial support for extraction of counters with clock enable | Andrew Zonenberg | 2017-09-14 | 1 | -9/+66 |
| | | | |||||
| * | | Fixed typo in comment. Fixed bug where extract_counter would create up ↵ | Andrew Zonenberg | 2017-09-14 | 1 | -2/+2 |
| |/ | | | | | | | counters when it meant to create down counters. | ||||
* | | Minor changes to opt_demorgan requested during code review | Andrew Zonenberg | 2017-09-14 | 2 | -18/+18 |
| | | |||||
* | | Initial version of opt_demorgan is functioning for AND/OR gates. Not the ↵ | Andrew Zonenberg | 2017-09-12 | 2 | -0/+203 |
|/ | | | | prettiest results for bus inputs, but this can be improved | ||||
* | Add src attribute to extra cells generated by proc_dlatch | Clifford Wolf | 2017-09-09 | 1 | -7/+9 |
| | |||||
* | Further improve extract_fa (but still buggy) | Clifford Wolf | 2017-09-02 | 1 | -28/+91 |
| | |||||
* | Merge branch 'master' of github.com:cliffordwolf/yosys | Clifford Wolf | 2017-09-01 | 2 | -0/+583 |
|\ | |||||
| * | extract_counter: Added optimizations to remove unused high-order bits | Andrew Zonenberg | 2017-08-30 | 1 | -16/+34 |
| | | |||||
| * | extract_counter: Minor changes requested to comply with upstream policy, ↵ | Andrew Zonenberg | 2017-08-30 | 1 | -3/+4 |
| | | | | | | | | fixed a few typos | ||||
| * | Finished refactoring counter extraction to be nice and generic. Implemented ↵ | Andrew Zonenberg | 2017-08-28 | 1 | -11/+25 |
| | | | | | | | | techmapping from $__COUNT_ to GP_COUNTx cells. | ||||
| * | Refactored extract_counter to be generic vs GreenPAK specific | Andrew Zonenberg | 2017-08-28 | 1 | -51/+87 |
| | | |||||
| * | Refactoring: Renamed greenpak4_counters pass to extract_counter, moved it to ↵ | Andrew Zonenberg | 2017-08-28 | 2 | -0/+514 |
| | | | | | | | | techmap/ since it's going to become a generic pass | ||||
* | | Update more stuff to use get_src_attribute() and set_src_attribute() | Clifford Wolf | 2017-09-01 | 1 | -4/+4 |
| | | |||||
* | | updated to use get_src_attribute() and set_src_attribute(). | Jason Lowdermilk | 2017-08-31 | 3 | -10/+7 |
| | | |||||
* | | Add support for source line tracking through synthesis phase | Jason Lowdermilk | 2017-08-29 | 3 | -4/+23 |
|/ | |||||
* | Rename recover_reduce to extract_reduce, fix args handling | Clifford Wolf | 2017-08-28 | 2 | -8/+25 |
| | |||||
* | Merge branch 'recover-reduce' of https://github.com/azonenberg/yosys into ↵ | Clifford Wolf | 2017-08-28 | 2 | -0/+223 |
|\ | | | | | | | azonenberg-recover-reduce | ||||
| * | recover_reduce: Update documentation | Robert Ou | 2017-08-27 | 1 | -8/+11 |
| | | | | | | | | | | The documentation now describes the commands performed in the deleted recover_reduce script. | ||||
| * | recover_reduce: Reindent using tabs | Robert Ou | 2017-08-27 | 1 | -190/+190 |
| | | |||||
| * | recover_reduce: Rename recover_reduce_core to recover_reduce | Robert Ou | 2017-08-27 | 3 | -101/+0 |
| | | | | | | | | | | | | | | | | Clifford has commented on PR #387 stating that he does not like the driver script and would prefer to only have the core script with appropriate notes in the documentation. Also rename to .cc (rather than .cpp) for consistency. | ||||
| * | recover_reduce: Add driver script for the $reduce_* recover feature | Robert Ou | 2017-08-27 | 2 | -0/+101 |
| | | | | | | | | | | Conflicts: passes/techmap/Makefile.inc | ||||
| * | recover_reduce_core: Finish implementing the core function | Robert Ou | 2017-08-27 | 1 | -0/+110 |
| | | |||||
| * | recover_reduce_core: Initial commit | Robert Ou | 2017-08-27 | 2 | -0/+110 |
| | | | | | | | | | | Conflicts: passes/techmap/Makefile.inc | ||||
* | | Further improve extract_fa pass | Clifford Wolf | 2017-08-28 | 1 | -1/+42 |
|/ | |||||
* | 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 |
| | |||||
* | 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 |
| | |||||
* | 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 |
| | |||||
* | Add "sim" support for memories | Clifford Wolf | 2017-08-18 | 1 | -2/+136 |
| | |||||
* | 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 |
| | |||||
* | 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 |
| | |