YosysHQ.yosys

mirror of synced 2026-01-26 20:23:59 +00:00

Files

Marcelina Kościelnicka a1a0abf52a equiv_induct: Fix up assumption for $equiv cells in -undef mode.

Before this fix, equiv_induct only assumed that one of the following is
true:

- defined value of A is equal to defined value of B
- A is undefined

This lets through valuations where A is defined, B is undefined, and
the defined (meaningless) value of B happens to match the defined value
of A.  Instead, tighten this up to OR of the following:

- defined value of A is equal to defined value of B, and B is not
  undefined
- A is undefined

2020-07-27 18:36:13 +02:00

cmds

Add new builtin FF types

2020-06-23 15:40:02 +02:00

equiv

equiv_induct: Fix up assumption for $equiv cells in -undef mode.

2020-07-27 18:36:13 +02:00

fsm

Use C++11 final/override keywords.

2020-06-18 23:34:52 +00:00

hierarchy

Use C++11 final/override keywords.