diff options
author | Jannis Harder <me@jix.one> | 2022-08-05 15:43:08 +0200 |
---|---|---|
committer | Jannis Harder <me@jix.one> | 2022-08-16 13:37:30 +0200 |
commit | 95db5a9d3899973c0c7bcfa887f8404ac017d53f (patch) | |
tree | 84e521127bb4707b9cbd282ce90d0f6234f402fa /misc | |
parent | a5e1d3b9974668b4ab526a6b77ca96f1aa16d01f (diff) | |
download | yosys-95db5a9d3899973c0c7bcfa887f8404ac017d53f.tar.gz yosys-95db5a9d3899973c0c7bcfa887f8404ac017d53f.tar.bz2 yosys-95db5a9d3899973c0c7bcfa887f8404ac017d53f.zip |
formalff: New -setundef option
Find FFs with undefined initialization values for which changing the
initialization does not change the observable behavior and initialize
them. For -ff2anyinit, this reduces the number of generated $anyinit
cells that drive wires with private names.
Diffstat (limited to 'misc')
0 files changed, 0 insertions, 0 deletions