Behavioral Verilog-A Model of Superconductor-Ferromagnetic Transistor | IEEE Conference Publication | IEEE Xplore