Fast functional simulation using branching programs.

Pranav Ashar, Sharad Malik

Browse the full ICCAD paper archive.