• English
  • Deutsch
  • Log In
    Password Login
    Research Outputs
    Fundings & Projects
    Researchers
    Institutes
    Statistics
Repository logo
Fraunhofer-Gesellschaft
  1. Home
  2. Fraunhofer-Gesellschaft
  3. Konferenzschrift
  4. 13. Workshop Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen 2010
 
  • Details
  • Full
  • Publications
Options
2010
Conference Proceeding
Title

13. Workshop Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen 2010

Title Supplement
22.02. - 24.02.2010, Fraunhofer IIS/EAS Dresden
Abstract
Es werden Trends, neueste Ergebnisse und aktuelle Probleme auf folgenden Gebieten präsentiert: Formale und semiformale Spezifikation und Modellierung; Standards und Erweiterungen von Hardware-Beschreibungssprachen einschl. Sensorik; Entwurfsmethodik und -wiederverwendung; Syntheseverfahren, Co-Design; Schaltungen und Systeme in sicherheitsrelevanten Produkten; Verifikation nicht funktionaler Eigenschaften; Simulationsbasierte Verifikation.
Person Involved
Dietrich, M.
Fraunhofer-Institut für Integrierte Schaltungen IIS  
Corporate Author
Fraunhofer-Institut für Integrierte Schaltungen -IIS-, Institutsteil Entwurfsautomatisierung -EAS-, Dresden
Publisher
Fraunhofer Verlag  
Publishing Place
Stuttgart
Conference
Workshop Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen 2010  
Language
German
Fraunhofer-Institut für Integrierte Schaltungen IIS  
Keyword(s)
  • Angewandte Forschung

  • applied research

  • Cookie settings
  • Imprint
  • Privacy policy
  • Api
  • Contact
© 2024