" Low power hardware synthesis from concurrent action-oriented specifications / " Gaurav Singh, Sandeep K. Shukla.