M. Sc. Mingyu Ma

Forschungsinteressen

Formale Spezifikation von Analog- und Mixed-Signal-Schaltungen:

  • Maschienenlesbare Spezifikation
  • Automatische Erzeugung des Testbenches
  • Automatische Bewertung nach formaler Spezifikation
  • Analog Specification Description in XML -- ASDeX Version 1.0

Forschungsprojekte

Mikrosystem-Design-Flow für KMUs (MiDes)

Das Projekt (MiDes) ist ein Projekt im Förderprogramm KMU-Innovativ im Rahmen der IKT 2020 gefördert durch das Bundesministerium für Bildung und Forschung (BMBF), Förderkennzeichen 01 M 3193D.

Die fünf Projektpartner von (MiDes) wollen einen kostengünstigen Mikrosystem-Design-Flow für KMUs entwickelen. Der Design-Flow umfasst dabei alle wesentlichen Schritte und alle Disziplinen, die zum Entwurf und zur Realisierung eines modular aufgebauten mikrosystemtechnischen Produktes notwendig sind. Angepasste Design-Tools machen die im Flow definierten Methoden handhabbar.

Im Beitrag der Universität Frankfurt werden Verfahren zur Modellierung von Schaltungen und Systemen, auch Mikrosystemen erforscht. Diese dienen als Startpunkt für eine zu entwicklende Verifikationsmethodik. Sie ermöglicht für kleinere und mittlere Unternehmen eine deutlich verbesserte Validierung von Entwürfen verglichen mit der Standardsimulation zu erzielen.

Syntheseunterstützter Entwurf analoger Schaltungen(SyEnA)

Das Projekt Syntheseunterstützter Entwurf analoger Schaltungen(SyEnA) ist ein Forschungsprojekt im Förderprogramm IKT 2020 durch das Bundesministerium für Bildung und Forschung(BMBF) gefördert.

Die Projektpartner im Projekt SyEnA werden den syntheseunterstützten Entwurf analoger Schaltungen erforschen und dabei neue und verbesserte Methoden in diesem Bereich entwickeln. Das Ziel dieser Arbeiten ist, den Grad der Automatisierung im Entwurf analoger Schaltungen zu steigern, um die Vielzahl manueller Entwurfsschritte deutlich zu reduzieren.

Veröffentlichungen

  • M. Ma, L. Hedrich, S. Steinhorst: "ASDeX-driven Analog Circuit Verification" (Abstract), Frontiers in Analog CAD (FAC'13), A Satellite Workshop of the International Solid-State Circuits Conference (ISSCC'13), Berkley, CA, USA, Feb. 14-15th, 2013
  • M. Ma, M. Meissner, L. Hedrich: "A Case Study: Automatic Topology Synthesis for Analog Circuit from an ASDeX Specification", In proceedings of International Conference on Synthesis, Modeling, Analysis and Simulation Methods and Applications to Circuit Design 2012 (SMACD'12), 19-21 September 2012 in Seville, Spain.
  • M. Ma, L. Hedrich, Ch. Sporrer: "ASDeX: a formal specification for analog circuit enabling a full automated design validation", In journal "Design Automation for Embedded Systems", Springer, 2012, DOI: 10.1007/s10617-012-9088-8. [LINK]
  • Design Bibliotheken im Wandel der Zeit oder wie kann die Synthese analoger Schaltungen bei der Bereitstellung von Design Bibliotheken helfen? by Christian Sporrer, Nilesh Mangaonkar, Mingyu Ma, 12. GMM/ITG-Fachtagung Analog 2011, 07-09 November 2011, Erlangen, Germany
  • M. Ma, L. Hedrich, Ch. Sporrer: "A Machine-Readable Specification of Analog Circuits for Integration into A Validation Flow", In proceedings of conference on the Forum for Design Languages (FDL 2011), 13-15 September 2011, Oldenburg, Germany.

Eingeladene Vorträge

  • An Attempt: Specification Descriptions of AMS-Systems using an XML-Format. Mingyu Ma, Lars Hedrich, Christian Sporrer. 29 November 2010, IP-XACT Workshop 2010, Grenoble, France.