| 符号模拟 |
| |
| 引用本文： | 闫 炜,吴尽昭,高新岩.符号模拟[J].计算机工程,2007,33(20):27-29,3. |
| |
| 作者姓名： | 闫 炜 吴尽昭 高新岩 |
| |
| 作者单位： | 中国科学院成都计算机应用研究所,成都,610041;中国科学院成都计算机应用研究所,成都,610041;中国科学院成都计算机应用研究所,成都,610041 |
| |
| 基金项目： | 国家自然科学基金
,
国家重点基础研究发展计划(973计划) |
| |
| 摘 要： | 符号模拟将模拟验证从布尔值扩展到符号领域，是集成电路验证行业中的重要分支。符号方法将符号值加到待验证电路的基本输入端，依次计算每个结点的布尔函数，直到在电路的输出端得到由这些初始符号变量组成的布尔表达式，并判断其是否具有所期望的特征。该文介绍了符号模拟的发展过程、基本技术及其所面临的BDD爆炸问题，并对消除该问题的两种技术：近似值法和参数方法，进行了讨论。介绍了具有一定自动机处理能力的符号轨迹评价方法。
|
| 关 键 词： | 符号模拟 近似值 参数方法 符号轨迹评价方法 |
| 文章编号： | 1000-3428（2007）20-0027-03 |
| 修稿时间： | 2006-12-26 |
Symbolic Simulation |
| |
| YAN Wei,WU Jin-zhao,GAO Xin-yan.Symbolic Simulation[J].Computer Engineering,2007,33(20):27-29,3. |
| |
| Authors: | YAN Wei WU Jin-zhao GAO Xin-yan |
| |
| Affiliation: | Chengdu Institute of Computer Applications, Chinese Academy of Sciences, Chengdu 610041 |
| |
| Abstract: | Symbolic simulator assigns symbolic variables to the inputs of both specification and implementation,propagates those to the outputs,builds the symbolic expressions for both circuits,and checks the corresponding signals.The paper introduces the history,basic technology,and the drawback of BDD blowup of symbolic simulation.The two techniques,approximate value method and parametric method,which are used to eliminate the BDD blowup problem,and symbolic trajectory evaluation(STE) is also introduced. |
| |
| Keywords: | symbolic simulation approximate value parametric method symbolic trajectory evaluation |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
| 点击此处可从《计算机工程》浏览原始摘要信息 |
|
点击此处可从《计算机工程》下载全文 |
|
