In this paper, we present the implementation process of a novel extended PMSM model in Verilog-A. The extended PMSM model is based on a quadratic flux-current function that describes the machine's rotor position-dependent and polaritydependent characteristics, enabling the development of signal injection-based sensorless polarity detection algorithms. The Verilog-A module was compiled using OpenVAF, simulated with Ngspice, and integrated via the Qucs-S frontend. Validation was carried out through comparison of simulations and corresponding measurements of non-modulated square-wave and modulated sinusoidal signal injection, two commonly used carrier signals in sensorless control. Simulation results showed good agreement with measurements. The implemented PMSM model is open source. The code and related data are available on GitHub.