基于信号流可达性的数模混合电路可测性分析方法

本发明公开了一种基于信号流可达性的数模混合电路可测性分析方法，生成数模混合电路的有向依赖图并采用数字通路深层敏化算法对有向依赖图进行深层敏化，得到各个数字电源高低组合下的敏化有向图，对于每个敏化有向图，断开其受控受阻MOS集中各个MOS的栅极边，然后从所得到的敏化有向图中识别出极大强连通块，将每个极大强连通块替换为一个SCC缩点，从而得到SCC缩点有向图；在每个数字电源高低组合的SCC缩点有向图中搜索得到每个极大强连通块的不可达极大强连通块集合，测点根据其所属极大强连通块的不可达极大强连通块集合得到对应的部分不可测缺陷集合。本发明可以减少后续实际所需的仿真缺陷数量，加快数模混合电路的仿真速度，降低整体测试成本。