Vasco Jerinic, Jan Langer, Ulrich Heinkel, Dietmar Müller. New methods and coverage metrics for functional verification. In Georges G. E. Gielen, editor, Proceedings of the Conference on Design, Automation and Test in Europe, DATE 2006, Munich, Germany, March 6-10, 2006. pages 1025-1030, European Design and Automation Association, Leuven, Belgium, 2006. [doi]
Abstract is missing.