第1讲 树和二叉树
讲师介绍
讲师 : 沈海华
专业 : 计算机科学与技术
所在单位 : 计算机与控制学院
教师简介 : 研究方向: 计算机体系结构,微处理器设计 毕业院校: 1988-09-01—1992-06-30 合肥工业大学 本科 1995-09-01—1998-03-31 北京航空航天大学 硕士 1998-04-01—2002-06-30 清华大学 博士 获奖: CCF王选奖 一等奖 专项 2006 中科院计算所所长奖教金 研究所(学校) 2010 中科院计算所优秀研究人员 研究所(学校) 2012 论文: Fast Complete Memory Consistency Verification 基于遗传算法的全芯片级覆盖率驱动随机验证平台设计与实现 Formula-Oriented Compositional Minimization in Model Checking 浮点乘加部件的自动化形式验证 Empirical Design Bugs Prediction for Verification 多标准视频解码可重构分像素插值结构设计 一种基于RAM的降低异构多核切换开销的方法 跨平台系统级虚拟机的访存优化 超大规模集成电路可调试性设计综述 二进制翻译控制转移的软硬件协同设计 专著: 全面的功能验证:完整的工业流程 专利: 一种在指令级随机测试中支持EJTAG测试的实现方法 一种支持随机指令测试的微处理器FPGA验证装置 在微处理器用户态随机验证中实现核心态程序验证的方法 一种微处理器验证中快速换页的装置和方法 验证向量的优化方法及装置 覆盖率驱动随机验证集成电路的方法及系统 模型检测中的模型抽象方法及其系统 微处理器浮点单元的随机验证方法及系统 一种用于指令级随机验证的指令组合过滤方法及系统 随机测试程序生成方法和系统以及设计验证方法 用于验证电路的模型检测中的模型抽象方法及其系统 一种不同速度总线间读传送的控制方法及系统 一种微处理器指令级随机验证中加速取指的装置和方法 一种用于制造后处理器芯片验证的随机验证方法及装置


课程列表