aboutsummaryrefslogtreecommitdiffstats
Commit message (Collapse)AuthorAgeFilesLines
* 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
| | |
| * | Fixed undeclared "count" in GP_COUNT14_ADVAndrew Zonenberg2017-08-141-0/+2
| | |
| * | Fixed typo in last commitAndrew Zonenberg2017-08-141-3/+3
| | |
| * | Finished initial GP_COUNT8/14/8_ADV/14_ADV sim models. Don't support clock ↵Andrew Zonenberg2017-08-142-37/+293
| | | | | | | | | | | | divide, but do everything else.