Travelled to:2 × USA
Collaborated with:B.Schnaider F.Bacchini R.F.Damiano B.Bentley K.Baty K.Normoyle M.Ishii
Talks about:what (2) softwar (1) hardwar (1) environ (1) develop (1) verif (1) simul (1) doesn (1) work (1)
Person: Einat Yogev
DBLP: Yogev:Einat
Contributed to:
20041996Wrote 2 papers:
- DAC-2004-BacchiniDBBNIY #named #verification #what
- Verification: what works and what doesn’t (FB, RFD, BB, KB, KN, MI, EY), p. 274.
- DAC-1996-SchnaiderY #development #hardware #simulation
- Software Development in a Hardware Simulation Environment (BS, EY), pp. 684–689.