A methodology for formal design of hardware control with application to cache coherence protocols. - Cindy Eisner; Irit Shitsevalov; Russ Hoover; Wayne G. Nation; Kyle L. Nelson; Ken Valk (DAC, 2000)

On the Effective Deployment of Functional Formal Verification. - 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 (Formal Methods Syst. Des., 2001)