新闻动态

    2014年5月30日，中心在410会议室组织了自成立以来的第一次博士生答辩。答辩由中心教师罗国杰主持，中心梁云老师、孙广宇老师，北京大学数字视频编解码技术国家工程实验室王亦洲教授、清华大学计算机系周强教授、边计年教授作为评委参加了答辩。       王羽欣同学就“高层次中的存储划分”进行了答辩报告，报告结束后，就各位评委提出的问题进行了清楚、细致的回答。评委们一直认为，王羽欣同学在答辩过程中，准备充分、表述清楚，对答辩评委的提问能够做出准确的回答，一致投票通过了答辩。       作为中心第一位毕业的博士研究生，王羽欣在读期间以第一作者身份发表3篇论文，其中2篇发表在中心A类学术会议DAC和FPGA上（该领域顶级会议）。她在高层次综合的存储划分方面作出的优秀研究成果得到老师们的认可。她的博士生毕业论文是北京大学第一篇关于电子设计自动化中的高层次综合的论文。2013年，王羽欣同学因其优秀表现，当选中心年度最佳研究生。    

附：报告摘要

高层次综合（HLS，High-level Synthesis）工具将时序或半时序的用高层次语言书写的行为级程序编译成寄存器传输级（RTL，Register Transfer Level）的硬件描述，从而加速超大规模集成电路的设计流程。它是电子设计自动化（EDA，Electronic Design Automation）的重要一员以及电子系统级（ESL，Electronic System Level）设计的核心技术。然而与手工定制的RTL设计相比，通过高层次综合自动生成的RTL设计有时依然会存在显著的性能差距。访存是导致性能差距的最重要的原因之一。本工作的研究着重于高层次综合中的自动存储划分。结合20多年来在各个领域的存储划分技术，本文提出了一个面向高层次综合的存储划分的整体方案。本文的研究内容及创新点如下：
1) 提出了进行存储体映射的方法。本文首先提出了一种基于线性变换的多维存储体映射方法。以往的方法在进行多维数组的存储划分时，会先将多维数组展开，再进行一维数组的存储划分。然而这样的方法使得划分结果因为数组的大小而不同。本文提出使用基于线性变换的存储体映射方法，使得最后存储划分的结果与数组的大小无关。然后，本文提出了一种基于多面体模型的通用存储体映射方法。它使用多面体模型对访问冲突进行建模，利用空多面体检测的方法探测访问冲突。除了基本的多维数组循环划分，它可以概括块循环划分、面向多端口存储器的存储划分、面向非完全循环流水的存储划分，以及面向多访问模式的存储划分的等。
2) 提出了进行存储体内地址映射的方法。本文首先提出了一种基于多面体中整数点计算的存储体内地址映射方法。给定多面体的扫描顺序，该方法可以生成存储体内地址的最优解，从而使得划分后的存储资源使用最少。但是由于这种方法将产生复杂的地址转换逻辑，本文又提出了一种基于存储填充的启发式方法。该方法会产生一定的存储开销，但是可以有效的减少地址转换需要的逻辑资源开销。
3) 提出了进行数据重用缓存划分的方法。数据重用缓存的访问通常带有取模运算，以往的算法只处理仿射数组访问的情况，无法处理带有取模运算的数组访问。本文提出了一种基于存储填充的、可以根据带有取模运算的地址进行存储划分的方法。本文还将基于多面体模型的通用存储划分方法进行扩展，支持多维数据重用缓存的划分。
4) 提出了存储划分后的存储资源和互连资源优化的方法。首先，本工作基于存储划分的地址转换策略，提出了一个资源估计模型，对不同的存储划分策略进行选择。然后根据不同的优化目的，本文提出了分别针对存储资源和互连资源的优化方式。其中对于存储资源的优化包括存储合并优化和存储资源替代；对于互连资源的优化主要包括地址转换优化。

根据以上方法，本工作设计并实现了高层次综合的自动化存储划分工具，并且通过实验进行验证。对比当前国际上最先进的高层次综合存储划分方法，本文提出的方法更加综合全面。对于多维数组的存储划分，本文的方法可以得到更优的结果。本文提出的多个存储划分相关算法都为当前高层次综合存储划分的最先进算法，并已在多个EDA和FPGA领域的国际重要会议上发表。