@book{151755,
	author = { Andrews (Jason.R)},
	title = {Coverification of Hardware and Software for ARM SOC Design },
	publisher = { ELSEVIER },
	address = {N.Y.}
}