Extend during mux decomposition with 1'bx

Fix typo and comments

Merge remote-tracking branch 'origin/master' into xc7mux

synth_xilinx to call commands of synth -coarse directly

Revert "synth_xilinx to call "synth -run coarse" with "-keepdc""

This reverts commit 7f964859ec99500e471853f5914b6e5b7c35a031.

Fix spacing

Fix spacing

Merge pull request #1168 from whitequark/bugpoint-processes

Add support for processes in bugpoint

Merge pull request #1169 from whitequark/more-proc-cleanups

A new proc_prune pass

Merge pull request #1163 from whitequark/more-case-attrs

More support for case rule attributes

Merge pull request #1162 from whitequark/rtlil-case-attrs

Allow attributes on individual switch cases in RTLIL

Merge pull request #1167 from YosysHQ/eddie/xc7srl_cleanup

Cleanup synth_xilinx SRL inference, make more consistent

proc_prune: promote assigns to module connections when legal.

This can pave the way for further transformations by exposing
identities that were previously hidden in a process to any pass that
uses SigMap. Indeed, this commit removes some ad-hoc logic from
proc_init that appears to have been tailored to the output of
genrtlil in favor of using `SigMap.apply()`. (This removal is not
optional, as the ad-hoc logic cannot cope with the result of running
proc_prune; a similar issue was fixed in proc_arst.)

proc_prune: new pass.

The proc_prune pass is similar in nature to proc_rmdead pass: while
proc_rmdead removes branches that never become active because another
branch preempts it, proc_prune removes assignments that never become
active because another assignment preempts them.

Genrtlil contains logic similar to the proc_prune pass, but their
purpose is different: genrtlil has to prune assignments to adapt
the semantics of blocking assignments in HDLs (latest assignment
wins) to semantics of assignments in RTLIL processes (assignment in
the most specific case wins). On the other hand proc_prune is
a general purpose RTLIL simplification that benefits all frontends,
even those not using the Yosys AST library.

The proc_prune pass is added to the proc script after proc_rmdead,
since it gives better results with fewer branches.

bugpoint: add -assigns and -updates options.

proc_clean: add -quiet option.

This is useful for other passes that call it often, like bugpoint.

Decompose mux inputs in delay-orientated (rather than area) fashion

Do not call opt -mux_undef (part of -full) before muxcover

Add one more comment

Less thinking

Reword

Merge pull request #1166 from YosysHQ/eddie/synth_keepdc

Add "synth -keepdc" option

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

synth_xilinx to call "synth -run coarse" with "-keepdc"

Merge remote-tracking branch 'origin/eddie/synth_keepdc' into xc7mux

Clarify script -scriptwire doc

Add synth -keepdc to CHANGELOG

Clarify 'wreduce -keepdc' doc

Add synth -keepdc option

Map $__XILINX_SHIFTX in a more balanced manner

Capitalisation

Add synth_xilinx -widemux recommended value

Merge pull request #1164 from YosysHQ/eddie/muxcover_mux2

Add muxcover -mux2=cost option

Merge pull request #1160 from ZirconiumX/cyclone_v

synth_intel: Warn about untested Quartus backend

Update muxcover doc as per @ZirconiumX

Fixes for 2:1 muxes

synth_xilinx -widemux=2 is minimum now

Parametric muxcover costs as per @daveshah1

Merge remote-tracking branch 'origin/eddie/muxcover_mux2' into xc7mux

atoi -> stoi

Add muxcover -mux2=cost option

atoi -> stoi as per @daveshah1

Merge remote-tracking branch 'origin/master' into xc7mux

verilog_backend: dump attributes on SwitchRule.

This appears to be an omission.

proc_mux: consider \src attribute on CaseRule.

verilog_backend: dump attributes on CaseRule, as comments.

Attributes are not permitted in that position by Verilog grammar.

genrtlil: emit \src attribute on CaseRule.

Allow attributes on individual switch cases in RTLIL.

The parser changes are slightly awkward. Consider the following IL:

    process $0
      <point 1>
      switch \foo
        <point 2>
        case 1'1
          assign \bar \baz
          <point 3>
          ...
        case
      end
    end

Before this commit, attributes are valid in <point 1>, and <point 3>
iff it is immediately followed by a `switch`. (They are essentially
attached to the switch.) But, after this commit, and because switch
cases do not have an ending delimiter, <point 3> becomes ambiguous:
the attribute could attach to either the following `case`, or to
the following `switch`. This isn't expressible in LALR(1) and results
in a reduce/reduce conflict.

To address this, attributes inside processes are now valid anywhere
inside the process: in <point 1> and <point 3> a part of case body,
and in <point 2> as a separate rule. As a consequence, attributes
can now precede `assign`s, which is made illegal in the same way it
is illegal to attach attributes to `connect`.

Attributes are tracked separately from the parser state, so this
does not affect collection of attributes at all, other than allowing
them on `case`s. The grammar change serves purely to allow attributes
in more syntactic places.

synth_intel: Warn about untested Quartus backend

Merge pull request #1159 from btut/fix/1090_segfault_cell_and_wire

Throw runtime exception when trying to convert inexistend C++ object to Python

Throw runtime exception when trying to convert a c++-pointer to a
python-object in case the pointer is a nullptr to avoid a segfault.

Fixes #1090

Merge pull request #1156 from YosysHQ/eddie/fix_abc9_unknown_cell

 write_xaiger to treat unknown cell connections as keep-s

Merge pull request #1147 from YosysHQ/clifford/fix1144

Improve specify dummy parser

Fix tests/various/specify.v

Signed-off-by: Clifford Wolf <clifford@clifford.at>

Some cleanups in "ignore specify parser"

Signed-off-by: Clifford Wolf <clifford@clifford.at>

Merge pull request #1154 from whitequark/manual-sync-always

manual: explain the purpose of `sync always`

write_xaiger to treat unknown cell connections as keep-s

Add test

Merge remote-tracking branch 'origin/master' into xc7mux

Merge pull request #1150 from YosysHQ/eddie/script_from_wire

Add "script -select [selection]" to allow commands to be taken from wires

manual: explain the purpose of `sync always`.

Merge branch 'eddie/script_from_wire' into eddie/xc7srl_cleanup

Merge remote-tracking branch 'origin/eddie/script_from_wire' into xc7mux

Merge pull request #1153 from YosysHQ/dave/fix_multi_mux

memory_dff: Fix checking of feedback mux input when more than one mux

Update test for Pass::call_on_module()

Use Pass::call_on_module() as per @cliffordwolf comments

Update test too

script -select -> script -scriptwire

memory_dff: Fix checking of feedback mux input when more than one mux

Signed-off-by: David Shah <dave@ds0.me>

Fix read_verilog assert/assume/etc on default case label, fixes YosysHQ/SymbiYosys#53

Signed-off-by: Clifford Wolf <clifford@clifford.at>

Fix $__XILINX_MUXF78 box timing

Revert "Fix broken MUXFx box, use MUXF7x2 box instead"

This reverts commit a9a140aa6c84e71edc1a244cfe363400c7e09d90.

Fix broken MUXFx box, use MUXF7x2 box instead

Space

Space

Move CHANGELOG entry from yosys-0.8 to 0.9

Merge branch 'master' into eddie/script_from_wire

Move wide mux from yosys-0.8 to 0.9

Merge remote-tracking branch 'origin/master' into xc7mux

Move abc9 from yosys-0.8 to yosys-0.9 in CHANGELOG

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

Comment out invalid syntax

Cleanup SRL inference/make more consistent

Merge remote-tracking branch 'origin/master' into xc7mux

install *_nowide.lut files

Merge pull request #1149 from gsomlo/gls-1098-abcext-fixup

Make abc9 pass aware of optional ABCEXTERNAL override

Merge branch 'master' into eddie/script_from_wire

autotest.sh to define _AUTOTB when test_autotb

autotest.sh to define _AUTOTB when test_autotb

Try command in another module

Merge remote-tracking branch 'origin/eddie/script_from_wire' into xc7mux

Add to CHANGELOG

Support ability for "script -select" to take commands from wires

Add test

Merge remote-tracking branch 'origin/master' into xc7mux

Replace log_assert() with meaningful log_error()

Remove peepopt call in synth_xilinx since already in synth -run coarse

Restore $__XILINX_MUXF78 const optimisation

Clean up trimming leading 1'bx in A during techmappnig

Make abc9 pass aware of optional ABCEXTERNAL override

Signed-off-by: Gabriel Somlo <gsomlo@gmail.com>