Joseph Jeffrey Finger

• Exploiting constraints in design synthesis