Distributed Binary Decision Diagrams for Verification of Large Circuit.

Prakash Arunachalam Craig M. Chase Dinos Moundanos

Published in: ICCD (1996)

Keyphrases

binary decision diagrams
model checking
symbolic model checking
distributed systems
boolean functions
distributed environment
high speed
databases
database systems
temporal logic
artificial intelligence
model checker