A new SAT-based algorithm for symbolic trajectory evaluation (2005)

Cached

Download Links

by Jan-willem Roorda , Koen Claessen
Venue:In Correct Hardware Design and Verification Methods (CHARME
Citations:8 - 3 self