Some Complexity Results for SystemVerilog Assertions

Doron Bustan, John Havlicek. Some Complexity Results for SystemVerilog Assertions. In Thomas Ball, Robert B. Jones, editors, Computer Aided Verification, 18th International Conference, CAV 2006, Seattle, WA, USA, August 17-20, 2006, Proceedings. Volume 4144 of Lecture Notes in Computer Science, pages 205-218, Springer, 2006. [doi]

Abstract

Abstract is missing.