VWSIM：一种电路模拟器
计算机科学中的逻辑
2022-05-25 v1 数学软件
符号计算
摘要
VWSIM 是一种用于快速单磁通量子（RSFQ）电路的电路模拟器。该模拟器旨在建模与模拟电容器、电感器、约瑟夫森结等基本电路器件，并可扩展以模拟其他电路系列，如 CMOS。电路模型可按原生 VWSIM 网表格式提供，或作为 SPICE 兼容网表提供，后者被展平并转换为可操作与模拟的符号方程。VWSIM 以 ACL2 逻辑编写，对其模拟的每种电路模型提供逻辑保证。注意，我们的矩阵求解与求值例程使用 Common Lisp 浮点数，且将这些模型准入 ACL2 的工作仍在进行中。我们目前使用 VWSIM 辅助设计自定时、基于 RSFQ 的电路。我们的最终目标是证明 RSFQ 电路模型的性质。基于 ACL2 的 VWSIM 模拟器定义为指定与验证 RSFQ 电路模型提供了一条路径。
引用
@article{arxiv.2205.11698,
title = {VWSIM: A Circuit Simulator},
author = {Warren A. Hunt and Vivek Ramanathan and J Strother Moore},
journal= {arXiv preprint arXiv:2205.11698},
year = {2022}
}
备注
In Proceedings ACL2 2022, arXiv:2205.11103