Distributed Binary Decision Diagrams for Verification of Large Circuit

• Authors:

• Prakash Arunachalam;Craig M. Chase;Dinos Moundanos

• Affiliations:

• -;-;-

• Venue:
• ICCD '96 Proceedings of the 1996 International Conference on Computer Design, VLSI in Computers and Processors
• Year:
• 1996