Raimund Ubar, Sergei Devadze, Jaan Raik, Artur Jutman. Ultra Fast Parallel Fault Analysis on Structurally Synthesized BDDs. In 12th European Test Symposium (ETS 2007), 20 May 2007, Freiburg, Germany. pages 131-136, IEEE Computer Society, 2007. [doi]
Abstract is missing.