一句话：提出面向模拟计算范式的编程语言 Ark，支持渐进式引入模拟行为，并提供验证器与动力学系统编译器。
可重构模拟电路设计长期面临两难：要么针对特定电路精细协同设计，要么采用高度可重构但资源效率较低的加速器来实现模拟计算范式。本文关注二者之间的设计点：面向模拟计算范式的专用可重构电路，并提出编程语言 Ark 来描述这类范式。Ark 允许在计算中渐进式地引入模拟行为，并配备验证器与动力学系统编译器，用于验证和模拟计算过程。作者用 Ark 对三个示例性电路设计问题进行设计空间编码，表明该语言有助于探索设计权衡，并评估非理想特性对计算结果的影响。
Previous efforts on reconfigurable analog circuits mostly focused on specialized analog circuits, produced through careful co-design, or on highly reconfigurable, but relatively resource inefficient, accelerators that implement analog compute paradigms. This work deals with an intermediate point in the design space: specialized reconfigurable circuits for analog compute paradigms. This class of circuits requires new methodologies for performing co-design, as prior techniques are typically highly specialized to conventional circuit classes (e.g., filters, ADCs). In this context, we present Ark, a programming language for describing analog compute paradigms. Ark enables progressive incorporation of analog behaviors into computations, and deploys a validator and dynamical system compiler for verifying and simulating computations. We use Ark to codify the design space for three different exemplary circuit design problems, and demonstrate that Ark helps exploring design trade-offs and evaluating the impact of non-idealities to the computation.