Wilsey, Philip A.Vemuri, RangaAshenden, Peter J.Mause, N.2007-05-162007-05-161996Hardware/Software Co-Design and Co-Verification / Jean-Michel Bergé and Oz Levia and Jacques Rouillard (eds.): ch.7, pp.145-1620792396898http://hdl.handle.net/2440/31400enBook chapter