搜索：BDD
找到约 3 项符合「BDD」的查询结果
结果 3
https://www.eeworm.com/dl/933413.html
技术资料
一种基于谓词执行优化技术的寄存器分配算法
· 摘要：  对采用谓词执行优化技术后的编译代码,为了更高效地进行寄存器分配,首先介绍了Sias等人提出的一种基于二进制决策图(BDD)的谓词分析系统;然后在其基础上,对传统寄存器分配算法进行改进,给出了一种建立精化干涉图的新算法;最后将算法在学院研制的YHFT-DSP?700芯片的编译器上实现,实 ...
https://www.eeworm.com/dl/897436.html
技术资料
时序电路的等价验证方法及其在FPGA中的应用.rar
随着集成电路设计水平的进步，电路规模日益增大，电路设计的时间越米越多的耗费在电路的验证问题上。传统的基于模拟的验证逐渐不能满足验证的需要，形式验证方法作为传统模拟验证方法的补充成为研究的热点。等价验证可以分为组合电路的等价验证和时序电路的等价验证。组合电路的等价验证算法目前发展比 ...
https://www.eeworm.com/dl/924203.html
技术资料
时序电路的等价验证方法
随着集成电路设计水平的进步，电路规模日益增大，电路设计的时间越米越多的耗费在电路的验证问题上。传统的基于模拟的验证逐渐不能满足验证的需要，形式验证方法作为传统模拟验证方法的补充成为研究的热点。等价验证可以分为组合电路的等价验证和时序电路的等价验证。组合电路的等价验证算法目前发展比 ...