@book{165414,
	author = {Srinivas Devadas [et al]},
	title = {Logic Synthesis},
	publisher = {#VALUE!},
	year = {1994},
	edition = {1st},
	note = {TRANSFERED}
}