Design of Processor Accelerators with Constraints