Dmitri Mironov, Raimund Ubar, Jaan Raik. Logic simulation and fault collapsing with shared structurally synthesized bdds. In Giorgio Di Natale, editor, 19th IEEE European Test Symposium, ETS 2014, Paderborn, Germany, May 26-30, 2014. pages 1-2, IEEE, 2014. [doi]
Abstract is missing.