Merge branch 'master' of https://github.com/ahmedirfan1983/yosys into btor

Merge pull request #3 from cliffordwolf/master

memory_unpack

Added automatic memid generation to memory_unpack command

Added memory_unpack command

slice error corrected

width issues
dff cell for more than one registers

Merge branch 'master' of https://github.com/ahmedirfan1983/yosys into btor

Merge pull request #2 from cliffordwolf/master

hierarchy

Merge pull request #20 from mschmoelzer/master

Include unistd.h in passes/hierarchy/hierarchy.cc (required for access(3))

Include unistd.h in passes/hierarchy/hierarchy.cc (required for access(3))

This fixes compilation errors on Arch Linux.

Signed-off-by: Martin Schmölzer <martin.schmoelzer@student.tuwien.ac.at>

Added hierarchy -libdir option

renamed LibertyParer to LibertyParser

Added "+" to list of liberty token characters

BTOR backend

Merge branch 'master' of https://github.com/ahmedirfan1983/yosys into btor

Merge pull request #1 from cliffordwolf/master

Added "opt_const -mux_undef"

Added "opt_const -mux_undef"

Fixed typo in frontends/ast/simplify.cc

Improved performance of freduce input cone reduction

Improved freduce performance on const signals

Performance improvements in freduce pass

More freduce cleanups

Added updating of RTLIL::autoidx to ilang frontend

Cleanups in freduce command

Fixed SAT and ConstEval undef handling for $pmux and $safe_pmux

Tiny cleanup in proc_mux.cc

splitnet -driver feature

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

Added "splitnets -driver"

Use selection in freduce command

Another small freduce cleanup/bugfix

Added "connect" command

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

makefile

btor

More freduce cleanups and bugfixes

Added RTLIL::SigSpec::optimized() API

Added correct handling of $memwr priority

Fixed more complex undef cases in freduce

Now */ is optional in */<mode>:<arg> selections

Added "rename -hide" command

Added SAT undef model for $pmux and $safe_pmux

More "freduce" related fixes and improvements

Added support for module->connections to select %ci, %co and %x handling

Some cleanups in freduce -inv mode (and switched from -noinv to -inv)

Added autotest.sh -p option

Major rewrite of "freduce" command

Updated CHANGELOG

Fixed use of limited length buffer in ABC blif parser

Use "abc -dff" in "make test"

Added abc -dff and -clk support

Various small cleanups in stdcells.v techmap code

Added additional checks for A_SIGNED == B_SIGNED for cells with that constraint

Updated ABC to hg rev 57517e81666b

Now using BLIF as ABC input format

Fixed commented out techmap call in tests/tools/autotest.sh

Always use BLIF as ABC output format

Fixed a stupid access after delete bug

Fixed undef extend for bitwise binary ops (bugs in simplemap and satgen)

Updated manual/command-reference-manual.tex

Added new cell types to manual

Added $bu0 cell (for easy correct $eq/$ne mapping)

Added sat -prove-x and -set-def-inputs

Improved $_MUX_ handling in opt_const

More conservastive $eq/$ne/$eqx/$nex opt_const code

Fixed sat handling of $eqx and $nex with unequal port widths

Fixed parsing of non-arg macro calls followed by "("

Small cleanup in SatGen

More $eq/$ne/$eqx/$nex fixes in opt_const

Fixed parsing of macros with no arguments and expansion text starting with "("

Fixed sat handling of $eqx and $nex cells

Fixed/improved opt_const $eq/$ne/$eqx/$nex handling

Added support for non-const === and !== (for miter circuits)

Added proper === and !== support in constant expressions

Added sat -set-def/-set-*-undef support

Renamed sat -set-undef to -set-any-undef

Fixed dfflibmap for unused output ports

Now prefer smallest cells in dfflibmap

Cleanup of dfflibmap cellmap exploration code

Further improved dfflibmap cellmap exploration

Fixed dfflibmap endless-loop bug

Added log_dump() API

Prefer non-inverted clocks in dfflibmap

Added multiplier test case from eda playground

Added elsif preproc support

Added support for macro arguments

Fixes and other changes in README

Finished AppNote 011

Progress on AppNote 011

Added sat -max_undef feature

Progress on AppNote 011

Added "sat" undef support and "sat -set-init" options

Fixed uninitialized const flags bug

Fixed compiler warining in passes/sat/eval.cc

Progress on AppNote 011

Progress on AppNote 011

Added eval -set-undef and eval -table

Fixes and improvements in RTLIL::SigSpec::parse

Fixes in fsm detect/extract for better detection of non-fsm circuits

Fixed bug in example prog in appnote 011

Keep strings as strings in const ternary and concat