TY  - RPRT
TI  - Common Reusable Verification Environment for BCA and RTL Models
AU  - Giuseppe Falconeri
AU  - Walid Naifer
AU  - Nizar Romdhane
PY  - 2007
UR  - https://arxiv.org/abs/0710.4851
ID  - 0710.4851
ER  -