XiaoMi-AI文件搜索系统
World File Search SystemCompiler
开源 RRAM 编译器
摘要 — 存储器编译器是促进数字电路设计过程的必要工具。然而，学术界只有少数可用的。电阻式随机存取存储器 (RRAM) 具有高密度、高速度、非易失性的特点，是未来数字存储器的潜在候选。据作者所知，本文介绍了第一个用于自动存储器生成的开源 RRAM 编译器，包括其外围电路、验证和时序特性。RRAM 编译器使用 Cadence SKILL 编程语言编写，并集成在 Cadence 环境中。布局验证过程在 Siemens Mentor Calibre 工具中进行。编译器使用的技术是 TSMC 180nm。本文分析了编译器生成的大量 M x N RRAM 的新结果，最多 M = 128、N = 64 和字长 B = 16 位，时钟频率等于 12.5 MHz。最终，编译器实现了高达0.024 Mb/mm 2 的密度。
量子编译器中的操作计划
I。尽管量子计算设备技术中的快速进展已大大增加了量子位（或量子位）的相干时间，但当前可用的量子计算机仍在所谓的嘈杂的中间尺度量子量子制度中[1]。对于嘈杂的量子计算机，重要的是要在Qubits上安排操作尽可能短，因为这增加了在任何量子装置之前完成所有操作的概率，从而获得了具有较高有限性的计算结果。即使对于容忍故障的量子计算机，缩短编译时间表的持续时间也会增加吞吐量。量子计算机（或量子编译器）的编译器采用量子电路，该电路是一系列量子操作，作为输入程序，并生成可在目标硬件上可执行的相应控制指令的顺序。例如，在使用超导码位的量子计算机的情况下，将量子操作汇编为多个控件（例如，微波脉冲），可以在一定时间段内进行。通常，任何给定的量子操作都有其自身的处理时间，并且在该持续时间内作为计算资源占据其代理量子。出于这个原因，调度，通过该调度在没有任何重叠的情况下确定每个量子操作的执行启动时间，是量子编译器中必不可少的任务。我们称此任务量子操作计划。在本文中，我们的目标是最大程度地减少总体执行时间。在跨多个资源（Qubits，对于量子操作计划的情况下）的调度任务的上下文中，第一个任务开始与
用于多种目标的P4编译器
T4P4S - P4开关的翻译器开源（在GitHub上）P4-14语言支持（P4-16即将推出）支持多个目标（硬件独立核心 +网络硬件抽象图书馆）英特尔（DPDK）的Nethals（DPDK）（DPDK），Freescale（odp sdk），OpenWrt（odp sdk），本机，…<
针对分布式量子计算的优化编译器
实用的分布式量子计算需要开发高效的编译器，使量子电路与某些给定的硬件约束兼容。这个问题众所周知很难解决，即使对于本地计算也是如此。在这里，我们在分布式架构上解决这个问题。正如在这种情况下通常假设的那样，远程门代表基本的远程（处理器间）操作。每个远程门都包含几个任务：i）纠缠生成和分发，ii）本地操作，以及 iii）经典通信。纠缠生成和分发是一种昂贵的资源，因为它很耗时。为了减轻其影响，我们模拟了一个优化问题，将运行时间最小化与分布式纠缠态的使用相结合。具体来说，我们将分布式编译问题公式化为动态网络低。为了增强解决方案空间，我们通过引入一个谓词来扩展公式，该谓词操纵输入中给出的电路并并行化远程门任务。为了评估我们的框架，我们将问题分成三个子问题，并通过近似程序解决它。实验表明，运行时间不受问题规模扩展的影响。此外，我们将所提出的算法应用于编译不同拓扑下的电路，结果表明，边与节点之间的比率较高的拓扑会产生更浅的电路
mlgo-机器学习指导编译器...
Theodoridis，T.，Grosser，T。，＆Su，Z。（2022）。理解和利用最佳函数内在。第27届ACM国际建筑支持对编程语言和操作系统的会议记录。https://doi.org/10.1145/3503222.3507744
迈向连续变量量子编译器
连续变量 (CV) 量子光学系统 (QOS) 是量子计算 (QC)、量子机器学习 (QML) 和量子传感 (QS) 的一个有利平台，因为它们可以在室温下运行，具有确定性纠缠操作，并且具有变分量子算法 (VQA) 中使用的高效量子噪声缓解协议 [1,2]。VQA 评估在量子计算机上执行的参数化量子电路的成本函数 [3]，而经典计算机通过优化电路参数来最小化该成本。到目前为止，VQA 已在 CVQOS 中为变分特征值求解器实现 [4]。CV 平台特别适合 CV 幺正的变分编译任务 [5]。这种量子编译可用于优化量子门组合，以最大限度地减少量子算法所需的资源。
针对分布式量子计算的优化编译器
实用的分布式量子计算需要开发高效的编译器，使量子电路与某些给定的硬件约束兼容。即使对于本地计算而言，这个问题也是非常困难的。在这里，我们在分布式架构上解决它。正如在这种情况下通常假设的那样，远程门代表基本的远程（处理器间）操作。每个远程门包含几个任务：（i）纠缠生成和分发，（ii）本地操作，以及（iii）经典通信。纠缠生成和分发是一种昂贵的资源，因为它很耗时。为了减轻其影响，我们模拟了一个优化问题，该问题结合了运行时间最小化和分布式纠缠态的使用。具体而言，我们将分布式编译问题表述为动态网络流。为了增强解空间，我们扩展了公式，引入了一个谓词来操纵输入中给出的电路并并行化远程门任务。
snip：编译器转换的投机执行和非干预保存
我们解决了在投机语义下在编译器转换之间保留非干预的问题。我们开发了一种证明方法，以确保在所有源程序中均匀保存。我们证明方法的基础是一种新的模拟关系形式。它通过指令进行操作，该指令对攻击者对微构造状态的控制进行建模，并且它解释了编译器转换可能会改变微构造状态对执行（以及指令）的影响。使用我们的证明方法，我们显示了消除死亡代码的正确性。当我们试图证明注册分配正确时，我们确定了以前未知的弱点，该弱点会引入非干预。我们已经证实了libsodium密码库中代码上主流编译器的弱点。为了再次获得安全性，我们开发了一种新颖的静态分析，该分析可在源程序和寄存器分配程序的产品上运行。使用分析，我们向现有的注册分配实现提供了一个自动修复程序。我们通过证明方法证明了固定寄存器分配的正确性。