verific: allow memories to be inferred in loops (vhdl)

Merge pull request #3282 from nakengelhardt/verific_loop_rams

verific: allow memories to be inferred in loops

Bump version

memory_share: Fix up mismatched address widths.

opt_dff: Fix behavior on $ff with D == Q.

verific: allow memories to be inferred in loops

Bump version

Merge pull request #3275 from YosysHQ/micko/clk2fflogic_fix

Use wrap_async_control_gate if ff is fine

Use wrap_async_control_gate if ff is fine

Merge pull request #3273 from modwizcode/fix-build

Do not enable features that require the support of compression compiled in

pass jny: flipped the defaults for the inclusion of various bits of metadata

pass jny: ensured the cell collection is cleared between modules

pass jny: fixed missing quotes around the type value for the cell sort

pass jny: fixed the backslash escape for strings

pass jny: removed the invalid json escapes

pass jny: added some todo comments about things that need to be done before a proper merge, but it should be enough for the PoC at the moment

pass jny: changed the constructor initializers to use parens rather than curly-braces to hopefully make GCC 4.8 happy

pass jny: fixed the string escape method to be less jank and more proper

pass jny: fixed the signed output for param value output

pass jny: added connection output

pass jny: added filter options for including connections, attributes, and properties

pass jny: large chunk of refactoring to make the JSON output more pretty and the internals less of a spaghetti nightmare

metadata -> jny: migrated to the proper name for the pass

pass metadata: added the machinery to write param and attributes

pass metadata: removed superfluous `stringf` calls

pass metadata: some more rough work on dumping the parameters and attributes

pass metadata: fixed the MetadataWriter object initializer so GCC 4.8 is happy

pass metadata: added the output of parameters,

it's kinda dumb at the moment and needs parsing based on type but it's a start

pass metadata: fixed some of the output formatting

pass metadata: initial commit of the metadata pass for exporting design metadata for yosys assisted tooling

Makefile: properly conditionalize features requiring compression.

Bump version

Merge pull request #3269 from YosysHQ/micko/fix_autotop

Reorder steps in -auto-top to fix synth command, fixes #3261

abc: Add support for FFs with reset in -dff

Bump version

sv: fix always_comb auto nosync for nested and function blocks

Reorder steps in -auto-top to fix synth command, fixes #3261

Next dev cycle

Release version 0.16

Bump version

show: Fix width labels.

See #3266.

Update CHANGELOG and manual

Merge pull request #3265 from YosysHQ/micko/sim_improvements

Improve sim by setting proper past D and AD signals

past_ad initial value setting

setInitState can be only one altering values

Set past_d value for init state

Merge pull request #3264 from jix/invalid_ff_dcinit_merge

opt_merge: Add `-keepdc` option required for formal verification

Bump version

opt_merge: Add `-keepdc` option required for formal verification

The `-keepdc` option prevents merging flipflops with dont-care bits in
their initial value, as, in general, this is not a valid transform for
formal verification.

The keepdc option of `opt` is passed along to `opt_merge` now.

Merge pull request #3263 from YosysHQ/micko/clk2ff_init

Set init values for wrapped  async control signals

Set init values for wrapped async control signals

Merge pull request #3262 from YosysHQ/micko/verific_hiernet

Preserve internal wires for external nets

Preserve internal wires for external nets

Bump version

Merge pull request #3256 from YosysHQ/micko/aiw_multiclock

Support memories in aiw and multiclock

 Support memories in aiw and multiclock

Bump version

Merge pull request #3259 from YosysHQ/micko/verific_valgrind

Fix valgrind tests when using verific

Fix valgrind tests when using verific

Merge pull request #3260 from YosysHQ/micko/proper_scopename

Proper scope naming from FST

Proper scope naming from FST

Merge pull request #3250 from YosysHQ/micko/verific_consistent

Import Verific netlist in consistent order

Bump version

Merge pull request #3258 from jix/fix-no-assertions

smtbmc: fix bmc with no assertions

smtbmc: fix bmc with no assertions

this was broken by the `--keep-going` changes

Bump version

kernel/mem: Only use FF init in read-first emu for mem with init

Merge pull request #3253 from jix/smtbmc-nodeepcopy

smtbmc: Avoid unnecessary deep copies during unrolling

Merge pull request #3247 from jix/smtbmc-keepgoing

smtbmc `--keep-going`

Merge pull request #3194 from Ravenslofty/abc9-flow3mfs

abc9: add flow3mfs script

Merge pull request #3246 from YosysHQ/gatecat/timing-derive-fix

abc9_ops: Also derive blackboxes with timing info

gowin: Add oscillator primitives

smtbmc: Avoid unnecessary deep copies during unrolling

Update URL to zlib

Properly mark modules imported

Bump version

Add some more reserve calls to RTLIL::Const

This results in a slight ~0.22% total speedup synthesizing vexriscv

Merge pull request #3249 from YosysHQ/micko/no_startoffset

Add -no-startoffset option to write_aiger

Import verific netlist in consistent order

Add -no-startoffset option to write_aiger

Bump version

Merge pull request #3243 from nakengelhardt/fix_aiw_comment

smtbmc: ignore # comment lines

yosys-smtbmc: Option to keep going after failed assertions in BMC mode

yosys-smtbmc: Fix typo in help text, remove trailing whitespace

abc9_ops: Also derive blackboxes with timing info

Signed-off-by: gatecat <gatecat@ds0.me>

ignore # comment lines

Bump version

Update abc with latest fix

Proper SigBit forming in sim

Proper SigBit forming in sim

Bump version

xilinx: Add RAMB4* blackboxes

Bump version

More verbose warnings

Merge pull request #3236 from YosysHQ/micko/tb_initial

Recognize registers and set initial state for them in tb

Bump version

Recognize registers and set initial state for them in tb

Update sim help message.

Bump version

gowin: add support for Double Data Rate primitives

Signed-off-by: YRabbit <rabbit@yrabbit.cyou>