@misc{indiciaebfc3f10cd430,
  title = {Verification and Diagnosis Infrastructure of SoC HDL-model},
  author = {Vladimir Hahanov and Wajeb Gharibi and Eugenia Litvinova and Svetlana Chumachenko},
  year = {2012},
  url = {https://arxiv.org/abs/1203.0665},
  note = {Source identifier: 1203.0665}
}