Keywords :
hardware description languages; hardware-software codesign; integrated circuit design; EDA; HILO design language; IC design; Verilog; abstraction hierarchy; codesign; explicit timing information; gate-level descriptions; hardware description languages; register-transfer level;