Symbolic model checking for sequential circuit verification (1994)

Cached

Download Links

by Jerry R. Burch , Edmund M. Clarke , David E. Long , Kenneth L. McMillan , David L. Dill
Venue:IEEE TRANSACTIONS ON COMPUTER-AIDED DESIGN OF INTEGRATED CIRCUITS AND SYSTEMS
Citations:222 - 10 self