Publications

2 results for Irit Shitsevalov

On the effective deployment of functional formal verification
- - Yael Abarbanel-Vinov
  - Neta Aizenbud-Reshef
  - et al.
- 2001
- Formal Methods in System Design
Methodology for formal design of hardware control with application to cache coherence protocols
- - Cindy Eisner
  - Irit Shitsevalov
  - et al.
- 2000
- DAC 2000