Automating the verification of parameterized hardware using a hybrid tool
Paul Curzon, Sofiène Tahar · 2001
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.