符号模拟相关论文
在工业界,大多数的硬件设计验证都是采用基于RTL级或者门级的逻辑模拟验证的方法.传统的逻辑模拟验证方法的优点在于它的准确性,而......
学位
由于半导体制造工艺的进步，ＩＣ设计的规模越来越大，越来越复杂，对传统的模拟验证提出了严峻的挑战。形式验证采用数学方法来验证设计的正......
该论文开发出一个用于模拟电路分析验证及优化的交互式环境.整个符号分析程序的结构框架与数值模拟软件SPICE相似,通过对输入电路......
给出了一组从Verilog HDL到可符号执行代码的转换规则，并且提出了ProcessQueue机制。通过运用符号模拟的方法和二叉决策图技术，给出......
文章分析了目前常用的等价性检验方法的特点,包括功能性和结构性的验证方法;讨论了基于二叉判决图(BDD)的组合电路等价性检验方法,......
Automatic Virtual Entity Simulation of Conceptual Design Results--Part II： Symbolic Scheme Simulatio
The development of new products of high quality, low unit cost, and short lead time to market are the key elements requi......
利用人工智能最新研究成果--约束逻辑编程对Verilog描述进行谓词抽象,并与目前基于SAT的方法进行了比较.首先通过符号模拟建立Veri......
【正】 我认为标记符号发展趋势是:一、配号以延展为主,层累为辅。知识体系的层累关系一直是由正附表类目的字形和缩格来体现的,不......
错误诊断是在逻辑芯片中预测潜在错误点的过程。为了快速有效地诊断电路中的错误，提出一种将符号模拟技术应用到基于区域模型的错误......
文章系统阐述了符号模拟方法的基本思想、实现过程，并与数值模拟方法进行了比较。...
针对SAT算法中回溯次数较多的问题,采用基于符号模拟和变量划分的方法来解决其不足。基于符号模拟和变量划分的SAT算法将一个较大......
针对近年来SoC领域的工作,首先分析了高层等价性检验的难点;然后从算法类型归类角度对各种高层等价性检验方法进行了概述评论,同时......
回 回 产卜爹仇贱回——回 日E回。”。回祖 一回“。回干 肉果幻中 N_。NH lP7-ewwe--一”＄ MN。W;- __._——————》 砧叫]们......
符号模拟将模拟验证从布尔值扩展到符号领域,是集成电路验证行业中的重要分支。符号方法将符号值加到待验证电路的基本输入端,依次......
