Browsing by Subject "Circuit simulation"

Now showing 1 - 1 of 1
  • Thumbnail Image
    Item
    VWSIM : a circuit simulator
    (2023-05-08) Ramanathan, Vivek; Hunt, Warren A., 1958-; McMillan, Kenneth
    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, inductors, Josephson junctions, and can be extended to simulate other circuit families, such as CMOS. Written in the ACL2 logic, VWSIM provides formal mathematical guarantees about each of the circuit models it simulates. The ACL2-based definition of the VWSIM simulator offers a path for specifying and verifying RSFQ circuit models.