马光胜
【姓名】 马光胜
【职称】 教授;
【研究领域】 无线电电子学;计算机软件及计算机应用;自动化技术;
【研究方向】 VLSI设计自动化
【发表文献关键词】 关键路径,通路敏化,定时分析,嵌入式Linux,中断信号,实时系统,伪路径,时序验证,交叉耦合,层次设计,耦合电容,中断处理程序,中断处理技术,新算法,检测电路,时钟周期,电路延迟,实时性能,组合电路...
【工作单位】 哈尔滨工程大学
【曾工作单位】 哈尔滨工程大学;
【所在地域】 哈尔滨
今年新增/文献篇数 核心期刊论文数 基金论文数 第一作者篇数 总被引频次 总下载频次
0/75 56 58 7 235 6524
中国期刊全文数据库    共找到74篇
[1]范德会;马光胜;.林业机械设备控制芯片设计的模型检验方法[J]东北林业大学学报.2013,(02)
[2]宋朝晖;马光胜;宋大雷;.优化NoC性能的存储和通信压缩[J]微电子学与计算机.2011,(03)
[3]张志宏;马光胜;.基于改进PCNN的电视制导视频干扰的仿真研究[J]系统仿真学报.2011,(03)
[4]宋朝晖;马光胜;宋大雷;.NoC处理单元随机舍入的启发式应用映射[J]计算机辅助设计与图形学学报.2011,(07)
[5]张磊;马光胜;.基于事件集的反应系统模型的验证[J]微型机与应用.2012,(08)
[6]张磊;马光胜;修建新;.任务网络到时间自动机的等价模型验证[J]计算机工程.2012,(13)
[7]李东海;马光胜;胡靖;.定点算术数据通路的等价性检验方法[J]计算机辅助设计与图形学学报.2009,(01)
[8]王秀芹;马光胜;王昊;.可满足性求解器中一种可观无关性利用方法[J]计算机辅助设计与图形学学报.2009,(02)
[9]李东海;任艳庆;马光胜;.定点数据通路的等价验证[J]小型微型计算机系统.2009,(03)
[10]孙强;马光胜;.新型的高层次测试综合方法[J]北京邮电大学学报.2009,(01)
更多
中国重要会议全文数据库    共找到1篇
[1]杜振军;马光胜;.线性规划法在基于TBF的EDA中的应用综述[A].中国电子学会第七届学术年会论文集.2001-07-01
更多
承担国家科研项目    共找到2个
[1]马光胜;.基于多项式符号代数的系统芯片DA新方法研究[A].哈尔滨工程大学;.项目经费 20万元.2002-03-31.资助文献数 34 篇
[2]马光胜;.Boole过程论中高速ASIC设计自动化新方法研究[A].哈尔滨工程大学;.项目经费 12万元.1999-03-31.资助文献数 8 篇
更多