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

Cherif R. Salama, Gregory Malecha, Walid Taha, Jim Grundy, John O'Leary

Browse the full PEPM paper archive.