 | 2012 |
|---|
| 4 |       | Christopher A. Krygowski,
Eli Almog,
Dean G. Bair,
R. Breil,
G. Dittmann,
Rebecca M. Gott,
William J. Lewis,
A. D. Shah,
Brian W. Thompto:
Key advances in the presilicon functional verification of the IBM zEnterprise microprocessor and storage hierarchy.
IBM Journal of Research and Development 56(1): 13 (2012) |
| 2011 |
|---|
| 3 | | Wisam Kadry,
Ronny Morad,
Alex Goryachev,
Eli Almog,
Christopher A. Krygowski:
Facing the challenge of new design features: an effective verification approach.
DAC 2011: 842-847 |
| 2004 |
|---|
| 2 | | Allon Adir,
Eli Almog,
Laurent Fournier,
Eitan Marcus,
Michal Rimon,
Michael Vinov,
Avi Ziv:
Genesys-Pro: Innovations in Test Program Generation for Functional Processor Verification.
IEEE Design & Test of Computers 21(2): 84-93 (2004) |
| 2001 |
|---|
| 1 | | Eli Almog,
Hadas Shachnai:
Scheduling memory accesses through a shared bus.
Perform. Eval. 46(2-3): 193-218 (2001) |
Data released under the ODC-BY 1.0 license — See also our legal information page