| 《计算机学报》文章摘要 全文下载 | |
| 文章题目 | 带时间参数布尔函数的符号表示及其在计算电路时间延迟中的应用 |
| 作者 | 赵宇虹 李忠诚 闵应骅 |
| 作者单位 | (中国科学院计算技术研究所CAD开放实验室 北京 100080) |
| 发表年份 | 1997 |
| 发表月份 | 10期 （页码：908—-917) |
| 文章摘要 | 本文提出了一种形式表示带时间参数布尔函数(Timed Boolean Function或TBF)的新方法——带时间参数的二叉判定图(Timed Binary Decision Diag-ram或TBDD),并将其应用于电路时间延迟的准确计算. TBDD是传统布尔函数的符号表示——有序二叉判定图(OBDD)的扩展,可以统一地描述电路的逻辑功能和时间特征.由于采用了有效的压缩和节点共享策略,在典型的应用中,描述电路行为的TBDD的大小是令人满意的.数字电路时间延迟的准确计算对于高性能数字系统的设计和验证十分重要,本文利用TBDD这一有力工具,给出了计算电路最大时间延迟的一种新方法.实验结果表明这种方法是十分有效的. |