aboutsummaryrefslogtreecommitdiffstats
Commit message (Collapse)AuthorAgeFilesLines
* recover_reduce: Rename recover_reduce_core to recover_reduceRobert Ou2017-08-273-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 featureRobert Ou2017-08-272-0/+101
| | | | | Conflicts: passes/techmap/Makefile.inc
* recover_reduce_core: Finish implementing the core functionRobert Ou2017-08-271-0/+110
|
* recover_reduce_core: Initial commitRobert Ou2017-08-272-0/+110
| | | | | Conflicts: passes/techmap/Makefile.inc
* Don't track , ... contradictions through x/z-bitsClifford Wolf2017-08-251-1/+4
|
* Add removing of redundant pairs of bits in ==, ===, !=, and !== to opt_exprClifford Wolf2017-08-251-0/+72
|
* Merge branch 'extract_fa'Clifford Wolf2017-08-252-0/+502
|\
| * Further improve extract_fa (seems to be fully functional now)Clifford Wolf2017-08-251-10/+226
| |
| * Rename "adders" to "extract_fa"Clifford Wolf2017-08-252-28/+16
| |
| * Towards more generic "adder" function extractorClifford Wolf2017-08-231-202/+53
| |
| * Add experimental adders passClifford Wolf2017-08-222-0/+447
| |
* | Fix bug in write_smt2 (export logic driving hierarchical cells before ↵Clifford Wolf2017-08-251-34/+34
|/ | | | exporting regs)
* Add hashlib support for hashing of poolsClifford Wolf2017-08-221-0/+7
|
* Add consteval support for $_ANDNOT_ and $_ORNOT_Clifford Wolf2017-08-221-0/+4
|
* Remove some dead code from fsm_mapClifford Wolf2017-08-211-3/+0
|
* Rename "singleton" pass to "uniquify"Clifford Wolf2017-08-203-21/+22
|
* More intuitive handling of "cd .." for singleton modulesClifford Wolf2017-08-191-2/+38
|
* Add "sim -zinit -rstlen"Clifford Wolf2017-08-181-1/+53
|
* Merge branch 'sim'Clifford Wolf2017-08-184-0/+848
|\
| * Add "sim" support for memoriesClifford Wolf2017-08-181-2/+136
| |
| * Add Const methods is_fully_zero(), is_fully_def(), and is_fully_undef()Clifford Wolf2017-08-182-0/+37
| |
| * Add support for assert/assume/cover to "sim" commandClifford Wolf2017-08-181-4/+47
| |
| * Add writeback mode to "sim" commandClifford Wolf2017-08-171-0/+44
| |
| * Improve "sim" commandClifford Wolf2017-08-171-54/+272
| |
| * Add "sim" command skeletonClifford Wolf2017-08-162-0/+372
| |
* | Merge pull request #386 from azonenberg/gpak-countersClifford Wolf2017-08-161-73/+82
|\ \ | |/ |/| Bug fixes to GP_COUNTx and GP_PGEN cells in GreenPAK technology library
| * Fixed more issues with GreenPAK counter sim modelsAndrew Zonenberg2017-08-151-19/+23
| |
| * Updated PGEN model to have level triggered reset (matches actual hardware ↵Andrew Zonenberg2017-08-151-4/+4
| | | | | | | | behavior
| * Fixed bug in GP_COUNTx modelAndrew Zonenberg2017-08-151-7/+12
| |
| * Fixed bug where GP_COUNTx_ADV would wrap even when KEEP was highAndrew Zonenberg2017-08-151-47/+47
|/
* Merge branch 'azonenberg-rmports'Clifford Wolf2017-08-152-0/+188
|\
| * Mostly coding style related fixes in rmports passClifford Wolf2017-08-151-30/+33
| |
| * Merge branch 'rmports' of https://github.com/azonenberg/yosys into ↵Clifford Wolf2017-08-152-0/+185
|/| | | | | | | azonenberg-rmports
| * rmports: Now remove ports from cell instances if we optimized them out of ↵Andrew Zonenberg2017-08-141-2/+35
| | | | | | | | that cell
| * ProcessModule is no longer virtual (why was it in the first place?)Andrew Zonenberg2017-08-141-1/+1
| |
| * rmports now works on all modules in the design, not just the top.Andrew Zonenberg2017-08-141-4/+7
| |
| * Updated Makefile to reflect opt_rmports being renamed to rmportsAndrew Zonenberg2017-08-141-1/+1
| |
| * Renamed opt_rmports pass to rmportsAndrew Zonenberg2017-08-141-5/+5
| |
| * Improved handling of constant connections in opt_rmportsAndrew Zonenberg2017-08-141-0/+2
| |
| * Fixed handling of cell ports that aren't wiresAndrew Zonenberg2017-08-141-0/+3
| |
| * opt_rmports: Fixed incorrect handling of multi-bit netsAndrew Zonenberg2017-08-141-12/+27
| |
| * Removed commented out debug codeAndrew Zonenberg2017-08-141-4/+0
| |
| * Added opt_rmports pass (remove unconnected ports from top-level modules)Andrew Zonenberg2017-08-142-0/+133
| |
* | Merge pull request #381 from azonenberg/countfixClifford Wolf2017-08-144-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 modelAndrew Zonenberg2017-08-141-1/+1
| | |
| * | Fixed typo in error messageAndrew Zonenberg2017-08-141-1/+1
| | |
| * | Changed LEVEL resets for GP_COUNTx to be properly synthesizeableAndrew Zonenberg2017-08-141-48/+60
| | |
| * | Changed LEVEL resets to be edge triggered anywayAndrew Zonenberg2017-08-141-4/+4
| | |
| * | Added level-triggered reset support to GP_COUNTx simulation modelsAndrew Zonenberg2017-08-141-2/+68
| | |
| * | Fixed undeclared "count" in GP_COUNT8_ADVAndrew Zonenberg2017-08-141-0/+2
| | |