A System-Level Co-Verification Environment for ATM Hardware Design.

Guido Post, Andrea Mller, Thorsten Grtker

Browse the full DATE paper archive.