您的位置： 专家智库 > >

裴晓东

作品数：1 被引量：2H指数：1
供职机构：西安电子工程研究所更多>>
相关领域：电子电信更多>>

合作作者

领域

  • 1个电子电信
  • 1个自动化与计算...
  • 1个理学

主题

  • 1个代数
  • 1个等价
  • 1个等价性检验
  • 1个电路
  • 1个电路设计
  • 1个形式化
  • 1个形式化规范
  • 1个形式化描述
  • 1个形式化证明
  • 1个学分
  • 1个硬件
  • 1个硬件描述语言
  • 1个硬件描述语言...
  • 1个硬件验证
  • 1个有限状态机
  • 1个有限自动机
  • 1个语义网
  • 1个三维模型
  • 1个三维模型库
  • 1个时序电路

机构

  • 1个西安邮电学院

资助

  • 1个国家高技术研...
  • 1个国家自然科学...

传媒

  • 1个西北大学学报...
  • 1个微电子学与计...
  • 1个小型微型计算...
  • 1个计算机辅助设...
  • 1个雷达与对抗
  • 1个陕西师范大学...
  • 1个西安邮电学院...

地区

  • 1个陕西省
共 1 条 记 录，以下是 1-1
刘建元
供职机构：西安邮电学院计算机学院
研究主题：符号模型检验 布尔函数 微处理器 二叉决策图 OBDD
发表作品相关人物供职机构所获资助研究领域
全选 清除 导出
共1页<1>
聚类工具0