Domain erlkoenig-blog.de kaufen?
Wir ziehen mit dem Projekt
erlkoenig-blog.de um.
Sind Sie am Kauf der Domain
erlkoenig-blog.de interessiert?
domain@kv-gmbh.de · 0541-91531010
Domain erlkoenig-blog.de kaufen?
Formal Verification of Circuits, Fachbücher von Rolf Drechsler
Das Fachbuch "Formal Verification of Circuits" von Rolf Drechsler bietet eine umfassende Analyse der formalen Verifikation im Bereich der Schaltungsentwicklung. In der heutigen Zeit, in der Schaltungen mehrere Millionen Transistoren enthalten können, wird die Verifikation solcher komplexen Designs zunehmend herausfordernd. Traditionelle Simulationstechniken sind oft unzureichend, da sie nicht die korrekte Funktionsweise garantieren können und eine vollständige Simulation in vielen Fällen nicht praktikabel ist. Das Buch beleuchtet, wie bestimmte Designs, insbesondere arithmetische logische Einheiten (ALUs), durch ihre regelmässigen Strukturen auf einer höheren Abstraktionsebene beschrieben und verifiziert werden können. Es wird auf neuere Ansätze eingegangen, die Word-Level Decision Diagrams (WLDDs) nutzen, um die Verifikation zu erleichtern und die Effizienz zu steigern. Diese graphenbasierten Darstellungen von Funktionen bieten eine vielversprechende Methode zur Überprüfung der Korrektheit von Schaltungen und tragen dazu bei, die Herausforderungen der formalen Verifikation zu bewältigen.
160,49 €*
Versand: 0,00 €
Sichere Weiterleitung zum Anbieter
Ähnliche Suchbegriffe für Formal-System-Verification-Fachbücher
Top-Angebote
Produkte zum Begriff Formal-System-Verification-Fachbücher:
-
Scalable Techniques for Formal Verification, Fachbücher von Sandip RayDas Buch "Scalable Techniques for Formal Verification" befasst sich mit der formalen Verifikation, einem Prozess, der mathematische Methoden nutzt, um die korrekte Ausführung von Computersystemen zu gewährleisten. Angesichts der zunehmenden Verwendung von Computersystemen in sicherheitskritischen und sicherheitsrelevanten Anwendungen wird es immer wichtiger, sicherzustellen, dass diese Systeme korrekt arbeiten. In den letzten zehn Jahren hat die formale Verifikation bedeutende Fortschritte bei der Analyse industrieller Systeme gemacht, insbesondere im Bereich der Hardwareverifikation. Ein wesentlicher Vorteil der formalen Verifikation ist die mathematische Garantie für die Korrektheit der Systeme, die jedoch von der Genauigkeit der formalen Modelle und der Richtigkeit der verwendeten Werkzeuge abhängt. Das Buch beleuchtet die Herausforderungen und Fortschritte in der Anwendung formaler Verifikationstechniken und deren Relevanz für die Zuverlässigkeit grossangelegter Systeme.119,99 €*Versand: 0,00 €Sichere Weiterleitung zum Anbieter
-
Polynomial Formal Verification of Approximate Functions, Fachbücher von Martha SchnieberDas Buch "Polynomial Formal Verification of Approximate Functions" von Martha Schnieber bietet eine umfassende Analyse der formalen Verifikation von digitalen Schaltungen, insbesondere von approximativen Funktionen. In der Entwicklung digitaler Schaltungen ist die Gewährleistung der funktionalen Korrektheit von entscheidender Bedeutung. Traditionelle formale Verifikationsmethoden können jedoch aufgrund ihrer exponentiellen Zeit- und Raumkomplexität herausfordernd sein. Schnieber zeigt, dass die Verifikationskomplexität für bestimmte Schaltungen polynomial beschränkt ist, was neue Perspektiven für die Verifikation von Schaltungen eröffnet, die in fehlerresistenten Anwendungen eingesetzt werden. Diese Schaltungen approximieren in bestimmten Fällen die exakte Funktion, während sie gleichzeitig eine geringere Verzögerung oder eine höhere Flächeneffizienz aufweisen. Das Buch bietet obere Schranken für die Grösse der BDD (Binary Decision Diagram) sowie für die Zeit- und Raumkomplexität der Verifikation allgemeiner approximativer Funktionen und mehrerer moderner approximativer Addierer.117,69 €*Versand: 0,00 €Sichere Weiterleitung zum Anbieter
-
Leveraging Applications of Formal Methods, Verification and Validation: Verification Principles, Fachbücher von Tiziana Margaria, Bernhard SteffenDas Buch "Leveraging Applications of Formal Methods, Verification and Validation: Verification Principles" ist Teil einer dreibändigen Reihe, die die refereed Proceedings des 9. Internationalen Symposiums zu diesem Thema dokumentiert. Die Veranstaltung fand ursprünglich im Jahr 2020 auf Rhodos, Griechenland, statt, wurde jedoch aufgrund der COVID-19-Pandemie auf 2021 verschoben. Die vorliegenden Arbeiten wurden sorgfältig ausgewählt und bieten einen tiefen Einblick in die Prinzipien der Verifikation, die für die Entwicklung zuverlässiger Systeme von entscheidender Bedeutung sind. Der erste Teil des Buches konzentriert sich auf verschiedene Aspekte der Verifikation, einschliesslich Modularität, statistische Modellprüfung und die Validierung von verteilten Systemen. Die Beiträge sind sowohl theoretisch fundiert als auch praxisorientiert und richten sich an Fachleute und Forscher im Bereich der Informatik und Ingenieurwissenschaften, die sich mit formalen Methoden und deren Anwendungen beschäftigen.90,94 €*Versand: 0,00 €Sichere Weiterleitung zum Anbieter
Formal Verification of Floating-Point Hardware Design, Fachbücher von David M. Russinoff
Das Buch "Formal Verification of Floating-Point Hardware Design" von David M. Russinoff bietet eine umfassende Untersuchung der formalen Verifikation von Floating-Point-Hardware-Designs. Es ist das erste Werk, das sich speziell mit der Gewährleistung der Korrektheit solcher Designs durch mathematische Methoden befasst. Die zweite Auflage des Buches präsentiert eine fortschrittliche Verifikationsmethodologie, die auf einer einheitlichen Theorie der Register-Transfer-Logik und der Gleitkommaarithmetik basiert. Diese Theorie wurde über mehr als zwei Jahrzehnte hinweg entwickelt und in der formalen Verifikation kommerzieller Floating-Point-Einheiten angewendet. Das Buch behandelt auch die Analyse gängiger Algorithmen und Optimierungstechniken, die in der Industrie verwendet werden, und bietet hochrangige Spezifikationen grundlegender arithmetischer Anweisungen für verschiedene Standard-Architekturen. Die Methodik wird durch umfassende Verifikationen aktueller kommerzieller Floating-Point-Designs, insbesondere von Arm Holdings, veranschaulicht. Diese überarbeitete Ausgabe berücksichtigt die sich entwickelnden Mikroarchitekturen und die zunehmende Komplexität der Arm-Prozessoren.
117,69 €*
Versand: 0,00 €
Sichere Weiterleitung zum Anbieter
System Verification, Fachbücher von Jeffrey O. Grady
Das Fachbuch "System Verification" von Jeffrey O. Grady bietet eine umfassende Analyse und Anleitung zur Überprüfung von Systemdesigns, um sicherzustellen, dass diese den festgelegten Anforderungen entsprechen. Mit einem klaren Fokus auf die Prinzipien der Systemverifikation, behandelt das Buch sowohl theoretische als auch praktische Aspekte, die für Fachleute im Bereich Informatik von Bedeutung sind. Die 414 Seiten sind reich an Beispielen und Fallstudien, die den Leser durch den Verifikationsprozess führen. Die strukturierte Herangehensweise und die detaillierten Erklärungen machen es zu einem wertvollen Nachschlagewerk für Studierende und Praktiker gleichermassen. Das Buch ist in englischer Sprache verfasst und bietet eine solide Grundlage für das Verständnis komplexer Systeme und deren Validierung. Es ist ein unverzichtbares Werkzeug für alle, die in der Systementwicklung tätig sind und sicherstellen möchten, dass ihre Lösungen den Anforderungen entsprechen.
82,95 €*
Versand: 0,00 €
Sichere Weiterleitung zum Anbieter
Top-Angebote
Produkte zum Begriff Formal-System-Verification-Fachbücher:
-
Formal Verification of Circuits, Fachbücher von Rolf DrechslerDas Fachbuch "Formal Verification of Circuits" von Rolf Drechsler bietet eine umfassende Analyse der formalen Verifikation im Bereich der Schaltungsentwicklung. In der heutigen Zeit, in der Schaltungen mehrere Millionen Transistoren enthalten können, wird die Verifikation solcher komplexen Designs zunehmend herausfordernd. Traditionelle Simulationstechniken sind oft unzureichend, da sie nicht die korrekte Funktionsweise garantieren können und eine vollständige Simulation in vielen Fällen nicht praktikabel ist. Das Buch beleuchtet, wie bestimmte Designs, insbesondere arithmetische logische Einheiten (ALUs), durch ihre regelmässigen Strukturen auf einer höheren Abstraktionsebene beschrieben und verifiziert werden können. Es wird auf neuere Ansätze eingegangen, die Word-Level Decision Diagrams (WLDDs) nutzen, um die Verifikation zu erleichtern und die Effizienz zu steigern. Diese graphenbasierten Darstellungen von Funktionen bieten eine vielversprechende Methode zur Überprüfung der Korrektheit von Schaltungen und tragen dazu bei, die Herausforderungen der formalen Verifikation zu bewältigen.160,49 €*Versand: 0,00 €Sichere Weiterleitung zum Anbieter
-
Scalable Techniques for Formal Verification, Fachbücher von Sandip RayDas Buch "Scalable Techniques for Formal Verification" befasst sich mit der formalen Verifikation, einem Prozess, der mathematische Methoden nutzt, um die korrekte Ausführung von Computersystemen zu gewährleisten. Angesichts der zunehmenden Verwendung von Computersystemen in sicherheitskritischen und sicherheitsrelevanten Anwendungen wird es immer wichtiger, sicherzustellen, dass diese Systeme korrekt arbeiten. In den letzten zehn Jahren hat die formale Verifikation bedeutende Fortschritte bei der Analyse industrieller Systeme gemacht, insbesondere im Bereich der Hardwareverifikation. Ein wesentlicher Vorteil der formalen Verifikation ist die mathematische Garantie für die Korrektheit der Systeme, die jedoch von der Genauigkeit der formalen Modelle und der Richtigkeit der verwendeten Werkzeuge abhängt. Das Buch beleuchtet die Herausforderungen und Fortschritte in der Anwendung formaler Verifikationstechniken und deren Relevanz für die Zuverlässigkeit grossangelegter Systeme.119,99 €*Versand: 0,00 €Sichere Weiterleitung zum Anbieter
Ähnliche Suchbegriffe für Formal-System-Verification-Fachbücher
-
Polynomial Formal Verification of Approximate Functions, Fachbücher von Martha SchnieberDas Buch "Polynomial Formal Verification of Approximate Functions" von Martha Schnieber bietet eine umfassende Analyse der formalen Verifikation von digitalen Schaltungen, insbesondere von approximativen Funktionen. In der Entwicklung digitaler Schaltungen ist die Gewährleistung der funktionalen Korrektheit von entscheidender Bedeutung. Traditionelle formale Verifikationsmethoden können jedoch aufgrund ihrer exponentiellen Zeit- und Raumkomplexität herausfordernd sein. Schnieber zeigt, dass die Verifikationskomplexität für bestimmte Schaltungen polynomial beschränkt ist, was neue Perspektiven für die Verifikation von Schaltungen eröffnet, die in fehlerresistenten Anwendungen eingesetzt werden. Diese Schaltungen approximieren in bestimmten Fällen die exakte Funktion, während sie gleichzeitig eine geringere Verzögerung oder eine höhere Flächeneffizienz aufweisen. Das Buch bietet obere Schranken für die Grösse der BDD (Binary Decision Diagram) sowie für die Zeit- und Raumkomplexität der Verifikation allgemeiner approximativer Funktionen und mehrerer moderner approximativer Addierer.117,69 €*Versand: 0,00 €Sichere Weiterleitung zum Anbieter
-
Leveraging Applications of Formal Methods, Verification and Validation: Verification Principles, Fachbücher von Tiziana Margaria, Bernhard SteffenDas Buch "Leveraging Applications of Formal Methods, Verification and Validation: Verification Principles" ist Teil einer dreibändigen Reihe, die die refereed Proceedings des 9. Internationalen Symposiums zu diesem Thema dokumentiert. Die Veranstaltung fand ursprünglich im Jahr 2020 auf Rhodos, Griechenland, statt, wurde jedoch aufgrund der COVID-19-Pandemie auf 2021 verschoben. Die vorliegenden Arbeiten wurden sorgfältig ausgewählt und bieten einen tiefen Einblick in die Prinzipien der Verifikation, die für die Entwicklung zuverlässiger Systeme von entscheidender Bedeutung sind. Der erste Teil des Buches konzentriert sich auf verschiedene Aspekte der Verifikation, einschliesslich Modularität, statistische Modellprüfung und die Validierung von verteilten Systemen. Die Beiträge sind sowohl theoretisch fundiert als auch praxisorientiert und richten sich an Fachleute und Forscher im Bereich der Informatik und Ingenieurwissenschaften, die sich mit formalen Methoden und deren Anwendungen beschäftigen.90,94 €*Versand: 0,00 €Sichere Weiterleitung zum Anbieter
-
Formal Verification of Floating-Point Hardware Design, Fachbücher von David M. RussinoffDas Buch "Formal Verification of Floating-Point Hardware Design" von David M. Russinoff bietet eine umfassende Untersuchung der formalen Verifikation von Floating-Point-Hardware-Designs. Es ist das erste Werk, das sich speziell mit der Gewährleistung der Korrektheit solcher Designs durch mathematische Methoden befasst. Die zweite Auflage des Buches präsentiert eine fortschrittliche Verifikationsmethodologie, die auf einer einheitlichen Theorie der Register-Transfer-Logik und der Gleitkommaarithmetik basiert. Diese Theorie wurde über mehr als zwei Jahrzehnte hinweg entwickelt und in der formalen Verifikation kommerzieller Floating-Point-Einheiten angewendet. Das Buch behandelt auch die Analyse gängiger Algorithmen und Optimierungstechniken, die in der Industrie verwendet werden, und bietet hochrangige Spezifikationen grundlegender arithmetischer Anweisungen für verschiedene Standard-Architekturen. Die Methodik wird durch umfassende Verifikationen aktueller kommerzieller Floating-Point-Designs, insbesondere von Arm Holdings, veranschaulicht. Diese überarbeitete Ausgabe berücksichtigt die sich entwickelnden Mikroarchitekturen und die zunehmende Komplexität der Arm-Prozessoren.117,69 €*Versand: 0,00 €Sichere Weiterleitung zum Anbieter
-
System Verification, Fachbücher von Jeffrey O. GradyDas Fachbuch "System Verification" von Jeffrey O. Grady bietet eine umfassende Analyse und Anleitung zur Überprüfung von Systemdesigns, um sicherzustellen, dass diese den festgelegten Anforderungen entsprechen. Mit einem klaren Fokus auf die Prinzipien der Systemverifikation, behandelt das Buch sowohl theoretische als auch praktische Aspekte, die für Fachleute im Bereich Informatik von Bedeutung sind. Die 414 Seiten sind reich an Beispielen und Fallstudien, die den Leser durch den Verifikationsprozess führen. Die strukturierte Herangehensweise und die detaillierten Erklärungen machen es zu einem wertvollen Nachschlagewerk für Studierende und Praktiker gleichermassen. Das Buch ist in englischer Sprache verfasst und bietet eine solide Grundlage für das Verständnis komplexer Systeme und deren Validierung. Es ist ein unverzichtbares Werkzeug für alle, die in der Systementwicklung tätig sind und sicherstellen möchten, dass ihre Lösungen den Anforderungen entsprechen.82,95 €*Versand: 0,00 €Sichere Weiterleitung zum Anbieter
* Alle Preise verstehen sich inklusive der gesetzlichen Mehrwertsteuer und ggf. zuzüglich Versandkosten. Die Angebotsinformationen basieren auf den Angaben des jeweiligen Shops und werden über automatisierte Prozesse aktualisiert. Eine Aktualisierung in Echtzeit findet nicht statt, so dass es im Einzelfall zu Abweichungen kommen kann. ** Hinweis: Teile dieses Inhalts wurden von KI erstellt.