Conference paper
Facilitating timing debug by logic path correspondence
Oshri Adler, Eli Arbel, et al.
DATE 2014
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.
Oshri Adler, Eli Arbel, et al.
DATE 2014
Michal Bassani-Sternberg, Eilon Barnea, et al.
PNAS
Ilan Beer, Shoham Ben-David, et al.
Formal Methods in System Design
Ilan Beer, Shoham Ben-David, et al.
Formal Methods in System Design