Concurrent generation of concurrent programs for post-silicon validation
- Allon Adir
- Amir Nahir
- et al.
- 2012
- IEEE TCADIS
Publications
Date
Featured collections
Popular topics
23 results for Amir Nahir
On cost-aware monitoring for self-adaptive load sharing
- David Breitgand
- Rami Cohen
- et al.
- 2010
- IEEE J-SAC
Functional verification of power gated designs by compositional reasoning
- Cindy Eisner
- Amir Nahir
- et al.
- 2009
- Formal Methods in System Design