ROBDD相关论文
提出一种基于 ROBDD图和时延差的组合电路门级平均功耗估算算法 ,该算法适用于单位延迟模型和一般的延迟模型 .算法用时匀质 Marko......
逻辑电路既可以用基于“与/或/非”的传统布尔逻辑(TB逻辑)来实现,也可以用基于“与/异或”的Reed-Muller逻辑(RM逻辑)来实现,如何......
不良的ROBDD变量排序会引发状态空间爆炸的危机，从而影响形式验证方法的推广和使用。通过对CUDD数据包中ROBDD遗传变量排序算法的研......
模型检验是一种重要的形式化自动验证技术.检验一个模型是否满足LTL公式,可以把LTL公式转换为一个表示相同无穷状态序列的ω自动机......
The properties of the paths in an ROBDD representation of a Boolean function are presented and proved in the present pap......
FPGA的EDA支持软件主要包含逻辑综合、技术映射、布局、布线、仿真等几个部分，技术映射是其中最重要的步骤之一，直接影响着最终电路......
