@book{226987,
	author = {Sridhar Gangadharan, Sanjay Churiwala},
	title = {Constraining Designs for Synthesis and Timing Analysis},
	publisher = {Springer New York},
	year = {2013},
	address = {New York}
}