github.com/YosysHQ.yosys
1
0
Fork 0
mirror of synced 2026-02-13 19:54:09 +00:00
Code Issues Releases Wiki Activity
Files
ecc5c23b4d3ec42599b80f5f4dc8699f024124be
YosysHQ.yosys/passes/equiv
History
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
..
equiv_add.cc
Use C++11 final/override keywords.
2020-06-18 23:34:52 +00:00
equiv_induct.cc
equiv_induct: Fix up assumption for $equiv cells in -undef mode.
2020-07-27 18:36:13 +02:00
equiv_make.cc
Use C++11 final/override keywords.
2020-06-18 23:34:52 +00:00
equiv_mark.cc
Use C++11 final/override keywords.
2020-06-18 23:34:52 +00:00
equiv_miter.cc
Use C++11 final/override keywords.
2020-06-18 23:34:52 +00:00
equiv_opt.cc
Use C++11 final/override keywords.
2020-06-18 23:34:52 +00:00
equiv_purge.cc
Use C++11 final/override keywords.
2020-06-18 23:34:52 +00:00
equiv_remove.cc
Use C++11 final/override keywords.
2020-06-18 23:34:52 +00:00
equiv_simple.cc
Use C++11 final/override keywords.
2020-06-18 23:34:52 +00:00
equiv_status.cc
Use C++11 final/override keywords.
2020-06-18 23:34:52 +00:00
equiv_struct.cc
Use C++11 final/override keywords.
2020-06-18 23:34:52 +00:00
Makefile.inc
equiv_opt: new command, for verifying optimization passes.
2018-12-07 17:20:34 +00:00