Gaurav Singh Sandeep K. Shukla Low-power hardware synthesis from TRS-based specifications. 49-58 2006 conf/memocode/2006 MEMOCODE http://dx.doi.org/10.1109/MEMCOD.2006.1695900 db/conf/memocode/memocode2006.html#SinghS06