@book{18790,
	author = {Rashinka, Prakash },
	title = {System-On-A-Chip verification},
	publisher = {Kluwer Academic Publishers},
	year = {2001},
	address = {Boston, MA}
}