3 citations · 5 across the 2 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.AI2014★ 3 cited
Enhancements to ACL2 in Versions 6.2, 6.3, and 6.4
Matt Kaufmann, J Strother Moore
We report on improvements to ACL2 made since the 2013 ACL2 Workshop.