Processor controlpath synthesis by Stephan Berg & Yehudah Berg