- HOME
- Team
- Lehre
-
Forschung
- Forschungsprojekte
- Automatische Synthese analoger künstlicher neuronaler Netze (AUSYAN)
- Effizienter Entwurf eines hypermodularen Edge-KI-Mess- und Auswertesystems für uneinheitliche Kundenanforderungen (ENOKI)
- Formal Verification of Analog AI Hardware (FAI)
- Energieoptimierte analoge Schaltungen für deep neural networks (ENERGICS)
- Formal Abstraction and Verification of Analog Circuits (faveAC)
- Analog-Coverage in der Nanoelektronik (ANCONA)
- Hochverlässliches selbst-adaptives Mixed-Signal Multi-Core System-on-Chip(MixedCoreSoC)
- Mikrosystem-Design-Flow für KMUs (MiDes)
- Weitere Projekte
- Forschungsaktivitaeten
- Code Coverage for Verilog-A Models
- FAC'14 Benchmark Suite for Formal Verification of Analog Circuits
- Equivalence Checking (vera), Ageing Simulation (gnucap-uf)
- Cadence Academic Network
- Joint Robotics Lab
- Publikationen
- Intern
Veranstaltungen im SS 2024
- Electronic Design Automation
- Aktuelle Theme der Entwurfsmethodik
