@book{5616,
	author = {Hill, Dwight D. and Coelho, David R.},
	title = {Multi-level simulation for VLSI design},
	publisher = {Kluwer Academic Publishers},
	year = {1997},
	series = {The Kluwer international series in engineering and computer science},
	address = {Boston}
}