© 2016 IOP Publishing Ltd. We report modeling and simulation results for a Ka band high-temperature superconducting (HTS) monolithic microwave integrated circuit (MMIC) Josephson junction mixer. A Verilog-A model of a Josephson junction is established and imported into the system simulator to realize a full HTS MMIC circuit simulation containing the HTS passive circuit models. Impedance matching optimization between the junction and passive devices is investigated. Junction DC I-V characteristics, current and local oscillator bias conditions and mixing performance are simulated and compared with the experimental results. Good agreement is obtained between the simulation and measurement results.