Elena Milner, Eilon Barnea, et al.
Molecular and Cellular Proteomics
Paper
On the effective deployment of functional formal verification
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.
Related
Eilon Barnea, Ilan Beer, et al.
ASMS Conference on Mass Spectrometry and Allied Topics 2002
Lilach Ben Dror, Eilon Barnea, et al.
Arthritis and Rheumatism
Ilan Beer, Shoham Ben-David, et al.
Formal Methods in System Design