Static consistency checking for Verilog wire interconnects - Using dependent types to check the sanity of Verilog descriptions - researchr publication

researchr

You are not signed in
Sign in
Sign up

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. Higher-Order and Symbolic Computation, 24(1-2):81-114, 2011. [doi]

Abstract is missing.

runs on WebDSL