2 citations · 2 across the 1 of their papers we have counts for
2 papers
cs.LO2022★ 2 cited
VWSIM: A Circuit Simulator
Warren A. Hunt, Vivek Ramanathan, J Strother Moore
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, inductor…
cs.LO2017
Proceedings 14th International Workshop on the ACL2 Theorem Prover and its Applications
Anna Slobodova, Warren Hunt
This volume contains the proceedings of the Fourteenth International Workshop on the ACL2 Theorem Prover and Its Applications, ACL2 2017, a two-day workshop held in Austin, Texas,…