This article presents a method for modeling high- <inline-formula xmlns:mml="http://www.w3.org/1998/Math/MathML" xmlns:xlink="http://www.w3.org/1999/xlink"> <tex-math notation="LaTeX">${Q}$ </tex-math></inline-formula> resonant-fin transistors with focus on circuit design simulations. The model is implemented for simulations in a SPICE-like design environment and is based on two basic properties of the resonator device: the mechanical spectral behavior and the electro-mechanical-transfer function. The spectral model operates in the mechanical pressure regime, while the mobility model converts this pressure into a mobility change inside the channel of the transistor and is hence, generating an ac current at the output of the device. The model also includes the electrical transistor characteristic for the input and the output of the resonator. This enables accurate and fast circuit simulations with a standard SPICE simulator, e.g., for the design of frequency synthesizer circuits. The model is validated against finite element method (FEM) simulations at an artificially damped quality factor of <inline-formula xmlns:mml="http://www.w3.org/1998/Math/MathML" xmlns:xlink="http://www.w3.org/1999/xlink"> <tex-math notation="LaTeX">${Q} =500$ </tex-math></inline-formula> . Also, simulation results for a quality factor of <inline-formula xmlns:mml="http://www.w3.org/1998/Math/MathML" xmlns:xlink="http://www.w3.org/1999/xlink"> <tex-math notation="LaTeX">${Q} =50$ </tex-math></inline-formula> 000 are shown, to prove the full functionality of the electrical model.