论文标题
VWSIM：电路模拟器
VWSIM: A Circuit Simulator
论文作者
论文摘要
VWSIM是一种用于快速，单盘，量子（RSFQ）电路的电路模拟器。该模拟器旨在模拟和模拟原始电路设备，例如电容器，电感器，约瑟夫森连接，并可以扩展以模拟其他电路家族，例如CMOS。电路模型可以以天然VWSIM网络列表格式或与香料兼容的网络列表一起提供，这些网格被扁平并转化为可以操纵和模拟的符号方程。 VWSIM用ACL2逻辑编写，提供有关其模拟电路模型的逻辑保证。请注意，我们的矩阵求解和评估常规使用常见的LISP浮点数，并且正在进行工作将这些模型接收到ACL2中。目前，我们使用VWSIM来帮助我们设计基于RSFQ的自定时电路。我们最终的目标是证明RSFQ电路模型的属性。 VWSIM模拟器的基于ACL2的定义提供了指定和验证RSFQ电路模型的路径。
VWSIM is a circuit simulator for rapid, single-flux, quantum (RSFQ) circuits. The simulator is designed to model and simulate primitive-circuit devices such as capacitors, inductors, Josephson Junctions, and can be extended to simulate other circuit families, such as CMOS. Circuit models can be provided in the native VWSIM netlist format or as SPICE-compatible netlists, which are flattened and transformed into symbolic equations that can be manipulated and simulated. Written in the ACL2 logic, VWSIM provides logical guarantees about each of the circuit models it simulates. Note, our matrix solving and evaluation routines use Common Lisp floating-point numbers, and work is ongoing to admit these models into ACL2. We currently use VWSIM to help us design self-timed, RSFQ-based circuits. Our eventual goal is to prove properties of RSFQ circuit models. The ACL2-based definition of the VWSIM simulator offers a path for specifying and verifying RSFQ circuit models.
