Common Reusable Verification Environment for BCA and RTL Models. - Giuseppe Falconeri; Walid Naifer; Nizar Romdhane (DATE, 2004)