T. Hopes: Hardware/software co-verification, an IP vendors viewpoint. ICCD 1998: 242-246