ESL Design Methodology. (16th July 2012) - Chen, Deming; Choi, Kiyoung; Coussy, Philippe; Xie, Yuan; Zhang, Zhiru