@book{23038,
	author = {Bergeron, Janick},
	title = {Writing testbenches},
	publisher = {Kluwer Academic},
	year = {2000},
	address = {Boston}
}