roBDD相关论文
研究了细颗粒动态污点分析的瓶颈所在,提出一种基于roBDD的细颗粒度离线污点分析方法。实验结果表明该方法能够显著提高细颗粒度污......
提出一种基于 ROBDD图和时延差的组合电路门级平均功耗估算算法 ,该算法适用于单位延迟模型和一般的延迟模型 .算法用时匀质 Marko......
逻辑电路既可以用基于“与/或/非”的传统布尔逻辑(TB逻辑)来实现,也可以用基于“与/异或”的Reed-Muller逻辑(RM逻辑)来实现,如何......
This paper describes a new BDD(Binary Decision Diagram) that use SCOAP value for its path. Based on analysis of BDD and ......
不良的ROBDD变量排序会引发状态空间爆炸的危机,从而影响形式验证方法的推广和使用。通过对CUDD数据包中ROBDD遗传变量排序算法的研......
模型检验是一种重要的形式化自动验证技术.检验一个模型是否满足LTL公式,可以把LTL公式转换为一个表示相同无穷状态序列的ω自动机......
研究了细颗粒动态污点分析的瓶颈所在,提出一种基于roBDD的细颗粒度离线污点分析方法。实验结果表明该方法能够显著提高细颗粒度污......
The properties of the paths in an ROBDD representation of a Boolean function are presented and proved in the present pap......
提出一种基于ROBDD图和时延差的组合电路门级平均功耗估算算法,该算法适用于单位延迟模型和一般的延迟模型。算法用时匀质Markov链......