Number | Name | Date | Kind |
---|---|---|---|
5452239 | Dai et al. | Sep 1995 | A |
5528508 | Russell et al. | Jun 1996 | A |
Entry |
---|
Affirma FormalCheck model checker, Cadence Design Systems, Inc., Apr. 1999. |
Coverage Estimation for Symbolic Model Checking, Y. Hoskote, T. Kam, P. Ho and X. Zhao, Proceeding of the 36th Design Automation Conference, New Orleans, Louisiana, Jun. 21, 1999. |