mirrors/yosys
3
0
Fork 0
mirror of https://github.com/YosysHQ/yosys synced 2025-10-24 08:24:35 +00:00
Code Activity
yosys/passes/fsm
History
Jannis Harder c0063288d6 Add the $anyinit cell and the formalff pass 
These can be used to protect undefined flip-flop initialization values
from optimizations that are not sound for formal verification and can
help mapping all solver-provided values in witness traces for flows that
use different backends simultaneously.
2022-08-16 13:37:30 +02:00
..
fsm.cc Fixing old e-mail addresses and deadnames 2021-06-08 00:39:36 +02:00
fsm_detect.cc Add the $anyinit cell and the formalff pass 2022-08-16 13:37:30 +02:00
fsm_expand.cc Fixing old e-mail addresses and deadnames 2021-06-08 00:39:36 +02:00
fsm_export.cc Fixing old e-mail addresses and deadnames 2021-06-08 00:39:36 +02:00
fsm_extract.cc Fixing old e-mail addresses and deadnames 2021-06-08 00:39:36 +02:00
fsm_info.cc Fixing old e-mail addresses and deadnames 2021-06-08 00:39:36 +02:00
fsm_map.cc Fixing old e-mail addresses and deadnames 2021-06-08 00:39:36 +02:00
fsm_opt.cc Fixing old e-mail addresses and deadnames 2021-06-08 00:39:36 +02:00
fsm_recode.cc Fixing old e-mail addresses and deadnames 2021-06-08 00:39:36 +02:00
fsmdata.h Avoid unnecessary copy of a potential large constant value. 2022-06-09 16:05:51 +01:00
Makefile.inc initial import 2013-01-05 11:13:26 +01:00