Janak H. Patel;Michael Shaun Hsiao
-;-
Effective safety property checking using simulation-based sequential ATPG
Proceedings of the 39th annual Design Automation Conference