A Bitwidth-aware HDL Extension. - Manfred Mücke; Guido Hafeli (FDL, 2006)