Low power hardware synthesis from concurrent action-oriented specifications | lit.salon