您的位置： 专家智库 > >

胡健

作品数：12 被引量：2H指数：1
供职机构：国防科学技术大学更多>>
发文基金：国家自然科学基金更多>>
相关领域：电子电信自动化与计算机技术更多>>

合作作者

文献类型

  • 8篇专利
  • 2篇期刊文章
  • 2篇学位论文

领域

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

主题

  • 6篇通信
  • 4篇信号
  • 4篇跳频
  • 4篇跳频信号
  • 4篇通信设备
  • 4篇机内测试
  • 4篇测试装置
  • 3篇形式化
  • 2篇等价
  • 2篇等价性检验
  • 2篇电平
  • 2篇电平调整
  • 2篇信号调理
  • 2篇信号调理模块
  • 2篇形式化方法
  • 2篇仪器
  • 2篇音频
  • 2篇音频测试
  • 2篇音频指标
  • 2篇有限状态机

机构

  • 12篇国防科学技术...

作者

  • 12篇胡健
  • 9篇杨海涛
  • 2篇李思昆
  • 1篇李暾
  • 1篇王观武

传媒

  • 2篇计算机辅助设...

年份

  • 1篇2024
  • 1篇2023
  • 2篇2022
  • 3篇2021
  • 2篇2020
  • 2篇2016
  • 1篇2011
共 12 条 记 录，以下是 1-10
全选 清除 导出
排序方式：
片上系统高层等价性检验关键技术研究
当今片上系统（System-on-chip, SoC）设计复杂度越来越高，很多复杂设计已经无法从寄存器传输级（Register Transfer Level，RTL）开始建模，对高层次行为和体系结构模型的需求越来越迫切，...
胡健
关键词：等价性检验片上系统形式化
SoC高级综合验证研究进展
2021年
针对近年来片上系统(system on chip,SoC)高级综合验证领域的工作,首先分析了高级综合验证的难点,然后根据应用领域将算法分为3类:高级综合前端验证算法、高级综合调度验证算法和高级综合后端验证算法.同时分析了各类算法的优缺点和现有算法的主要技术手段;最后讨论了SoC高级综合验证算法目前面临的映射关系缺失、状态空间爆炸和复杂的数据结构等挑战,并对该领域今后的研究方向进行了展望.
胡健胡永扬王观武陈桂林杨海涛康云王康李思昆
关键词：形式化方法
通信设备音频测试方法
本发明公开了一种通信设备音频测试维修装置及测试方法，所述装置包括：数据采集电路，用于完成输入模拟信号的滤波，电平调整和模数转换，包括信号调理模块以及模数转换模块，所述信号调理模块的信号输出端与所述模数转换模块的信号输入端...
杨海涛徐运涛康云陈桂林胡健陆锋戴振华
一种跳频通信设备机内测试中的跳频频率的测试方法及测试装置
本发明公开了一种跳频通信设备机内测试中的跳频频率的测试方法及测试装置，涉及通信设备测试方法和测试设备技术领域。所述方法包括如下步骤：对跳频信号的功率进行检测获得跳频速率波形，该跳频速率波形经过非门反向后与基准时钟波形相与...
杨海涛康云徐运涛左剑胡健陈桂林
文献传递
一种跳频通信设备机内测试中的换频时间的测试装置
本发明公开了一种跳频通信设备机内测试中的换频时间的测试方法及测试装置，涉及通信设备测试方法和装置技术领域。所述方法包括如下步骤：跳频通信设备发射跳频信号；对跳频信号的功率进行检测获得跳频速率波形，该跳频速率波形经过非门反...
杨海涛康云徐运涛左剑周顺胡健陈桂林
文献传递
CFD标量数据场体绘制算法及并行可视化方法研究与实现
非结构化网格体绘制是科学计算可视化研究的重点内容之一,但非结构网格体绘制计算量大,过程复杂,因此产生图形图像速度较慢,不能满足日益增加的实时可视化要求,因此提高非结构化网格体绘制算法的效率是实现高效体绘制的一个重要研究点...
胡健
关键词：非结构网格体绘制VTK插件机制
文献传递
片上系统高层等价性检验研究进展被引量：1
2016年
针对近年来SoC领域的工作,首先分析了高层等价性检验的难点;然后从算法类型归类角度对各种高层等价性检验方法进行了概述评论,同时分析了各类算法的优缺点和现有算法的主要技术手段;最后讨论了SoC高层等价性检验方法目前面临的挑战,并对该领域今后的研究方向进行了展望.
胡健李暾李思昆
关键词：等价性检验形式化方法
无线通信综合测试维修系统及测试方法
本发明公开了一种无线通信综合测试维修系统及测试方法，所述测试维修系统包括各型被测电台、无线通信综合测试仪和标准仪器通过综合测试工装进行连接，各型被测电台、综合测试工装、无线通信综合测试仪和标准仪器的测试连接可以一次性完成...
杨海涛徐运涛康云陈桂林胡健
无线通信综合测试维修系统及测试方法
本发明公开了一种无线通信综合测试维修系统及测试方法，所述测试维修系统包括各型被测电台、无线通信综合测试仪和标准仪器通过综合测试工装进行连接，各型被测电台、综合测试工装、无线通信综合测试仪和标准仪器的测试连接可以一次性完成...
杨海涛徐运涛康云陈桂林胡健
通信设备音频测试维修装置及测试方法
本发明公开了一种通信设备音频测试维修装置及测试方法，所述装置包括：数据采集电路，用于完成输入模拟信号的滤波，电平调整和模数转换，包括信号调理模块以及模数转换模块，所述信号调理模块的信号输出端与所述模数转换模块的信号输入端...
杨海涛徐运涛康云陈桂林胡健陆锋戴振华
全选 清除 导出
共2页<12>
聚类工具0