Simulation Guided Formal Verification with “River Fishing” Techniques Author(s): Bathri Narayanan Subramanian, Ping Yeung Download
