@book{33344,
	author = {CILETTI MICHAEL D},
	title = {ADVANCED DIGITAL DESIGN WITH THE VERILOG},
	year = {2005}
}