刘领一
- 作品数：6 被引量：3H指数：1
- 供职机构：中国科学院计算技术研究所更多>>
- 发文基金：国家自然科学基金国家重点基础研究发展计划更多>>
- 相关领域：自动化与计算机技术电子电信更多>>
- 集成电路的功能验证技术研究
- 在芯片的设计流程中,一般采用多种验证手段来确保芯片的正确性,包括功能验证,时序验证,测试验证等.其中最耗时的当推是功能验证,它主要是芯片流片之前,通过对芯片的软件模型进行验证,从而确保设计的芯片在逻辑功能上与功能规范做到...
- 刘领一
- 关键词：形式化验证集成电路
- 文献传递
- 基于BDD启发策略的门级电路前像计算方法
- 前像计算是无界模型检验中的一个基本问题。本文提出了一种新的基于二叉判定图 (BDD)启发策略的门级电路前像计算方法。这种方法发崛和利用无关解子空间之间的组合, 避免了重复搜索。由于使用了BDD来引导搜索过程,这种方法可以...
- 赵阳刘领一李晓维
- 关键词：二叉判定图
- 文献传递
- 结合ATPG和SAT的无界模型检验前像计算方法被引量：3
- 2007年
- 提出一种无界模型检验的前像计算方法,该方法有效地结合ATPG和SAT引擎,充分利用引擎各自的优点.SAT用来判断是否已经穷尽所有解;每次SAT枚举出一个前像解后,采用一个专门的ATPG过程减少状态变量上的赋值,从而减少前像解的总个数,加快后面的不动点迭代处理.最后通过在ISCAS89和ITC99电路上的实验证明了文中方法的有效性.
- 刘领一赵阳吕涛李华伟李晓维
- 无线传感器网络处理器片内进程管理方法
- 本发明涉及无线传感器网络技术领域，特别是一种无线传感器网络处理器片内进程管理方法。本发明系统的构建一种低功耗的片内的进程管理方法，并有效的把它应用在实际的传感器节点系统中，最大限度的降低节点功耗，并且可供用户灵活的使用。...
- 刘领一沈培福吕涛徐勇军李晓维
- 文献传递
- 无线传感器网络处理器片内进程管理方法
- 本发明涉及无线传感器网络技术领域，特别是一种无线传感器网络处理器片内进程管理方法。本发明系统的构建一种低功耗的片内的进程管理方法，并有效的把它应用在实际的传感器节点系统中，最大限度的降低节点功耗，并且可供用户灵活的使用。...
- 刘领一沈培福吕涛徐勇军李晓维
- 文献传递
- 应用于无线传感网络的总线控制接口设计及其基于E-language的验证方法
- 无线传感器网络(WSN)是新兴的下一代传感器网络,将广泛的应用于国防军事,环境科学,交通管理,城市智能建设等领域.超低能耗传感器节点的设计、各功能部件的接口及系统集成力法、与信号处理中心进行高速通讯成为网络基础层的重点研...
- 刘源刘领一朱佳辉赵刚董利民吴武臣
- 关键词：无线传感器网络SPI
- 文献传递
