Masahiro Fujita. Formal Verification of C Language Based VLSI Designs. In 17th International Conference on VLSI Design (VLSI Design 2004), with the 3rd International Conference on Embedded Systems Design, 5-9 January 2004, Mumbai, India. pages 93, IEEE Computer Society, 2004. [doi]
Abstract is missing.