Formal verification in hardware design: a survey
ACM Transactions on Design Automation of Electronic Systems (TODAES)
A Light-Weight Framework for Hardware Verification
TACAS '99 Proceedings of the 5th International Conference on Tools and Algorithms for Construction and Analysis of Systems
An approach to hierarchy model checking via evaluating CTL hierarchically
ATS '95 Proceedings of the 4th Asian Test Symposium
| Hi-index | 0.00 |