Model-based hardware design. - Girish Venkataramani; Kiran Kintali; Sudeepa Prakash; Stephan van Beek (ICCAD, 2013)