- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- Extent
-
Online-Ressource
- Language
-
Englisch
- Notes
-
Rheinisch-Westfälische Technische Hochschule Aachen, Dissertation, 2022
- Classification
-
Elektrotechnik, Elektronik
- Keyword
-
Phasenregelkreis
Analog-Digital-Umsetzer
Digitale Signalverarbeitung
Jitter-Effekt
CMOS
System-on-Chip
Sigma-Delta-Wandler
- Event
-
Veröffentlichung
- (where)
-
Aachen
- (who)
-
Universitätsbibliothek der RWTH Aachen
- (when)
-
2022
- Creator
- Contributor
- DOI
-
10.18154/RWTH-2023-00621
- URN
-
urn:nbn:de:101:1-2023030300363800488370
- Rights
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Last update
-
25.03.2025, 1:43 PM CET
Data provider
This object is provided by:
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Associated
- Meier, Jonas
- Heinen, Stefan
- Ascheid, Gerd
- Universitätsbibliothek der RWTH Aachen
Time of origin
- 2022
Other Objects (12)
Formal abstraction and verification of analog circuits
Digital centric multi-gigabit SerDes design and verification
Digital Centric Multi-Gigabit SerDes Design and Verification
Verification and Synthesis of Analog Power-Down Circuits
Multiband RF circuits and techniques for wireless transmitters
Virtual prototype centric verification for embedded system development
Contributions to the design of multiplier and RF mixer circuits
Formal verification methodologies for nonlinear analog circuits
Formal verification methodologies for nonlinear analog circuits
Highly Automated Formal Verification of Arithmetic Circuits
Varactors and inductors for integrated RF circuits in standard MOS technologies
Formal verification of sequential circuits using reasoning techniques
Formal abstraction and verification of analog circuits
Digital centric multi-gigabit SerDes design and verification
Digital Centric Multi-Gigabit SerDes Design and Verification
Verification and Synthesis of Analog Power-Down Circuits
Multiband RF circuits and techniques for wireless transmitters
Virtual prototype centric verification for embedded system development
Contributions to the design of multiplier and RF mixer circuits
Formal verification methodologies for nonlinear analog circuits
Formal verification methodologies for nonlinear analog circuits
Highly Automated Formal Verification of Arithmetic Circuits
Varactors and inductors for integrated RF circuits in standard MOS technologies
Formal verification of sequential circuits using reasoning techniques
Formal abstraction and verification of analog circuits
Digital centric multi-gigabit SerDes design and verification
Digital Centric Multi-Gigabit SerDes Design and Verification
Verification and Synthesis of Analog Power-Down Circuits
Multiband RF circuits and techniques for wireless transmitters
Virtual prototype centric verification for embedded system development
Contributions to the design of multiplier and RF mixer circuits
Formal verification methodologies for nonlinear analog circuits
Formal verification methodologies for nonlinear analog circuits
Highly Automated Formal Verification of Arithmetic Circuits
Varactors and inductors for integrated RF circuits in standard MOS technologies