刘建元
【姓名】 刘建元
【职称】 副教授;
【研究领域】 计算机软件及计算机应用;电信技术;无线电电子学;
【研究方向】 形式化方法的研究
【发表文献关键词】 Verilog,VHDL,符号模型检验,二叉决策图,分支时态逻辑,翻译程序,Verilog语言,等价性检验,VHDL语言,逻辑设计验证,布尔函数,PVS,自动机,形式化规范,有序二叉判定图,分支程序,...
【工作单位】 西安邮电学院
【曾工作单位】 西安邮电学院;
【所在地域】 陕西西安
今年新增/文献篇数 核心期刊论文数 基金论文数 第一作者篇数 总被引频次 总下载频次
0/11 6 8 5 42 1559
中国期刊全文数据库    共找到10篇
[1]贾晖;刘建元;张建刚;.三维模型库语义网构建及检索方法研究[J]西安邮电学院学报.2012,(03)
[2]裴晓东;刘建元;.雷达数字波束形成及其数学分析[J]雷达与对抗.2008,(02)
[3]杜慧敏,刘建元,韩俊刚,高德远.用VIS验证微处理器PIC[J]计算机辅助设计与图形学学报.2000,(05)
[4]郭建,刘建元,杜慧敏,韩俊刚,郝克刚,华庆一.硬件描述语言VHDL到Verilog的翻译[J]西北大学学报(自然科学版).2000,(01)
[5]刘建元,杜慧敏.一种测试语言包含的算法[J]小型微型计算机系统.2001,(10)
[6]杨红丽,刘建元,韩俊刚.基于PVS的飞机订票系统的形式化描述与验证[J]西安邮电学院学报.2001,(03)
[7]刘建元.有序二叉判定图及其构造算法研究[J]西安邮电学院学报.2001,(03)
[8]刘建元.基于OBDD时序电路设计的验证[J]陕西师范大学学报(自然科学版).2002,(02)
[9]刘建元.基于符号模型检验的硬件验证[J]微电子学与计算机.2002,(05)
[10]刘建元.数字电路设计中的符号模型检验技术[J]微电子学与计算机.2002,(10)
更多