Title Static Consistency Checking for Verilog Wire Interconnects : Using dependent types to check the sanity of verilog descriptions
From CERES
A list of all pages that have property "Title" with value "Static Consistency Checking for Verilog Wire Interconnects : Using dependent types to check the sanity of verilog descriptions"
- Publications:Static Consistency Checking for Verilog Wire Interconnects : Using dependent types to check the sanity of verilog descriptions +