有序二叉判定图(OBDD)相关论文
基于有序二叉判定图（OBDD），提出用结点扩张（NE）算法来评估无线传感网的可靠度和结点重要性。NE算法执行结点扩张操作来处理不可靠结点，从......
随着微电子技术的迅速发展，IC芯片的集成度不断的增大，许多传统的描述电路逻辑功能的方法已不能满足要求。此外，高性能VLSI系统发展迅......
