The concept and idea of error diagnosis and correction (EDAC) in formal verification of SOC are reviewed, and two approaches for EDAC, simulation-based approach and symbolic approach, are described in the paper.
英
美
释义
文章首先介绍了SOC形式验证中故障诊断的概念和思想,然后分别讨论了两类故障诊断法:模拟诊断法和符号诊断法。
把海词放在桌面上,查词最方便
触屏版
|
电脑版
©2003 - 2024 海词词典(Dict.cn)
立即下载