当前位置: 首页 > news >正文

【读书笔记·VLSI电路设计方法解密】问题59:数字电路中的可控性和可观测性是什么

在这里插入图片描述
如问题58所述,测试数字电路最常见的方法是切换电路内部的每个节点并观察相应的效果。这种方法的基础是SAF模型(Stuck-At Fault Model)。然而,在实际应用中,这并不总是容易实现的。在组合逻辑电路中,如果电路的所有输入都已知,内部节点的逻辑状态可以被确定。但对于包含时序元件(如触发器和锁存器)的电路,情况并非如此。某些节点的逻辑状态取决于这些时序元件的先前状态,这导致了可控性可观测性问题。

在可测试性设计中,对于电路中的任何节点,可控性被定义为通过电路的主输入将该节点驱动为1或0的能力。如果该节点能够可靠地被驱动为1和0,则认为它是可控的。可观测性被定义为该节点的逻辑状态能够通过电路的主输出被观察到的能力。如果该节点的逻辑状态能够可靠地被观察到,则认为该节点是可观测的。一个电路节点是否“固定为1”(或“固定为0”)只有在它既可控又可观测的情况下才是可测试的。

图4.21展示了可控性和可观测性的概念。对于一个具有三个输入(A、B和C)和两个输出(Y和Z)的电路模块,当节点B的电势能够通过B的输入逻辑锥从芯片的主输入被拉高或拉低时,它是可控的。当这种切换的结果能够通过Y和Z的输出逻辑锥被芯片的主输出感知时,它是可观测的。
在这里插入图片描述

相关文章:

  • 【deepseek】辅助思考生物学问题:ICImapping构建遗传图谱gap较大
  • 基于RapidOCR与DeepSeek的智能表格转换技术实践
  • 大模型LoRA微调训练原理是什么?
  • 【Pandas】pandas Series sort_index
  • 使用Python的requests库调用API并处理JSON响应的详细步骤
  • 【C++进阶学习】第一讲——继承(下)---深入挖掘继承的奥秘
  • Android更新时区版本-ianaVersion
  • docker-compose部署mongodb副本集集群
  • 介绍一下安装时情况 kubernetes 集群
  • RLHF-GRPO
  • 快速部署:在虚拟机上安装 CentOS 7 的详细步骤
  • css实现元素垂直居中显示的7种方式
  • 23中设计模式之观察者模式
  • 05类加载机制篇(D4_虚拟机类加载机制)
  • 【数据结构】堆(挑战从零基础到进阶)
  • 团队学习—系统思考
  • plt和cv2有不同的图像表示方式和颜色通道顺序
  • c语言笔记 指针进阶
  • 机器学习12-视觉识别任务
  • 【音视频】ffplay简单过滤器