mirror of https://github.com/YosysHQ/yosys.git
c0063288d6
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. |
||
|---|---|---|
| .. | ||
| Makefile.inc | ||
| fsm.cc | ||
| fsm_detect.cc | ||
| fsm_expand.cc | ||
| fsm_export.cc | ||
| fsm_extract.cc | ||
| fsm_info.cc | ||
| fsm_map.cc | ||
| fsm_opt.cc | ||
| fsm_recode.cc | ||
| fsmdata.h | ||