A Mechanised, Bidirectional Type System for Bit-Width Determination in SystemVerilog.

Gabriel Desfrene, Quentin Corradi, Michalis Pardalos, John Wickerson

Browse the full CAV paper archive.