Siemens and Ain Shams authors report UVM functional verification of an analog PLL RNM
Mariam Maurice, Rich Edelman, Mohamed Dessouky, and Ashraf Salem published an Integration paper applying constrained-random stimulus, functional coverage, assertions, and a UVM testbench to an analog PLL real-number model. The paper varies loop-filter parameters, charge-pump current, and VCO gain, and compares modeled outputs with a reference model. Its first-online date is September 12, 2025, although the journal volume is dated 2026; the reported DUT is an RNM model.
Evidence
A-PLL functional verification paper: author-uploaded full text ↗
Full text uploaded by Mariam Maurice identifies Siemens and Ain Shams affiliations, DOI 10.1016/j.vlsi.2025.102520, the first-online date, and the PLL-RNM verification methods and experiments.