- Home
- Staff
- Teaching
- Research
- Formal Verification of Analog AI Hardware (FAI)
- Energy Optimised Analog Circuits for Deep Neural Networks (ENERGICS)
- Formal Abstraction and Verifcation 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)
- Code-Coverage for Verilog-A Models
- ASDeX (Formalized Specification of Analog Circuits)
- FAC'14 Benchmark Suite
- Equivalence Checking (Vera) Simulation (gnucap-uf)
- Joint Robotics Lab
- Downloads
- Cadence Academic Network
- Studentische Projekte
- List of Publications
- Thesis
- Internal
- Research Projects
- Formal Verification of Analog AI Hardware (FAI)
- Energy Optimised Analog Circuits for Deep Neural Networks (ENERGICS)
- Formal Abstraction and Verifcation 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)
- Research Activities
- Code-Coverage for Verilog-A Models
- ASDeX (Formalized Specification of Analog Circuits)
- FAC'14 Benchmark Suite
- Equivalence Checking (Vera) Simulation (gnucap-uf)
- Joint Robotics Lab
- Downloads
- Cadence Academic Network
- Studentische Projekte
- Abgeschlossene Projekte
Abgeschlossene Forschungsprojekte
- Syntheseunterstützter Entwurf analoger Schaltungen(SyEnA)
- Entwurf Robuster Nanoelektronischer Systeme (ROBUST)
- Funktionale Verifikation von Systemen (FEST)
- Verifikation analoger Schaltungen (VeronA)
- Highly Optimized Design Methods for Yield and Reliability (HONEY)
- Struktursynthese von analogen Schaltungen (SAMS)
