|
|||||
|
|
On the Effective Deployment of Functional Formal Verification |
|
| Authors: | Yael Abarbanel-Vinov Neta Aizenbud-Reshef Ilan Beer Cindy Eisner Daniel Geist Tamir Heyman Iris Reuveni Eran Rippel Irit Shitsevalov Yaron Wolfsthal Tali Yatzkar-Haham |
| Affiliation: | (1) Matam Advanced Technology Center, IBM Haifa Research Laboratory, Haifa, 31905, Israel |
| Abstract: | We examine IBM's exploitation of formal verification using RuleBase—a formal verification tool developed by the IBM Haifa Research Laboratory. The goal of the paper is methodological. We identify an integrated methodology for the deployment of formal verification which involves three complementary modes: architectural verification, block-level verification, and design exploration. |
| Keywords: | formal verification hardware verification model checking |
| 本文献已被 SpringerLink 等数据库收录！ | |