Nikhil Kikkeri, Peter-Michael Seidel. Formal Hardware Verification based on Signal Correlation Properties. In 22nd IEEE International Conference on Computer Design: VLSI in Computers & Processors (ICCD 2004), 11-13 October 2004, San Jose, CA, USA, Proceedings. pages 402-408, IEEE Computer Society, 2004. [doi]
Abstract is missing.