【普林斯顿博士论文】驾驭现代芯片设计中的异构性与可扩展性

文章预览

计算系统已经在现代世界中变得无处不在，但它们的设计远非“一刀切”。从电池供电设备到超级计算机，部署需求是计算机设计中异构性的重要驱动力 。由于现代系统依赖并行性和专业化来实现其性能和功耗目标，新挑战也随之而来。随着硬件模块数量的增加，系统的复杂性也在增加，这使得正确和安全行为的验证变得更加复杂。此外，将并行化扩展到更多的处理单元（PUs）会增加对内存层次结构和处理单元间网络的压力，从而导致在处理具有间接内存访问（IMAs）的图状数据结构的应用程序时出现严重的瓶颈。这些挑战要求重新思考软件抽象和硬件设计，以实现可扩展和高效的系统，并引入强大的方法来确保其正确性。我的论文旨在通过三个主要方向来解决这些挑战。 首先，为了便于硬件设计师将形式验证应用于他们的模块，本文引入了AutoSVA ………………………………