Added $assert cell

Added Verilog parser support for asserts

Fixed $lut simlib model for a wider range of tools

Fixed parsing of verilog macros at end of line

More changes to simlib to make it friendlier to a wider range of tools

Fixed a type in $mem model in simlib.v

Removed cases of trailing comma in stdcells.v

Added $bu0 cell to simlib.v

Improved setundef random number generator

Added setundef command

Some improvements in log_dump_val_worker() templates

Added techlibs/common/pmux2mux.v

Added verilog_defaults command

Added support for $adff with undef data inputs to opt_rmdff

Added select -assert-none and -assert-any

Added automatic memid generation to memory_unpack command

Added memory_unpack command

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

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

Added "splitnets -driver"

Use selection in freduce command

Another small freduce cleanup/bugfix

Added "connect" command

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