Timing simulation of digital circuits with binary decision diagrams

Raimund Ubar, Artur Jutman, Zebo Peng. Timing simulation of digital circuits with binary decision diagrams. In DATE. pages 460-466, 2001. [doi]

Abstract

Abstract is missing.