柔声地说
发表于 2025-3-23 10:37:36
http://reply.papertrans.cn/29/2801/280009/280009_11.png
ALIAS
发表于 2025-3-23 14:05:09
http://reply.papertrans.cn/29/2801/280009/280009_12.png
我要沮丧
发表于 2025-3-23 22:02:07
Verifikation,re im Bereich eingebetteter Systeme, Implementierungen diversen Optimierungen unterworfen werden. Dies kann einerseits auch manuelle und somit fehleranfällige Verfeinerungen einschließen. Andererseits sind Synthesewerkzeuge typischerweise selbst nicht verifiziert, was bedeutet, dass nicht sichergest
无脊椎
发表于 2025-3-24 01:54:23
,Äquivalenzprüfung,e Funktion reprÄsentieren (siehe Abb. 4.1). Hierbei kann eine Prüfung zwischen zwei Beschreibungen auf der selben oder unterschiedlichen Abstraktionsebenen erfolgen. Obwohl auf vielen Abstraktionsebenen die Synthese mittlerweile automatisiert ablÄuft , ist eine Äquivalenzprüfung hÄufig notwendi
obnoxious
发表于 2025-3-24 03:16:48
,Eigenschaftsprüfung,r Prüfung funktionaler Eigenschaften wird das Strukturmodell der Implementierung dahin gehend überprüft, ob dieses alle funktionalen Anforderungen erfüllt. Dabei werden typischerweise Gefahrlosigkeits- und Lebendigkeitseigenschaften geprüft. Eine Gefahrlosigkeitseigenschaft besagt, dass nie etwas Sc
propose
发表于 2025-3-24 08:37:20
Hardware-Verifikation,erschiedenenAbstraktionsebenen. In Abb. 6.1 sind die hier betrachtetenAbstraktionsebenen hervorgehoben. Zunächst werden Methoden zur Äquivalenzprüfung von kombinatorischen und sequentiellen Schaltungen beschrieben, die überwiegend auf der Logikebene eingesetzt werden. Anschließend werden Methoden zu
Free-Radical
发表于 2025-3-24 11:49:36
Software-Verifikation,räsentiert. Dabei wird die Verifikation sowohl von Assembler- als auch von CProgrammen, die typischen Einschränkungen für eingebettete Software unterliegen, betrachtet. Danach werden Verfahren zur Testfallgenerierung für simulative Verifikationsmethoden für Software zusammen mit den zugehörigen über
miscreant
发表于 2025-3-24 17:56:34
http://reply.papertrans.cn/29/2801/280009/280009_18.png
统治人类
发表于 2025-3-24 22:56:42
Digitale Hardware/Software-Systeme978-3-642-05356-6Series ISSN 1614-5216
Insul岛
发表于 2025-3-25 00:46:50
Singende Gesellschaft – Bestandsaufnahmere im Bereich eingebetteter Systeme, Implementierungen diversen Optimierungen unterworfen werden. Dies kann einerseits auch manuelle und somit fehleranfällige Verfeinerungen einschließen. Andererseits sind Synthesewerkzeuge typischerweise selbst nicht verifiziert, was bedeutet, dass nicht sichergestellt ist, dass das Syntheseergebnis korrekt ist.