DMCA

A performance study of BDD-based model checking (1998)

by Bwolen Yang , Randal E. Bryant , David R. O'Hallaron , Armin Biere , Olivier Coudert , Geert Janssen , Rajeev K. Ranjan , Fabio Somenzi
Venue:IN PROCEEDINGS OF THE FORMAL METHODS ON COMPUTER-AIDED DESIGN
Citations:50 - 5 self