DocumentCode
2447773
Title
Automating the verification of parameterized hardware using a hybrid tool
Author
Curzon, Paul ; Tahar, Sofiene
Author_Institution
Sch. of Comput. Sci., Middlesex Univ., UK
fYear
2001
fDate
29-31 Oct. 2001
Firstpage
257
Lastpage
260
Abstract
We outline how a hybrid formal hardware verification tool that links an interactive theorem prover and an automated hardware verification tool, can verify parameterized circuits containing replicated components. We show that the approach integrates well with the hierarchical proof approach embodied in the hybrid tool.
Keywords
circuit analysis computing; formal verification; theorem proving; automated hardware verification tool; hierarchical proof approach; hybrid formal hardware verification tool; hybrid tool; interactive theorem prover; parameterized circuits; parameterized hardware; replicated components; verification automation; Automation; Circuit simulation; Circuit testing; Concrete; Formal verification; Hardware; Logic design; Microelectronics;
fLanguage
English
Publisher
ieee
Conference_Titel
Microelectronics, 2001. ICM 2001 Proceedings. The 13th International Conference on
Print_ISBN
0-7803-7522-X
Type
conf
DOI
10.1109/ICM.2001.997659
Filename
997659
Link To Document