Formal Verification of Hardware Design

HAN Jungang. Formal Verification of Hardware DesignJ. Journal of Computer Research and Development, 1991, 28(11): 59-62.

Citation:

HAN Jungang. Formal Verification of Hardware DesignJ. Journal of Computer Research and Development, 1991, 28(11): 59-62.

Citation:

HAN Jungang. Formal Verification of Hardware DesignJ. Journal of Computer Research and Development, 1991, 28(11): 59-62.

Abstract

This paper gives an introduction to the formal verification technique for hardware designs.Its important results,main methodology and prospect of development are also discussed.

FullText(HTML)

Turn off MathJax

Article Contents

Export File