Controller synthesis for application specific integrated circuits - Zahir, Rumi (Series in microelectronics, 1991)