Surrendra Dudani, Jayant Nagda. High Level Functional Verification Closure. In 20th International Conference on Computer Design (ICCD 2002), VLSI in Computers and Processors, 16-18 September 2002, Freiburg, Germany, Proceedings. pages 91, IEEE Computer Society, 2002. [doi]
Abstract is missing.