Efficient Single-Pattern Fault Simulation on Structurally Synthesized BDDs.

Jaan Raik, Raimund Ubar, Sergei Devadze, Artur Jutman

Browse the full EDCC paper archive.