New methods and coverage metrics for functional verification.

Vasco Jerinic, Jan Langer, Ulrich Heinkel, Dietmar Mller

Browse the full DATE paper archive.