Distributed Binary Decision Diagrams for Verification of Large Circuit.

Prakash Arunachalam, Craig M. Chase, Dinos Moundanos

Browse the full ICCD paper archive.