NXP authors report UVM-MS modeling and verification of an automotive gyroscope
An NXP DVCon Europe 2025 paper reports a gyroscope verification flow using UVM-MS, custom user-defined nets for voltage, current, resistance, and capacitance, Python through DPI, and safety-mechanism checks. In one capacitor-model comparison, the paper reports 24 seconds for a custom enet implementation, 129 seconds for EEnet, and 256 seconds for Verilog-AMS. Those timings apply only to that example and simulator setup.
Evidence
UVM-MS Based Verification of an Automotive Gyroscope ↗
The full paper describes the custom UDNs, Python/DPI and UVM-MS flow, safety checks, time-step considerations, and the bounded capacitor-model timing comparison.
DVCon Europe 2025 proceedings program ↗
The official proceedings program dates the NXP presentation to October 15, 2025.