Safe integration of parameterized IP. - Vasco Jerinic; Dietmar Müller 001 (Integr., 2004)

New methods and coverage metrics for functional verification. - Vasco Jerinic; Jan Langer; Ulrich Heinkel; Dietmar Müller 001 (DATE, 2006)