Functional verification of power gated designs by compositional reasoning
- Cindy Eisner
- Amir Nahir
- et al.
- 2009
- Formal Methods in System Design
Paper
Publications
23 results for Amir Nahir
Using the right amount of monitoring in adaptive load sharing
- David Breitgand
- Rami Cohen
- et al.
- 2007
- ICAC 2007
Conference paperScheduling-based test-case generation for verification of multimedia SoCs
- Amir Nahir
- Avi Ziv
- et al.
- 2006
- DAC 2006
Conference paper