Acknowledgment This work was done in part at University of Illinois, Urbana-Champaign and Yahoo!. We are grateful to MentorGraphics for providing us with floVENT simulator. We are thankful to Arun Sundaresan and Milton Smith for helping us with the necessary approvals at Yahoo!, and our shepherd Erwin Laure for his valuable feedback.