SoC HDL 模型的验证与诊断基础设施
其他计算机科学
2012-03-06 v1
摘要
本文描述了一种基于事务图诊断 SoC HDL 模型的技术。该诊断方法旨在通过构建以测试、监视器和功能组件形式呈现的三元关系，显著减少故障检测时间和诊断矩阵的存储内存。解决了以下问题：创建以事务图形式表示的数字系统模型和故障检测表的多叉树，以及相对于选定的监视器集用于在测试中激活功能组件的三元矩阵；开发一种分析激活矩阵以检测给定深度故障的方法，并为后续嵌入式硬件故障诊断综合逻辑函数。
引用
@article{arxiv.1203.0665,
title = {Verification and Diagnosis Infrastructure of SoC HDL-model},
author = {Vladimir Hahanov and Wajeb Gharibi and Eugenia Litvinova and Svetlana Chumachenko},
journal= {arXiv preprint arXiv:1203.0665},
year = {2012}
}
备注
7 pages; International Conference on VLSI, MEMS and NEMS, VMN-2012, 24th - 25th January 2012, Noidar, Uttar, Paradesh, India