Logic simulation and fault collapsing with shared structurally synthesized bdds.

Dmitri Mironov, Raimund Ubar, Jaan Raik

Browse the full ETS paper archive.