符号模拟电路中的错误诊断设计方法_论文

发布时间:2021-12-01 05:01:15

表贴   面 装叠 逭 电 骂窿   罩 路l ; 蓑 符 号 模 拟 电路 中 的  错 误 诊 断 设 计 方 法  符号模 拟 电路 中 的错误 诊 断设 计 方法  错误 诊 断是 集成 电路 验证 后 期一 个 非常 重要 的 阶段 ,   它 帮助 设计 者 在一 个 错误 芯 片 中预 i 错 误 点 , 因此 可 以减  P , 9 轻 整个调 试 过 程 中的 工作 量 。经 过许 多 年 的研 究 工作 ,组  合 电路 的错 误诊 断 正趋 于 成熟 和 实 用化 。这 些 方 法主 要 分  在此 ,将 规范 和 实现分 别表 示 为C1 和C2,其 中实现 表  示 为一 个 组 合 的 门级 电路 。规范 和实 现 的 主 要输 入 ( ) PI 信  号 都 表示 为{1 2 X ,× ,… ,x , 中 m 示 主要 输入 的个  m) 其 表 数 。 规 范 和 实 现 的 主 要 输 出 ( O 信 号 分 别 表 示 为  P ) {1 S ,S ,… ,S } 2 n 和… ,I 2,…I } n ,其 中n 示 主 要 输 出  表 为两 类 :基 于 模拟 的 方法 和符 号 方法 。 基于 模 拟 的方 法 在  每 个错误 向量对 电路 的模 拟 中 ,通过 过 滤掉 非 错误 点 而使  的 个 数 。 另 外 , 假 设 预 先 生 成 的 测 试 向 量 集 合 为  T { 1 2, … ,v } = V ,v l。   含 有 错误 点 的 区域逐 渐 被 限定 下 来 。符号 方 法 不用 明确 列  举错 误 向量 ,而是 主要 依 赖 于二 叉决 策 图BDD,并 提 出 错  误 源 定位 的充 分必要 条件 。依 据 此充 分 必要 条 件 ,可 直 接  定 位 错误 点 。该 方 法 由于 使用 B 技 术 ,因而 存在 内存爆  DD 炸 的 隐患 。   B p aa o p n 为错误 诊 断提 出 了一 个概 括 的基 于 区域 的模  定义1 s ,l 称为一个输 出对 ,其 中1 ≤n  ( i 啉皮 ≤i 。 定 义2如 果存 在 一 个输 入 测试 向 量V ,使得 V 对规 范 和  实现 电路 分 别进行 模拟 时 ,实现 电路 的输 出I 规范 中相 对  i 与 应 的 输 出Sij 不 同 , 称 I 错 误 输 出 或 不 匹 配 输 出 ,  ̄ l值 ' t , i 为   ( ,I为不 匹配输 出对 。 Si i )   定 义3如 果一 个输 入 向 量能 使 任何 输 出对 之 间产 生 不  匹配 现象 ,则称 该输 入 向量 为错误输 入 向量 。   定 义4对 一 个不 匹配 输 出l i 的处 理 涉 及 到 这 样 一 个机  型 ,该模 型 可 以被扩 展 来定 位 多 错误 ,并且 可 以用 于 解决  时序 电路 的错 误 诊 断 。S iYuHu n 提 出 了利 用 符 号 模  h—   a g 拟 来优 化 拜 占庭式 错误 诊 断 的过 程 。B p a a 绍 了一 个  o p n介 基 于 Xi s 拟 的诊 断 算 法 。N.Sih   出 一 种诊 断 技  lt模 s  d a提 r r 术 ,它通 过可 区分 的X 来消 减 错 误 候 选 者 区域 。李 光 辉 介  绍 了基 于验 证 技术 的 错误 诊 断方 法 ,该 方 法将 三 值模 拟 与  S T 术相 结合 ,以消 减错 误空 间 ,提 高诊 断结 果 。 A技   在此 ,提 出一种 利用 符号 模 拟技 术来 优 化基 于 区域 模  型 错误 诊 断过 程 的方 法 。该 方法 首 先使 用 基于 区 域模 型 错  误 诊 断 方 法 中电路 划 分方 法 对所 要诊 断 的 电路 进 行 区域 划  制 ,即对 实现 中某些 信号 注入 二进 制值可 以使 l勺 l 响应 同规  6 范 中与它 相对应 的输 出响应相 同 。   错 误诊 断 是基 于一 个被 称 为可 治愈 性 的概 念进 行 的 。   在搜 索错 误 候选 者 的过 程 中 ,为 了对 每 个信 号 的可 疑度 进  行 等 级排 序 ,需 要对 每 个信 号 进行 两 方面 的测 量 :可治 疗  的输 出数 和可治 疗 的向量数 。   定 义5 设实 现 电路在 错误 输入 向量V 假 ,的模拟 下 ,第  分 ,然 后在 其基 础 上 利用 符号 模 拟技 术 并使 用 两 个测 量 标  i 个主 要 输 出是 不 匹配 输 出 。令 A 一 个 有 着 k 输 出 是 个   { 1 2,… ,a l 区 域 。如 果 在 主 要 输 出I 的 不 匹 配  a ,a k的 i 处 准对各个区域的可疑度进行等级排序 。可疑度越高的区域  包含 错误 点 的 可能 性越 大 。 由于 使 用符 号模 拟 技 术 ,不 需  要 对 向 量空 间进 行 明确 列 举 ,因而所 提 出 的方 法 在 时间 上  可 以通过 在 {1 2 a ,a ,…a } 个 注入 组 合来 修 正 ,则称  k的一 I 在V 模 拟 下 区域 A 一 个可 治 疗 输 出 ,用符 号 表 示 为  j 足 的 的 l ∈r gi n C   i e o Ur abl e — — 是有效的。   o tu( up tA,V。 )   该 定义 说 明 了可 以通过 对 一个 区域 输 出进 行处 理 来纠  1定 义  正C 中出现 的不匹配输 出。这里处理的方法是在区域输 出 2   。 CI PC. C0H . 隧疆圃同珊硼 l CN  —   也 毫 路蓑  1路与   【 点 注入 某 些 二进 制值 。 由经验 可 知 ,一 个 区域 的 可 治疗 输 

相关文档

  • 基于符号分析的模拟电路故障诊断方法及实现
  • 模拟电路故障诊断方法设计及虚拟维修过程
  • 标志设计中错视艺术图形应用论文
  • 符号分析法在模拟电路可测度计算中的应用
  • 一种新的编码方法解决路径规划问题
  • 智能规划中的动作互斥编码方式研究
  • 标志设计中正负形的创意与表现方法
  • 书法艺术在现代标志设计中应用论文
  • 符号学在建筑环境艺术设计中的应用
  • 猜你喜欢

  • 2016-2017学年高中物理 17.1 能量量子化 新人教版选修3-5
  • 36期教您看化验单
  • 文秘知识-超简单的辞职信模板 精品
  • 重庆市大学城第一中学校高中数学培优补差练*5 理(无答案)
  • 七年级数学上册第4章几何图形初步单元综合测试题新版新人教版
  • 以《罗辑思维》为例探讨自媒体的盈利模式
  • 科技文献综述竞赛.doc
  • 云南省2018年保育员三级能力考试试题试卷及解析
  • 高二地理必修三第一章知识点
  • 高低温冲击试验箱
  • 取汉字拼音首字符的Function
  • 泽维尔大学与西佛罗里达大学本开萄е柿慷员
  • 二年级作文:小猫作文350字
  • 关于“学习方法的重要性”名言有哪些
  • 高中数学教学案例设计
  • gcc将c源文件中的宏展开
  • 2020年情况掩护工作总结范文
  • 电脑显示器屏幕偏右怎么办
  • 贾青个人资料介绍大全
  • 余干县中盛物业管理有限公司企业信用报告-天眼查
  • 闲笔—提高新闻审美价值的艺术
  • 滑板车简笔画怎么画
  • Possible Competing Order-Induced Fermi Arcs in Cuprate Superconductors
  • 2012苏州市幼儿园保育教育收费标准
  • 大数据职位画像看看你是不是白混了贼多年【指导意义】
  • 软考总结--PERT图
  • Spark core中的cache、persist区别,以及缓存级别详解
  • 市第六人民医院急性传染病负压病房改造工程设计
  • 必修四1.2角的概念的推广-ppt课件图文
  • 高中历史 第一单元 古代东方 第1课《古代两河流域》教案 华东师大版第一册
  • 2018秋人教版(山西)七年级英语上册课件:Unit 7 How much are these socks Section A (grammar focus-3c
  • 苹果6听筒声音小了怎么调
  • 服装行业最新执行标准
  • 【精编范文】开学典礼上的演讲稿-word范文 (2页)
  • 对生态农业观光园规划的相关思考
  • 60例腹部闭合性损伤的外科救治体会
  • 人教版二年级上册道德与法制第16课--家乡新变化ppt优质课件
  • 关于我的妈妈作文200字
  • 万豪酒店房务部筹开培训计划
  • 不等式的证明(7)
  • 频度副词用法
  • 绥中县塔山镇高氏推拿理疗馆企业信息报告-天眼查
  • 电脑版