Irit Shitsevalov

On the Effective Deployment of Functional Formal Verification

Ilan Beer, Cindy Eisner, Daniel Geist, 2001, Formal Methods Syst. Des..

A methodology for formal design of hardware control with application to cache coherence protocols

Cindy Eisner, Wayne G. Nation, Kenneth M. Valk, 2000, Proceedings 37th Design Automation Conference.