Software Development in a Hardware Simulation Environment. - Benny Schnaider; Einat Yogev (DAC, 1996)

Verification: what works and what doesn't. - Francine Bacchini; Robert F. Damiano; Bob Bentley; Kurt Baty; Kevin Normoyle; Makoto Ishii; Einat Yogev (DAC, 2004)