Formal verification of C language based VLSI designs | IEEE Conference Publication | IEEE Xplore