AI 图谱
搜 索
AI实验室
综述
阅读理解
数学分析
问句匹配
意图识别
关系识别
实体识别
关于我们
请正确填写您要查询的数据
电脑体验,效果更佳
李暾图谱-计算机领域:
相关人员
杨晓东
徐建军
李思昆
屈婉霞
)郭阳
朱丹
刘功杰
冷彪
梁磊
郭阳
万海
叶俊
谭庆平
韩峻峰
研究领域
约束逻辑求解
单片机
信号值变化导出文件
设计
指令模板库
寄存器传输级
形式验证
模拟矢量自动生成
伪随机
路径覆盖
电路
覆盖率
断言
超大规模集成电路
模拟
覆盖率分析
VLSI模拟验证
模拟覆盖率分析
决策图模型
符号模拟
Verilog程序切片
模糊传感器
抽象求精
微处理器
插值
并行计算机
负载平衡
功能验证
测试程序生成
VLSI
所属机构
国防科学技术大学计算机学院
湖南长沙
国防科技大学计算机学院
国防科学技术大学计算机科学与技术学院
清华大学计算机科学与技术系
标签云
李暾图谱-计算机领域:
图谱关系 查看更多
相关人员 查看更多
李暾标签云