@inproceedings{ouchani2013formal,
  title         = {A formal verification framework for Bluespec System Verilog},
  author        = {Ouchani, Samir and Mohamed, Otmane Ait and Debbabi, Mourad},
  booktitle     = {Specification \& Design Languages (FDL), 2013 Forum on},
  pages         = {1--7},
  year          = {2013},
  organization  = {IEEE}
}