Application of synthesis to support hardware emulation. - Huy Nam Nguyen; Yvon Gressus; Michel D'Hoe (RSP, 1995)