@book{579457,
	author = {Levia, Oz Rauillard, Jacques Berge, Jean Michel},
	title = {Hardware software co-design and co-verification},
	publisher = {KLUWER},
	year = {1997},
	address = {BOSTON}
}