邓澍军
【姓名】 邓澍军
【职称】
【研究领域】 无线电电子学;
【研究方向】
【发表文献关键词】 形式验证,寄存器传输级,可满足性模理论,求解器,求解方法,问题求解,结构搜索,模型检验,集成电路,混合,处理器,逻辑推理,数据通路,典型研究,约束信息,基础理论,表达式,位向量,定理证明,效率,
【工作单位】 清华大学
【曾工作单位】 清华大学;
【所在地域】 北京海淀
今年新增/文献篇数 核心期刊论文数 基金论文数 第一作者篇数 总被引频次 总下载频次
0/3 2 3 2 25 355
中国期刊全文数据库    共找到2篇
[1]赵燕妮;边计年;邓澍军;.利用SMT约束分解方法求解RTL可满足性问题[J]计算机辅助设计与图形学学报.2010,(02)
[2]邓澍军;吴为民;边计年;.RTL验证中的混合可满足性求解[J]计算机辅助设计与图形学学报.2007,(03)
更多
中国重要会议全文数据库    共找到1篇
[1]邓澍军;吴为民;边计年;.RTL验证中的混合可满足性求解[A].第四届中国测试学术会议论文集.2006-08-01
更多