Conference paper
Resurrecting infeasible clock-gating functions
Eli Arbel, Cindy Eisner, et al.
DAC 2009
We describe the experience of modeling and formally verifying a software cache algorithm using the model checker RuleBase. Contrary to prevailing wisdom, we used a highly detailed model created directly from the C code itself, rather than a high-level abstract model. © Springer-Verlag 2004.
Eli Arbel, Cindy Eisner, et al.
DAC 2009
Cindy Eisner, Dana Fisman, et al.
ACM TOCL
Yael Abarbanel-Vinov, Neta Aizenbud-Reshef, et al.
Formal Methods in System Design
Ilan Beer, Shoham Ben-David, et al.
Formal Methods in System Design