Merge pull request #411 from azonenberg/counter-extraction-fixes

Various improvements and bug fixes to extract_counter

Merge pull request #410 from azonenberg/opt_demorgan

Added "opt_demorgan" pass (fixes #408)

Minor changes to opt_demorgan requested during code review

Fixed bug where counter extraction on non-GreenPAK devices incorrectly handled parallel counter output

Added support for inferring counters with reset to full scale instead of zero

Added RESET_TO_MAX parameter to $__COUNT_ cell. Cannot yet be extracted.

Added support for inferring counters with active-low reset

Initial support for extraction of counters with clock enable

Fixed typo in comment. Fixed bug where extract_counter would create up counters when it meant to create down counters.

Initial version of opt_demorgan is functioning for AND/OR gates. Not the prettiest results for bus inputs, but this can be improved

Add src attribute to extra cells generated by proc_dlatch

Add src arguments to all cell creator helper functions

Further improve extract_fa (but still buggy)

Merge pull request #406 from azonenberg/coolrunner-techmap

Coolrunner techmapping improvements

Merge pull request #405 from azonenberg/gpak-refactoring

Gpak refactoring

coolrunner2: Finish fixing special-use p-terms

coolrunner2: Generate a feed-through AND term when necessary

coolrunner2: Initial fixes for special p-terms

Certain signals can only be controlled by a product term and not a
sum-of-products. Do the initial work for fixing this.

coolrunner2: Fix mapping of flip-flops

coolrunner2: Combine some for loops together

Fixed typo in error message

Added blackbox $__COUNT_ cell model

Refactoring: moved modules still in cells_sim to cells_sim_wip

Merge branch 'master' of github.com:cliffordwolf/yosys

Merge branch 'ChipScan-master'

Update more stuff to use get_src_attribute() and set_src_attribute()

updated to use get_src_attribute() and set_src_attribute().

Merge pull request #399 from azonenberg/counter-extraction

Refactored counter extraction to not be GreenPAK specific. Fixes #396.

Merge branch 'counter-extraction' of github.com:azonenberg/yosys into counter-extraction

extract_counter: Added optimizations to remove unused high-order bits

Merge branch 'master' of https://github.com/cliffordwolf/yosys into counter-extraction

extract_counter: Minor changes requested to comply with upstream policy, fixed a few typos

Merge remote-tracking branch 'upstream/master'

fix indent level

Merge pull request #397 from azonenberg/gpak-libfixes

Reformatted GP_COUNTx_ADV resets to avoid Yosys thinking that they're…

Add {get,set}_src_attribute() methods on RTLIL::AttrObject

Add support for source line tracking through synthesis phase

Finished refactoring counter extraction to be nice and generic. Implemented techmapping from $__COUNT_ to GP_COUNTx cells.

Refactored extract_counter to be generic vs GreenPAK specific

Refactoring: Renamed greenpak4_counters pass to extract_counter, moved it to techmap/ since it's going to become a generic pass

Reformatted GP_COUNTx_ADV resets to avoid Yosys thinking that they're multi-edge-sensitive and getting confused.

Merge branch 'azonenberg-recover-reduce'

Rename recover_reduce to extract_reduce, fix args handling

Merge branch 'recover-reduce' of https://github.com/azonenberg/yosys into azonenberg-recover-reduce

Further improve extract_fa pass

Merge pull request #392 from azonenberg/greenpak-portfixes

Fixed bug causing GP_SPI model to not synthesize

Fixed bug causing GP_SPI model to not synthesize

recover_reduce: Update documentation

The documentation now describes the commands performed in the deleted
recover_reduce script.

recover_reduce: Reindent using tabs

recover_reduce: Rename recover_reduce_core to recover_reduce

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

Conflicts:
passes/techmap/Makefile.inc

recover_reduce_core: Finish implementing the core function

recover_reduce_core: Initial commit

Conflicts:
passes/techmap/Makefile.inc

Don't track , ... contradictions through x/z-bits

Add removing of redundant pairs of bits in ==, ===, !=, and !== to opt_expr

Merge branch 'extract_fa'

Further improve extract_fa (seems to be fully functional now)

Rename "adders" to "extract_fa"

Fix bug in write_smt2 (export logic driving hierarchical cells before exporting regs)

Towards more generic "adder" function extractor

Add experimental adders pass

Add hashlib support for hashing of pools

Add consteval support for $_ANDNOT_ and $_ORNOT_

Remove some dead code from fsm_map

Rename "singleton" pass to "uniquify"

More intuitive handling of "cd .." for singleton modules

Add "sim -zinit -rstlen"

Merge branch 'sim'

Add "sim" support for memories

Add Const methods is_fully_zero(), is_fully_def(), and is_fully_undef()

Add support for assert/assume/cover to "sim" command

Add writeback mode to "sim" command

Improve "sim" command

Merge pull request #386 from azonenberg/gpak-counters

Bug fixes to GP_COUNTx and GP_PGEN cells in GreenPAK technology library

Add "sim" command skeleton

Fixed more issues with GreenPAK counter sim models

Updated PGEN model to have level triggered reset (matches actual hardware behavior

Fixed bug in GP_COUNTx model

Fixed bug where GP_COUNTx_ADV would wrap even when KEEP was high

Merge branch 'azonenberg-rmports'

Mostly coding style related fixes in rmports pass

Merge branch 'rmports' of https://github.com/azonenberg/yosys into azonenberg-rmports

Merge pull request #381 from azonenberg/countfix

Added better behavioral models for GreenPAK counters. Refactored cells_sim into two files so analog/mixed signal stuff is separate

Merge pull request #383 from azonenberg/abcfnames

abc: Allow +/ filenames in the abc command

Merge pull request #382 from azonenberg/jsoniofix

json: Parse inout correctly rather than as an output

Merge pull request #384 from azonenberg/crtechlib

CoolRunner-II technology library improvements

coolrunner2: Add INVERT parameter to some BUFGs

coolrunner2: Add FFs with clock enable to cells_sim.v

abc: Allow +/ filenames in the abc command

json: Parse inout correctly rather than as an output

rmports: Now remove ports from cell instances if we optimized them out of that cell

ProcessModule is no longer virtual (why was it in the first place?)

rmports now works on all modules in the design, not just the top.

Updated Makefile to reflect opt_rmports being renamed to rmports

Renamed opt_rmports pass to rmports

Fixed typo in GP_COUNT8 sim model

Fixed typo in error message

Changed LEVEL resets for GP_COUNTx to be properly synthesizeable

Changed LEVEL resets to be edge triggered anyway

Added level-triggered reset support to GP_COUNTx simulation models