CC-Light eQASM Architecture Specification

微体系结构的三层规范

Three-Tiered Specification of Micro-Architectures

一个三层的规范方法开发正式指定的合作对象的集合，说微架构。(i)协作中要维护的结构属性在最低层中指定。(ii)类中对象方法的行为在中间层中指定。(iii)微体系结构中对象的交互在第三层中指定。规格说明方法基于落叶松和附带的符号和工具。该方法使明确和完整的规范可重用的合作对象的集合。分层的，正式的方法相比，其他方法，包括主流的UML方法。

维也纳架构描述语言

The Vienna Architecture Description Language

本文介绍处理器描述语言 VADL，其通过分离 ISA 与微架构规范并采用高层抽象，可自动生成汇编器、编译器、模拟器等设计工件，并比较了原版与开源 OpenVADL 实现及生成器性能。

QCOR: A Language Extension Specification for the Heterogeneous Quantum-Classical Model of Computation

Quantum computing is an emerging computational paradigm that leverages the laws of quantum mechanics to perform elementary logic operations. Existing programming models for quantum computing were designed with fault-tolerant hardware in mind, envisioning standalone applications. However, near-term quantum computers are susceptible to noise which limits their standalone utility. To better leverage limited computational strengths of noisy quantum devices, hybrid algorithms have been suggested whereby quantum computers are used in tandem with their classical counterparts in a heterogeneous fashio…

“嘿，Pentti，我们做到了！”：一种完全向量符号化的 Lisp

Hey Pentti, We Did It!: A Fully Vector-Symbolic Lisp

本文基于全息缩减表示和清理记忆实现完全向量符号化的 Lisp，给出基本函数与 lambda 表达式表示，证明向量符号架构可具备笛卡尔闭性与图灵完备性。