98 citations · 117 across the 5 of their papers we have counts for
5 papers
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…
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,…
Efficient Certified RAT Verification
Luís Cruz-Filipe, Marijn Heule, Warren Hunt +2
Clausal proofs have become a popular approach to validate the results of SAT solvers. However, validating clausal proofs in the most widely supported format (DRAT) is expensive eve…
Fourier Series Formalization in ACL2(r)
Cuong K. Chau, Matt Kaufmann, Warren A. Hunt
We formalize some basic properties of Fourier series in the logic of ACL2(r), which is a variant of ACL2 that supports reasoning about the real and complex numbers by way of non-st…
Abstract Stobjs and Their Application to ISA Modeling
Shilpi Goel, Warren A Hunt, Matt Kaufmann
We introduce a new ACL2 feature, the abstract stobj, and show how to apply it to modeling the instruction set architecture of a microprocessor. Benefits of abstract stobjs over tra…