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.