Publications

2 results for Karen Holtz

Ontology-based tools in the service of hardware verification
- - Eyal Bin
  - Alaa Ghanayim
  - et al.
- 2010
- SEKE 2010
Methodology for the verification of a `system on chip'
- - Daniel Geist
  - Giora Biran
  - et al.
- 1999
- DAC 1999