'Can BDD/CuDD used to describe sequential logic

I know it's common to describe combinational circuit with BDD/CuDD. But is it possible to use BDD for sequential logic circuit like DFF/Latch? Seems not possible? Or maybe just ignore the CK/D timing requirement and treat them as simple logic? I believe Sythesis Algorithm used some technique to handle

Any related paper/book for this? Would ABC package from Berkeley do this?

binary-decision-diagramdigital-design


Sources

This article follows the attribution requirements of Stack Overflow and is licensed under CC BY-SA 3.0.

Source: Stack Overflow

Solution Source

Related Questions