• English
  • Deutsch
  • Log In
    or
  • Research Outputs
  • 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
Options
2010
Tagungsband
Titel

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

Titel Supplements
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.
Beteiligt
Dietrich, M.
Organisation
Fraunhofer-Institut fĂ¼r Integrierte Schaltungen -IIS-, Institutsteil Entwurfsautomatisierung -EAS-, Dresden
Verlag
Fraunhofer Verlag
Verlagsort
Stuttgart
Konferenz
Workshop Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen 2010
Thumbnail Image
Language
Deutsch
google-scholar
EAS
Tags
  • Angewandte Forschung

  • applied research

  • Cookie settings
  • Imprint
  • Privacy policy
  • Api
  • Send Feedback
© 2022