2 × USA
B.Schnaider F.Bacchini R.F.Damiano B.Bentley K.Baty K.Normoyle M.Ishii
what (2) softwar (1) hardwar (1) environ (1) develop (1) verif (1) simul (1) doesn (1) work (1)
Person: Einat Yogev
Wrote 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.