您的位置： 专家智库 > >

姚志江

作品数：4 被引量：5H指数：2
供职机构：中国科学院计算技术研究所更多>>
发文基金：国家自然科学基金更多>>
相关领域：自动化与计算机技术电子电信更多>>

合作作者

文献类型

  • 2篇期刊文章
  • 1篇学位论文
  • 1篇科技成果

领域

  • 2篇电子电信
  • 2篇自动化与计算...

主题

  • 2篇电路
  • 2篇异步
  • 2篇异步时序电路
  • 2篇时序电路
  • 1篇电路测试
  • 1篇电路分析
  • 1篇特征函数
  • 1篇逻辑模拟
  • 1篇逻辑验证
  • 1篇函数
  • 1篇OBDD
  • 1篇VHD
  • 1篇VHDL
  • 1篇VLSI设计
  • 1篇L模型
  • 1篇MCU

机构

  • 4篇中国科学院

作者

  • 4篇姚志江
  • 3篇魏道政
  • 2篇吕毅
  • 1篇解永良
  • 1篇李晓维
  • 1篇石茵
  • 1篇王仲
  • 1篇陈庆方

传媒

  • 1篇计算机应用
  • 1篇计算机辅助设...

年份

  • 3篇2001
  • 1篇2000
共 4 条 记 录，以下是 1-4
全选 清除 导出
排序方式：
一个8051 MCU可综合VHDL模型的完整实现被引量：1
2000年
介绍了一个完整的与INTEL 80 51MCU时序级兼容的可综合VHDL模型 ,讨论了其中几个主要功能的实现 ,并对该模型进行了验证。该模型的建立对于各种嵌入式系统 (ES)和片上系统(SOC)的应用具有重要意义。
姚志江魏道政陈庆方
关键词：MCUVHDL
VLSI设计中逻辑验证方法的研究
魏道政石茵梁业伟杨志娟李晓维王仲吕毅姚志江
该项目研究VLSI设计中新的、高效率的逻辑验证方法。研究成果包括：（1）利用逻辑模拟方法、结合门级单固定型故障的测试产生来进行设计验证。采用功能级模拟、门级模拟和混合模拟。主要解决由于输入的数据量巨大而造成的模拟时间长、...
关键词：
关键词：逻辑验证逻辑模拟
异步时序电路分析的一种OBDD方法被引量：3
2001年
对异步时序电路的分析和使用是一个比较困难的问题 ,所以 ,异步时序电路的实际应用范围远不如同步时序电路 .通过改进 JR Burch等提出的分析方法 ,使之适用于异步时序电路 .该方法使用基于 OBDD的布尔特征函数来表示电路的转移关系 ,并通过基于 OBDD的布尔函数的运算来确定异步时序电路的稳定状态、及当输入改变时电路的下一个稳定状态 。
吕毅姚志江魏道政解永良
关键词：异步时序电路特征函数OBDD
异步时序电路测试生成研究
在论文中,我们先对异步时序电路稳定状态求解问题进行了研究.作者在分析了门的同或加模型求解异步时序电路稳定状态的特点后提出用布尔满足方法来求解异步时序电路的稳定状态,根据门级异步时序电路的特点,提出一些旨在提高算法效率的加...
姚志江
关键词：异步时序电路
文献传递
全选 清除 导出
共1页<1>
聚类工具0