Timing simulation of digital circuits with binary decision diagrams.

Raimund Ubar, Artur Jutman, Zebo Peng

Browse the full DATE paper archive.