Raimund Ubar, Mihhail Marenkov, Dmitri Mironov, Vladimir Viies. Modeling sequential circuits with shared structurally synthesized BDDs. In 9th International Design and Test Symposium, IDT 2014, Algeries, Algeria, December 16-18, 2014. pages 130-135, IEEE, 2014. [doi]
Abstract is missing.