Extending the model-based approach to functional verification of address translation mechanisms
- Allon Adir
- Laurent Fournier
- et al.
- 2006
- HLDVT 2006
Publications
Date
Featured collections
Popular topics
18 results for Yoav Katz
Constraint-based random stimuli generation for hardware verification
- Yehuda Naveli
- Michal Rimon
- et al.
- 2006
- AAAI/IAAI 2006
Reuse in system-level stimuli-generation
- Yoav Katz
- Itai Jaeger
- et al.
- 2005
- HLDVT 2005
Quality improvement methods for system-level stimuli generation
- Roy Emek
- Itai Jaeger
- et al.
- 2004
- ICCD 2004
DeepTrans - A model-based approach to functional verification of address translation mechanisms
- A. Adir
- R. Emek
- et al.
- 2003
- MTV 2003
Throughput maximization of real-time scheduling with batching
- Amotz Bar-Noy
- Sudipto Guha
- et al.
- 2002
- SODA 2002
Throughput maximization of real-time scheduling with batching
- Amotz Bar-Noy
- Sudipto Guha
- et al.
- 2009
- ACM Transactions on Algorithms
Constraint-based random stimuli generation for hardware verification
- Yehuda Naveh
- Michal Rimon
- et al.
- 2007
- AI Magazine