Bishop C. Brock and Warren A. Hunt, Jr. (1997):
The DUAL-EVAL Hardware Description Language and Its Use in the Formal Specification and Verification of the FM9001 Microprocessor.
Formal Methods in Systems Design 11,
pp. 71–105,
doi:10.1023/A:1008685826293.
Chung-wen Ho, Albert E. Ruehli, and Pierce A. Brennan (1975):
The Modified Nodal Approach to Network Analysis.
IEEE Tranactions on Circuits and Systems 22(6),
doi:10.1109/TCS.1975.1084079.
Johannes Arnoldus Delport, Kyle Jackman, Paul le Roux & Coenrad Johann Fourie (2019):
JoSIMSuperconductor SPICE Simulator.
IEEE Transactions on Applied Superconductivity 29(5),
pp. 1–5,
doi:10.1109/TASC.2019.2897312.
Microprocessor Standards Committee of the IEEE Computer Society (2019):
IEEE Standard for Floating-Point Arithmetic.
IEEE Std 754-2019 (Revision of IEEE 754-2008),
pp. 1–84,
doi:10.1109/IEEESTD.2019.8766229.
Johannes Arnoldus Delport (2019):
Simulation and Verification Software for Superconducting Electronic Circuits.
Stellenbosch University, South Africa.
O. A. Mukhanov and V. K. Semenov and K. K. Likharev (1987):
Ultimate Performance of the RSFQ Logic Circuits.
IEEE Transactions on Magnetism MAG-23(2),
pp. 759,
doi:10.1109/TMAG.1987.1064951.
Paul Bunyk, Konstantin Likharev, and Dmitry Zinoviev (2001):
RSFQ Technology: Physics and Devices.
International Journal of High Speed Electronics and Systems 11(1),
doi:10.1142/S012915640100085X.
Pavel Shevchenko (2018):
PSCAN2 Superconductor Circuit Simulator.
Steven M. Rubin:
SPICE – Simulation Program with Integrated Circuit Emphasis.
Available at https://www.staticfreesoft.com.
Warren A. Hunt, Jr. (2004):
Mechanical Mathematical Methods for Microprocessor Verification.
Computer-Aided Verification Conference, Lecture Notes in Computer Science,
doi:10.1007/978-3-540-27813-9_51.
Warren A. Hunt, Jr. and Matt Kaufmann and J Strother Moore and Anna Slobodova (2017):
Industrial Hardware and Software Verification with ACL2.
Philosophical Transactions A of the Royal Society 374,
doi:10.1098/rsta.2015.0399.
Stephen R. Whitely (2021):
WRspice Reference Manual.