Static consistency checking for verilog wire interconnects: using dependent types to check the sanity of verilog descriptions.

Cherif Salama Gregory Malecha Walid Taha Jim Grundy John O'Leary Static consistency checking for verilog wire interconnects: using dependent types to check the sanity of verilog descriptions. 121-130 2009 PEPM http://doi.acm.org/10.1145/1480945.1480963 conf/pepm/2009 db/conf/pepm/pepm2009.html#SalamaMTGO09