咨询与建议

限定检索结果

文献类型

  • 30 篇 会议

馆藏范围

  • 30 篇 电子文献
  • 0 种 纸本馆藏

日期分布

学科分类号

  • 30 篇 工学
    • 30 篇 计算机科学与技术...
    • 17 篇 软件工程
    • 12 篇 电子科学与技术(可...
    • 1 篇 信息与通信工程
    • 1 篇 控制科学与工程
  • 1 篇 理学
    • 1 篇 系统科学
  • 1 篇 医学
    • 1 篇 临床医学

主题

  • 12 篇 硬件描述语言
  • 8 篇 协同工作
  • 6 篇 集成电路
  • 6 篇 电子设计自动化
  • 4 篇 形式验证
  • 3 篇 逻辑综合
  • 2 篇 系统集成
  • 2 篇 乘法器
  • 2 篇 多媒体
  • 2 篇 高级综合
  • 2 篇 电路设计
  • 1 篇 设计管理
  • 1 篇 协调模型
  • 1 篇 软件设计
  • 1 篇 硬件设计验证
  • 1 篇 超媒体
  • 1 篇 软件开发工具
  • 1 篇 一阶逻辑
  • 1 篇 行为级综合
  • 1 篇 设计分划

机构

  • 4 篇 科学院计算技术研...
  • 4 篇 理工大学
  • 3 篇 大学计算机科学与...
  • 2 篇 滨工业大学
  • 2 篇 华大集成电路设计...
  • 2 篇 邮电学院
  • 2 篇 大学电子工程系
  • 2 篇 科技大学
  • 1 篇 7227信箱8分箱
  • 1 篇 科学院计算技术研...
  • 1 篇 科学院计算技术研...
  • 1 篇 院计算所cad开发研...
  • 1 篇 7227信箱
  • 1 篇 院计算所cad实验室...
  • 1 篇 院计算所cad开放研...
  • 1 篇 工业大学
  • 1 篇 科学院计算技术研...

作者

  • 5 篇 林宗楷
  • 3 篇 林守勋
  • 2 篇 郭玉钗
  • 2 篇 周祖成
  • 2 篇 刘健
  • 1 篇 施航
  • 1 篇 朱红
  • 1 篇 孙元
  • 1 篇 王潜平
  • 1 篇 张东晓
  • 1 篇 刘俐
  • 1 篇 刘皖
  • 1 篇 丁磊
  • 1 篇 刘朋
  • 1 篇 倪鸣
  • 1 篇 吴彦青
  • 1 篇 王进祥
  • 1 篇 李思昆
  • 1 篇 吴玉平
  • 1 篇 高长生

语言

  • 30 篇 中文
检索条件"任意字段=第七届全国数字系统设计自动化学术会议暨协同设计研讨会"
30 条 记 录,以下是11-20 订阅
排序:
VHDL语言集成开发环境的设计与实现
VHDL语言集成开发环境的设计与实现
收藏 引用
第七届全国数字系统设计自动化学术会议暨协同设计研讨会
作者: 张东晓 刘明业 理工大学ASIC研究所
该文论述了在设计VHDL集成开发环境过程中应注意的问题,具体分析了VHDL库/库单元管理、设计管理、工具管理及界面设计的技术要点,并结合实际系统给出了相应的实现方案。
来源: 评论
演译证明系统在ASIC设计中的应用
演译证明系统在ASIC设计中的应用
收藏 引用
第七届全国数字系统设计自动化学术会议暨协同设计研讨会
作者: 高长生 任永顺 邮电学院计算机系
该文试图用并发进程描述时序电路,用时态逻辑公式来刻画它的某些特性,借助STeP演绎证明系统,证明了该电路具有时态逻辑公式所描术的特性,同时也说明了这一方法的可行性。
来源: 评论
一种基于VHDL描述的FPGA实现方法
一种基于VHDL描述的FPGA实现方法
收藏 引用
第七届全国数字系统设计自动化学术会议暨协同设计研讨会
作者: 王新成 刘皖 7227信箱
针对当前EDA软件中逻辑综合工具与各种FPGA开发工具软件之间缺乏高效连接的问题,该文提出了一种在实际设计过程中利用现有EDA逻辑综合工具与各种FPGA厂商提供的宏单元库与LPM模型来解决从VHDL语言描述到FPGA... 详细信息
来源: 评论
桌面视频会议系统现状
桌面视频会议系统现状
收藏 引用
第七届全国数字系统设计自动化学术会议暨协同设计研讨会
作者: 刘浩 郭玉钗 科学院计算技术研究所CAD开放研究实验室(北京)
视频会议系统是多媒体技术与通讯技术相结合的产物,它已经成为当前产品开发和技术研究的热点。该文介绍了桌面视频会议系统的构成,分类和相关技术的研究发展现状。
来源: 评论
量化时态逻辑与数字电路的描述和验证<'+>
量化时态逻辑与数字电路的描述和验证<'+>
收藏 引用
第七届全国数字系统设计自动化学术会议暨协同设计研讨会
作者: 杜慧敏 韩俊刚 邮电学院计算机系
量化时态逻辑是在一阶逻辑的基础上,加上量化时态逻辑算子构成。支持离散和连续的时间结构,能精确表达数字电路中的时间信息并能对时间进行推理。该文提出量化时态逻辑的基本框架并用它描述和验证数字电路。
来源: 评论
群件及其概念模型
群件及其概念模型
收藏 引用
第七届全国数字系统设计自动化学术会议暨协同设计研讨会
作者: 施航 林守勋 科学院计算技术研究所CAD开放实验室(北京)
该文介绍了群件的一种概念模型,该模型由该体模型、协调模型、用户接口模型组成。群件的概念模型的引入有助于他们对群件进行划分,描述群件的主要特性,从而更好地对群件进行设计和应用。
来源: 评论
VHDL综合系统中关系运算的实现方法
VHDL综合系统中关系运算的实现方法
收藏 引用
第七届全国数字系统设计自动化学术会议暨协同设计研讨会
作者: 吴建国 孙元 理工大学ASIC研究所
该文较全面地研究了VHDL等硬件描述语言中关系运算的综合及其优化方法;提出了根据关系运算在描述中的不同情况采取不同综合方法的策略;给出了5种实现关系运算的方法及其算法和满足的条件,并适当地分析了实现的组合复杂度。
来源: 评论
VHDL在TTL功能库开发中的应用
VHDL在TTL功能库开发中的应用
收藏 引用
第七届全国数字系统设计自动化学术会议暨协同设计研讨会
作者: 何道君 7227信箱8分箱
VHDL 是覆盖电路多个层次的硬件描述语言,已成为各国工业界公认的标准。系统集成是实现设备小型化、高性能的一个趋势,该文探讨利用 VHDL 为系统集成建立 TTL器件功能库的一些方法,积累利用 VHDL 进行系统功能描述的... 详细信息
来源: 评论
BDD的研究现状及其在组合电路形式验证中的应用<'+>
BDD的研究现状及其在组合电路形式验证中的应用<'+>
收藏 引用
第七届全国数字系统设计自动化学术会议暨协同设计研讨会
作者: 李洪星 贝劲松 大学计算机科学与技术系(北京)
二叉判决图BDD是一种能有效表示布尔函数的方法,这种方法在EDA领域中有着广泛的应用,该文介绍以BDD为基础演变出的各种判决图并分析它们之间的关系,最后给出这些判决图在组合电路形式验证中的发展和应用。
来源: 评论
虚拟会议系统VMS的设计与实现
虚拟会议系统VMS的设计与实现
收藏 引用
第七届全国数字系统设计自动化学术会议暨协同设计研讨会
作者: 王文广 郭玉钗 科学院计算技术研究所CAD开放实验室(北京)
该文描述了一个在Lotus Notes 上开发的可用于公司进行异步会议的虚拟会议系统VMS(Virtual Meeting System)。通过使用VMS,与人员可以在不同的地点。利用自己方便的时间来参加会议。同时,V... 详细信息
来源: 评论