yosys/passes/proc
Marcelina Kościelnicka a55bf6375b proc_arst: Add special-casing of clock signal in conditionals.
The already-existing special case for conditionals on clock has been
remade as follows:

- now triggered for the last remaining edge trigger after all others
  have been converted to async reset, not just when there is only one
  sync rule in the first place
- does not require all contained assignments to be constant, as opposed
  to a reset conditional — merely const-folds the condition

In addition, the code has been refactored a bit; as a bonus, the
priority order of async resets found is now preserved in resulting sync
rule ordering (though this is not yet respected by proc_dff).

Fixes #2656.
2021-03-15 17:17:29 +01:00
..
Makefile.inc Add support for memory writes in processes. 2021-03-08 20:16:29 +01:00
proc.cc Add support for memory writes in processes. 2021-03-08 20:16:29 +01:00
proc_arst.cc proc_arst: Add special-casing of clock signal in conditionals. 2021-03-15 17:17:29 +01:00
proc_clean.cc Add support for memory writes in processes. 2021-03-08 20:16:29 +01:00
proc_dff.cc proc_dff: Fix emitted FF when a register is not assigned in async reset 2021-03-08 17:01:43 +01:00
proc_dlatch.cc Add support for memory writes in processes. 2021-03-08 20:16:29 +01:00
proc_init.cc Add support for memory writes in processes. 2021-03-08 20:16:29 +01:00
proc_memwr.cc Add support for memory writes in processes. 2021-03-08 20:16:29 +01:00
proc_mux.cc Use C++11 final/override keywords. 2020-06-18 23:34:52 +00:00
proc_prune.cc Use C++11 final/override keywords. 2020-06-18 23:34:52 +00:00
proc_rmdead.cc Use C++11 final/override keywords. 2020-06-18 23:34:52 +00:00