Global ETD Search

Search theses and dissertations gathered from participating repositories worldwide. Every result links back to the library that holds it. No account is needed.

Results

Showing 1 to 2 of 2 for “"Phase lock loop (PLL)"”.

  1. Formal verification of analog and mixed signal circuits using deductive and bounded approaches

    … Two techniques to verify the inevitability of phase locking in a Charge Pump Phase Lock Loop (PLL) circuit are presented: mixed deductivebounded and deductive-only verification approaches. The deductive-bounded approach uses Lyapunov-like certificates with bounded advection of sets to verify …

    city-london Repository record for Formal verification of analog and mixed signal circuits using deductive and bounded approaches (opens in a new tab)

  2. Κυκλώματα υψηλών συχνοτήτων για σύστημα υπερ-ευρείας ζώνης με διαμόρφωση συχνότητας FM-UWB

    … και αναπτύσσονται τα πλέον κρίσιμα κυκλώματα του PLL του FM-UWB πομπού με βάση ένα σύστημα FM-UWB, το οποίο στηρίζεται στη διπλή διαμόρφωση FM ευρείας ζώνης (double wideband FM modulation). Αυτά είναι το VCO, η αντλία φορτίου, ο διαιρέτης συχνότητας, και η γεννήτρια τάσης αναφοράς. Επιπλέον …

    patras-thes Repository record for Κυκλώματα υψηλών συχνοτήτων για σύστημα υπερ-ευρείας ζώνης με διαμόρφωση συχνότητας FM-UWB (opens in a new tab)