@book{183662,
	author = {Ashar, Pranav. and Devadas, Srinivas.},
	title = {Sequential logic synthesis /},
	publisher = {Kluwer Academic Publishers,},
	year = {c1992.},
	address = {Boston :}
}