Structurally Synthesized Multiple Input BDDs for Speeding Up Logic-Level Simulation of Digital Circuits.

Dmitri Mironov, Raimund Ubar, Sergei Devadze, Jaan Raik, Artur Jutman

Browse the full DSD paper archive.