绘制模具

通过改进内存局部性、计算重用或并行化计算的智能实现，可以显著提高模具计算的性能。不幸的是，很难获得高效的实现，因为它们通常涉及非传统转换，这意味着它们无法通过使用编译器优化引用模具来生成。事实上，许多模板都是由繁琐的手工代码生成器生成的。

在本文中，我们展示了如何使用草图生成模具实现。素描是一种软件综合方法，程序员可以在其中开发部分实现——草图——以及由参考（未优化）模具给出的所需功能的单独规范。然后，合成器完成草图，使其行为与规范类似，填充难以手动开发的代码片段。

现有的绘制系统仅适用于小型有限程序，即。，，可以表示为小型布尔电路的程序。在本文中，我们开发了一种用于模板计算的草图合成器，这是一大类程序，与电路不同，它具有无限的输入和输出，以及无限数量的计算。其关键贡献是一种简化算法，它将模板转换为电路，允许我们使用现有的草图合成器合成模板。