TY  - RPRT
TI  - Verification and Diagnosis Infrastructure of SoC HDL-model
AU  - Vladimir Hahanov
AU  - Wajeb Gharibi
AU  - Eugenia Litvinova
AU  - Svetlana Chumachenko
PY  - 2012
UR  - https://arxiv.org/abs/1203.0665
ID  - 1203.0665
ER  -