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
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;
Conference_Titel :
Microelectronics, 2001. ICM 2001 Proceedings. The 13th International Conference on
Print_ISBN :
0-7803-7522-X
DOI :
10.1109/ICM.2001.997659
