This paper presents a behavioral modeling technique for CMOS-MEMS microresonators that enables simulation of a MEMS resonator model in Analog Hardware Description Language (AHDL) format within a system-level circuit simulation. A 100 kHz CMOS-MEMS resonant pressure sensor has been modeled into Verilog-A code and successfully simulated within Cadence framework. Analysis has shown that simulation results of the reported model are in agreement with the device characterization results. As an application of the proposed methodology, simulation and results of the model together with an integrated monolithic low-noise amplifier is exemplified for detecting the position change of the resonator.