References

  1. 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.
  2. CCL: Clozure Common Lisp. Available at https://ccl.clozure.com.
  3. 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.
  4. 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.
  5. 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.
  6. Johannes Arnoldus Delport (2019): Simulation and Verification Software for Superconducting Electronic Circuits. Stellenbosch University, South Africa.
  7. Matt Kaufmann & Moore, J S.: The ACL2 System Documentation. Available at http://www.cs.utexas.edu/users/moore/acl2/manuals/current/manual/?topic=ACL2____Top.
  8. 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.
  9. 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.
  10. SBCL: Steel Bank Common Lisp. Available at http://http://www.sbcl.org.
  11. Pavel Shevchenko (2018): PSCAN2 Superconductor Circuit Simulator.
  12. Steven M. Rubin: SPICE – Simulation Program with Integrated Circuit Emphasis. Available at https://www.staticfreesoft.com.
  13. 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.
  14. 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.
  15. Stephen R. Whitely (2021): WRspice Reference Manual.
  16. Wikipedia (2022): SPICE – Simulation Program with Integrated Circuit Emphasis. Available at https://en.wikipedia.org/wiki/SPICE.

Comments and questions to: eptcs@eptcs.org
For website issues: webmaster@eptcs.org