dftlib.transformer.rewrite_rules.try_replace_fdep_by_or¶
- try_replace_fdep_by_or(dft, fdep)¶
(Rule #24): Eliminate FDEPs by introducing an OR-gate. Let A be the trigger and B be the dependent element. Both must be connected to the top level element. B must have only one predecessor and no SPARE or PAND/POR in its predecessor closure. :param dft: DFT. :param fdep: FDEP which can possibly be removed. :return: True iff fdep has been removed.