@misc{indiciaed6ab9ddfb4e4,
  title = {Common Reusable Verification Environment for BCA and RTL Models},
  author = {Giuseppe Falconeri and Walid Naifer and Nizar Romdhane},
  year = {2007},
  url = {https://arxiv.org/abs/0710.4851},
  note = {Source identifier: 0710.4851}
}