@book{9539,
	author = {Navabi, Zainalabedin.},
	title = {Verilog digital system design: RT level synthesis, testbench and verification},
	publisher = {McGraw-Hill,},
	year = {c2006.},
	series = {McGraw-Hill electronic engineering},
	address = {New York :},
	edition = {2nd ed.},
	url = {http://www.loc.gov/catdir/enhancements/fy0668/2006271457-d.html}
}