ESL design with RTL-verified predesigned abstract communication channels. - Hamed Najafi Haghi; Mikhail M. Chupilko; Alexander S. Kamkin; Zainalabedin Navabi (EWDTS, 2016)