Low-power hardware synthesis from TRS-based specifications | IEEE Conference Publication | IEEE Xplore