Constraint Management and Checking in Template-Based Circuit Designs. - Richard Bartolotti; Tom Burd; Brian McMinn; Arun Chandra (MTV, 2009)