Paper Presented at 2012 CAD Conference