搜索筛选:
搜索耗时1.6039秒,为你在为你在102,285,761篇论文里面共找到 5 篇相符的论文内容
发布年度:
[学位论文] 作者:刘领一,
来源:中国科学院计算技术研究所 年份:2007
在芯片的设计流程中,一般采用多种验证手段来确保芯片的正确性,包括功能验证,时序验证,测试验证等.其中最耗时的当推是功能验证,它主要是芯片流片之前,通过对芯片的软件模型...
[会议论文] 作者:赵阳,刘领一,李晓维,
来源:第四届中国测试学术会议 年份:2006
前像计算是无界模型检验中的一个基本问题.本文提出了一种新的基于二叉判定图(BDD)启发策略的门级电路前像计算方法.这种方法发崛和利用无关解子空间之间的组合,避免了重复搜索.由于使用了BDD来引导搜索过程,这种方法可以减少搜索中的冲突.同时,利用hash表记录......
[期刊论文] 作者:刘领一,赵阳,吕涛,李华伟,李晓维,,
来源:计算机辅助设计与图形学学报 年份:2007
提出一种无界模型检验的前像计算方法,该方法有效地结合ATPG和SAT引擎,充分利用引擎各自的优点.SAT用来判断是否已经穷尽所有解;每次SAT枚举出一个前像解后,采用一个专门的ATPG过程减少状态变量上的赋值,从而减少前像解的总个数,加快后面的不动点迭代处理.最后......
[会议论文] 作者:刘源,刘领一,朱佳辉,赵刚,董利民,吴武臣,
来源:中国电子学会电路与系统学会第十九届年会 年份:2005
无线传感器网络(WSN)是新兴的下一代传感器网络,将广泛的应用于国防军事,环境科学,交通管理,城市智能建设等领域.超低能耗传感器节点的设计、各功能部件的接口及系统集成力法、与信号处理中心进行高速通讯成为网络基础层的重点研究内容.本文详细介绍了应用于节......
[会议论文] 作者:刘源[1]刘领一[2]朱佳辉;赵刚;董利民;吴武臣;,
来源:中国电子学会电路与系统学会第十九届年会 年份:2005
无线传感器网络(WSN)是新兴的下一代传感器网络,将广泛的应用于国防军事,环境科学,交通管理,城市智能建设等领域.超低能耗传感器节点的设计、各功能部件的接口及系统集成力法...
相关搜索: