2001 |
2 | | 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:
On the Effective Deployment of Functional Formal Verification.
Formal Methods in System Design 19(1): 35-44 (2001) |
2000 |
1 | EE | Cindy Eisner,
Irit Shitsevalov,
Russ Hoover,
Wayne G. Nation,
Kyle L. Nelson,
Ken Valk:
A methodology for formal design of hardware control with application to cache coherence protocols.
DAC 2000: 724-729 |