Merge pull request #3257 from jix/tribuf-formal

tribuf: `-formal` option: convert all to logic and detect conflicts

Merge pull request #3290 from mpasternacki/bugfix/freebsd-build

Fix build on FreeBSD, which has no alloca.h

Merge pull request #3289 from YosysHQ/micko/sim_improve

Simulation improvements

Fix build on FreeBSD, which has no alloca.h

Match $anyseq input if connected to public wire

Treat $anyseq as input from FST

Ignore change on last edge

Last sample from input does not represent change

latches are always set to zero

If not multiclock, output only on clock edges

Set init state for all wires from FST and set past

Fix multiclock for btor2 witness

Bump version

Merge pull request #3280 from YosysHQ/micko/fix_readaiw

Fix reading aiw from other solvers

Update abc

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

Fix reading aiw from other solvers

tribuf: `-formal` option: convert all to logic and detect conflicts

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