Author:
Chakrabarti I.,Sarkar D.,Majumdar A. K.
Publisher
Springer Science and Business Media LLC
Subject
Artificial Intelligence,Computational Theory and Mathematics,Software
Reference17 articles.
1. Gupta, A.: Formal hardware verification methods: A survey. Technical Report CMU-CS-91-193, Carnegie Mellon University, October 1988.
2. Browne, M. C., Clarke, E. M., Dill, D. L. and Mishra, B.: Automatic verification of sequential circuits using temporal logic,IEEE Transactions on Computers 35(12) (December 1986), 1035?1044.
3. Dill, D. L. and Clarke, E. M.: Automatic verification of asynchronous circuits using temporal logic,IEE Proc. 133(5) (September 1986), 276?282.
4. Wilsey, P. A. and Dasgupta, S.: A formal model of computer architectures for digital system design environment,IEEE Trans. Computer-Aided Design 9(5) (May 1990), 473?486.
5. Kohavi, Z.:Switching and Finite Automata Theory, Tata-McGraw-Hill Publishing Company, 1978.