![Therapie des Kaposi-Sarkoms mit rekombinantem α-Interferon [Alpha-Interferon]](https://rezised-images.knhbt.cz/1920x1920/0.webp)
This book addresses the growing importance of uncertainty in chip parameters in deep submicron technology. It advocates for a shift from deterministic to probability-oriented design processes for microelectronic circuits. Readers will learn to assess variations and optimize designs using suitable methods and tools.
Die Fachtagung „Zuverlässigkeit und Entwurf" (ZuE) wird 2013 in Dresden mit Unterstützung der Kooperationsgemeinschaft Rechnergestützter Schaltungs- und Systementwurf (RSS) der GI/GMM/ITG durchgeführt. Die nunmehr siebente Auflage der ZuE zeigt, dass sich die Fachtagung zu einem bewährten Forum entwickelt hat. Die adressierten Themen sowie das abwechslungsreiche Angebot an Fachbeiträgen, eingeladenen Vorträgen, Tutorials, Postern und vielfältigen weiteren Diskussionsmöglichkeiten entsprechen offensichtlich den Wünschen und Bedürfnissen des Fachpublikums.
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.