Dmitri Mironov, Raimund Ubar, Sergei Devadze, Jaan Raik, Artur Jutman. Structurally Synthesized Multiple Input BDDs for Speeding Up Logic-Level Simulation of Digital Circuits. In Sebastián López, editor, 13th Euromicro Conference on Digital System Design, Architectures, Methods and Tools, DSD 2010, 1-3 September 2010, Lille, France. pages 658-663, IEEE, 2010. [doi]
Abstract is missing.