二元判决图相关论文
针对数字电路的测试两大难点,采用二元判决图(BDD) 表示数字电路模型,同时由BDD生成测试矢量来完成数字电路的功能测试.在由VHDL描......
数字电路的可靠性有着至关重要的影响,测试是其重要保证,测试向量的自动生成（ATPG）在数字电路的测试中占有重要地位;逻辑表达式图（Boo......
在已有结果的基础上,提出了一种利用二元判决图计算网络可靠度的方法.该方法将网络的最小路集用二元判决图来表示,并得到最小路集......
近年来，由于电路规模不断增大和电路功能日趋复杂，使得大规模集成电路的设计很难保证逻辑设计的正确无误。为了设计和建立高可靠性的......
