咨询与建议
  • 全部搜索
  • 期刊论文
  • 图书
  • 学位论文
  • 标准
  • 纸本馆藏
  • 外文资源发现
  • 数据库导航
  • 超星发现
高级检索

限定检索结果

文献类型

  • 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 订阅
全选 清除本页 清除全部 题录导出 标记到"检索档案"
详细 简洁
排序：
电子会议系统及其进展
电子会议系统及其进展
收藏
分享
引用
第七届全国数字系统设计自动化学术会议暨协同设计研讨会
作者： 丁磊 林守勋 科学院计算技术研究所CAD开放实验室(北京)
该文首先指出了会议作为人类社会的一种协作手段的重要性，并给出了电子会议系统的基本概念及其分类，然后对于各类系统就其组成、主要功能、技术难点、代表产品（原型系统）作了论述，最后对电子会议系统的未来发展作了展望。
来源： 评论
VHDL语言集成开发环境的设计与实现
VHDL语言集成开发环境的设计与实现
收藏
分享
引用
第七届全国数字系统设计自动化学术会议暨协同设计研讨会
作者： 张东晓 刘明业 理工大学ASIC研究所
该文论述了在设计ＶＨＤＬ集成开发环境过程中应注意的问题，具体分析了ＶＨＤＬ库／库单元管理、设计管理、工具管理及界面设计的技术要点，并结合实际系统给出了相应的实现方案。
来源： 评论
演译证明系统在ASIC设计中的应用
演译证明系统在ASIC设计中的应用
收藏
分享
引用
第七届全国数字系统设计自动化学术会议暨协同设计研讨会
作者： 高长生 任永顺 邮电学院计算机系
该文试图用并发进程描述时序电路，用时态逻辑公式来刻画它的某些特性，借助ＳＴｅＰ演绎证明系统，证明了该电路具有时态逻辑公式所描术的特性，同时也说明了这一方法的可行性。
来源： 评论
VHDL综合系统中关系运算的实现方法
VHDL综合系统中关系运算的实现方法
收藏
分享
引用
第七届全国数字系统设计自动化学术会议暨协同设计研讨会
作者： 吴建国 孙元 理工大学ASIC研究所
该文较全面地研究了ＶＨＤＬ等硬件描述语言中关系运算的综合及其优化方法;提出了根据关系运算在描述中的不同情况采取不同综合方法的策略;给出了５种实现关系运算的方法及其算法和满足的条件，并适当地分析了实现的组合复杂度。
来源： 评论
一种基于VHDL描述的FPGA实现方法
一种基于VHDL描述的FPGA实现方法
收藏
分享
引用
第七届全国数字系统设计自动化学术会议暨协同设计研讨会
作者： 王新成 刘皖 7227信箱
针对当前ＥＤＡ软件中逻辑综合工具与各种ＦＰＧＡ开发工具软件之间缺乏高效连接的问题，该文提出了一种在实际设计过程中利用现有ＥＤＡ逻辑综合工具与各种ＦＰＧＡ厂商提供的宏单元库与ＬＰＭ模型来解决从ＶＨＤＬ语言描述到ＦＰＧＡ... 详细信息
来源： 评论
BDD的研究现状及其在组合电路形式验证中的应用<'+>
BDD的研究现状及其在组合电路形式验证中的应用<'+>
收藏
分享
引用
第七届全国数字系统设计自动化学术会议暨协同设计研讨会
作者： 李洪星 贝劲松 大学计算机科学与技术系(北京)
二叉判决图ＢＤＤ是一种能有效表示布尔函数的方法，这种方法在ＥＤＡ领域中有着广泛的应用，该文介绍以ＢＤＤ为基础演变出的各种判决图并分析它们之间的关系，最后给出这些判决图在组合电路形式验证中的发展和应用。
来源： 评论
虚拟会议系统VMS的设计与实现
虚拟会议系统VMS的设计与实现
收藏
分享
引用
第七届全国数字系统设计自动化学术会议暨协同设计研讨会
作者： 王文广 郭玉钗 科学院计算技术研究所CAD开放实验室(北京)
该文描述了一个在Ｌｏｔｕｓ Ｎｏｔｅｓ 上开发的可用于公司进行异步会议的虚拟会议系统ＶＭＳ（Ｖｉｒｔｕａｌ Ｍｅｅｔｉｎｇ Ｓｙｓｔｅｍ）。通过使用ＶＭＳ，与会人员可以在不同的地点。利用自己方便的时间来参加会议。同时，Ｖ... 详细信息
来源： 评论
量化时态逻辑与数字电路的描述和验证<'+>
量化时态逻辑与数字电路的描述和验证<'+>
收藏
分享
引用
第七届全国数字系统设计自动化学术会议暨协同设计研讨会
作者： 杜慧敏 韩俊刚 邮电学院计算机系
量化时态逻辑是在一阶逻辑的基础上，加上量化时态逻辑算子构成。支持离散和连续的时间结构，能精确表达数字电路中的时间信息并能对时间进行推理。该文提出量化时态逻辑的基本框架并用它描述和验证数字电路。
来源： 评论
群件及其概念模型
群件及其概念模型
收藏
分享
引用
第七届全国数字系统设计自动化学术会议暨协同设计研讨会
作者： 施航 林守勋 科学院计算技术研究所CAD开放实验室(北京)
该文介绍了群件的一种概念模型，该模型由该体模型、协调模型、用户接口模型组成。群件的概念模型的引入有助于他们对群件进行划分，描述群件的主要特性，从而更好地对群件进行设计和应用。
来源： 评论
VHDL在TTL功能库开发中的应用
VHDL在TTL功能库开发中的应用
收藏
分享
引用
第七届全国数字系统设计自动化学术会议暨协同设计研讨会
作者： 何道君 7227信箱8分箱
ＶＨＤＬ 是覆盖电路多个层次的硬件描述语言，已成为各国工业界公认的标准。系统集成是实现设备小型化、高性能的一个趋势，该文探讨利用 ＶＨＤＬ 为系统集成建立 ＴＴＬ器件功能库的一些方法，积累利用 ＶＨＤＬ 进行系统功能描述的... 详细信息
来源： 评论
全选 清除本页 清除全部 题录导出 标记到“检索档案”
共3页 <<  < 1 2 3 >  >>
回到顶部
执行限定条件