Kompetenzen

Überblick

Wissenschaftliche Software

Digitallogik und Schaltkreisentwurf

Modellierung und Synthese auf Hardware-Behaviour-Level

Unter Verwendung moderner Modllierungssparchen wie VHDL und Verilog können komplexe digitale Schlatkreise entwickelt werden. Dabei wird auf der Verhaltensebene des Schalrkeises die Register-Transfer-Logik Architektur beschrieben und implementiert, die das imperative (schrittweise) Verhalten eines Datenverarbeitungssystems mit einem Kontroll- und Datenpfad (oder mehreren konkurrierenden) beschreibt.

Sowohl FPGA und Standardzellen-Technologien finden Verwendung. Backend-Flows für und FPGA Bausteine der Firmen Xilinx und Actel werden unterstützt und verwendet. Eine Vielzahl verschiedener Synthese-Werkzeuge sind verfügbar.

Modellierung und Synthese auf der algorithmischen Programmiereben

Unter Verwendung von imperativen Programmiersprachen wie z.B. C oder der parallen Programmiersprache ConPro können Schaltkreise auf einer technisch und architekturellen abstrakten algorithmischen Ebene modelliert und entwickelt werden. Dazu wird eine High-Level-Synthse Werkzeug verwendet, welches die algorithmische Programmebene auf eine RTL-Architektur modelliert auf Verhaltensebene transformiert (kompiliert).

Wir benutzen unser eigenes entwickelte High-Level-Syntehse Werkzeug ConPro [siehe auch Abschnitt 3.2 ] um diesen Entwurfsfluß zu implementieren.

Die ConPro Programmiersprache ist eine verbesserte und erweiterte imperative Programmiersprache mit einem Multiprozeß-Modell und kommunizierenden sequenziellen Prozessen mit Interprozeß-Kommuniaktion, bekannt aus der Softwaretechnik als Multithreading.

Mit diesem Werkzeug und dieser Modellierungs- und Implementierungsebene ist ees möglich auch sehr komplexe System-On-Chip-Entwürfe und Schaltkreise zu entwickeln [siehe z.B. Abschnitt 3.3].

Optische Messtechnik

Entwicklung und Fertigung optischer Systeme und Komponenten

Die folgende Abbildung zeigt ein Beispiel für einen im Labor gefertigten Prototypen eines Laserdioden-Moduls.

Entwicklung und Fertigung elektronischer Systeme

Die folgende Abbildung zeigt Ergebnisse der Eigenfertigung von gefrästen Platinen und eine teilweise Bestückung mit SMD-Bauteilen. Gezeigt ist ein HV-Modul, welches für die Versorgung von gepulsten Laserdioden und Avalanche-Photodetektoren verwendet wird.

Software Programmierung

Imperative Programmiersprachen

Traditionellle imperative Sprachen wie C, Fortan, und Pascal, aber auch Maschinensprachen ( x86, UltraSparc)

Functional Programmiersprachen

Moderne funktionale Programmiersprachen der ML-Familie für abstrakte und sichere highlevel Programmierung: Haskel,SML,OCaML.

Die OCaML Sprache vereint verschiedene Progarmmierparadigmen: ein funktionaler Kerne, streng typisiert, imperative Anweisungen wie Variablen und Schleifen, und schließlich objekt-orientiertes Programmieren mit Methoden.

Virtuelle Maschinen

Use of virtual machine concepts as a portable and operating system independent program execution environment (for example OCaML bytecode or Forth-interpreter).

Der Einsatz von virtuellen Maschinen ermöglicht architektur- und betriebssystemunmabhängige Programmierung von Datenverarbeitungs- und Steuerungssystemen. Beispiele ist die VM von OCaML, aber auch die Stack-Sprache Forth, deren VM sowohl in Software als auch in Hardware implementiert werden kann.

Numerische Simulation

Methodik und Software-Entwicklung für die Numerische Simulationvon Lichtstreuung an Oberflächen beliebiger Geometrie und Mikrotopologie.

Elektromagnetische Messtechnik

Messung von elektromagnetischen Feldern, Lösung von EMV-Problemen.

Wissenschaftliche Beratung

Wissenschaftlcihe Beratung betreffend wissenschaftlicher Meßinstrumente, Laborausstattung und Gestaltung, CNC-Fertigung, Lehre u.v.m.