VLIW - A case study of parallelism verification
- Allon Adir
- Yaron Arbetman
- et al.
- 2005
- DAC 2005
Publications
Date
Featured collections
Popular topics
9 results for Yossi Lichtenstein
Industrial experience with test generation languages for processor verification
- Michael Behm
- John Ludden
- et al.
- 2004
- DAC 2004
Test program generation for functional verification of PowerPC processors in IBM
- Aharon Aharon
- Dave Goodman
- et al.
- 1995
- DAC 1995
Looking for the locus of innovation in new service development
- Iris Ginzburg
- Allen Higgins
- et al.
- 2007
- HICSS 2007
Addressing test generation challenges for configurable processor verification
- M. Rimon
- Yossi Lichtenstein
- et al.
- 2006
- HLDVT 2006
Reuse in system-level stimuli-generation
- Yoav Katz
- Itai Jaeger
- et al.
- 2005
- HLDVT 2005
ORGANIZATIONAL CONTROL SYSTEMS AND SOFTWARE QUALITY: A CROSS-NATIONAL STUDY
- Sanjay Gosain
- David P. Darcy
- et al.
- 2003
- AIS-ICIS 2003
Testing concurrent programs:A formal evaluation of coverage criteria
- Michael Factor
- Eitan Farchi
- et al.
- 1996
- Israel ICCSSE 1996
Model based test generation for processor verification
- Yossi Lichtenstein
- Yossi Malka
- et al.
- 1994
- IAAI 1994