Using $initstate in "initial assume" and "initial assert"

Added $initstate cell type and vlog function

After reading the SV spec, using non-standard predict() instead of expect()

Added basic support for $expect cells

Added examples/smtbmc

Merge pull request #191 from whitequark/json-module-attributes

write_json: also write module attributes

Merge pull request #193 from azonenberg/master

Removed splitnets in synth_greenpak4, added GP_DAC, refactored GP_BANDGAP

Merge https://github.com/cliffordwolf/yosys

Minor bugfix in FSM reset state detection

write_json: also write module attributes.

Added GP_DAC cell

Removed VOUT port of GP_BANDGAP

Removed splitnets in prep for new gp4par parser

Yosys-smtbmc: Support for hierarchical VCD dumping

Moved smt2 yosys info parsing from smtbmc.py to smtio.py

Added "prep -auto-top" and "synth -auto-top"

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

Merge pull request #189 from whitequark/master

greenpak4: add GP_COUNT{8,14}_ADV cells

Support for hierarchical designs in smt2 back-end

greenpak4: add GP_COUNT{8,14}_ADV cells.

Further improved fsm_detect output, attempt to detect self-resetting circuits

Added printing of some warning messages to fsm_detect

Added warning about adding fsm_encoding attributes to wires to manual

Minor fixes in ice40_ff* passes for sloppy SB_DFF instantiations

Fixed mem assignment in left-hand-side concatenation

Merge branch 'eddiehung-vtr'

Restored blif "-true - .." behavior, use "-true + .." for eddiehung-vtr behavior

In BLIF, a .names without entries already always outputs 0

Undo eddiehung-vtr Makefile changes

Merge branch 'yosys-0.5-vtr' of https://github.com/eddiehung/yosys into eddiehung-vtr

Fixed autotest.sh handling of `timescale

Merge branch 'assert-limit'

Replaced "select -assert-limit" with -assert-max and -assert-min

Added 'assert-limit' option for 'select' command

For resource limited designs such as FPGA it can be useful to specify limit of specific resources available on board. So user can check if he should change RTL as early as mapping done.

Improved ice40_ffinit error reporting

Merge pull request #181 from rubund/input_logic_allowed

Allow defining input ports as "input logic" in SystemVerilog

Allow defining input ports as "input logic" in SystemVerilog

Bugfix in "abc -script" handling

Merge branch 'sv_packages' of https://github.com/rubund/yosys

Added "deminout"

A few modifications after pull request comments

- Renamed Design::packages to Design::verilog_packages
- No need to include ast.h in rtlil.h

Added "read_blif -sop"

Added $sop support to BLIF back-end

Added support for SystemVerilog packages with localparam definitions

Added "dc2" to default ABC scripts

Fixed init issue in mem2reg_test2 test case

Added "abc -I <num> -P <num>"

Added $sop SAT model

Improved support for $sop cells

Added $sop cell type and "abc -sop"

Updated ABC to hg rev b5df6e2b76f0

Added "nlutmap -assert"

Do not run "wreduce" in "prep -ifx"

Added "proc_mux -ifx"

Added "setundef -init"

Fix all undef-muxes in dlatch input cone

Avoid creating undef-muxes when inferring latches in proc_dlatch

Added opt_expr support for div/mod by power-of-two

Fixed procedural assignments to non-unique lvalues, e.g. {y,y} = {a,b}

Fixed access-after-delete bug in mem2reg code

fixed typos in error messages

Fixed "scc" for cells that have feedback singals _and_ are part of a larger loop

Merge pull request #172 from zeldin/deterministic_hierarchy

Made the expansion order of hierarchy deterministic

Made the expansion order of hierarchy deterministic

Some fixes in tests/asicworld/*_tb.v

Improvements and fixes in autotest.sh script and test_autotb

Merge branch 'master' of https://github.com/Kmanfi/yosys

Also escape "=" in spice output

Small improvements in Verilog front-end docs

Close opened dump file.

Fix for Modelsim transcript line warp issue #164

Don't sign-extend memory bram initialization data

Added missing "#define HASHLIB_H"

Minor presentation fixes

Updated min GCC requirement to GCC 4.8

Added manual download link to README

Include <cmath> in yosys.h

Merge pull request #162 from azonenberg/master

Added GP_DELAY cell. Fixed several errors in simulation models.

Added GP_DELAY cell

Fixed typo in port name

Fixed extra semicolon

Fixed typo in parameter name

Added simulation timescale declaration

Fixes for MXE build

Added support for "keep" attribute to shregmap

Added synth_ice40 support for latches via logic loops

Added "write_blif -noalias"

Fixed ice40_opt lut unmapping, added "ice40_opt -unlut"

Fixed preservation of important attributes in techmap

Merge pull request #159 from azonenberg/master

Fixes to use new I/O pad techmapping, renamed ports for GP_SHREG

Changed order of passes for better handling of INIT attributes on "output reg" FFs

Changed port names in greenpak shregmap

Renamed module parameter

Refactored synth_greenpak4 to use iopadmap for mapping GP_IOBUF/GP_OBUFT cells instead of extract

Added tristate buffer support to iopadmap

Merge pull request #157 from azonenberg/master

Added GP_ABUF cell, support for tri-state I/O buffers in GreenPak

Fixed incorrect signal naming in GP_IOBUF

Merge https://github.com/cliffordwolf/yosys

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

Fixed iopadmap attribute handling