<![CDATA[
<BODY>
<H1>www.duv24.net : Tool zur statischen Analyse</H1>
<P> <BR>
[<A href="/">www.duv24.net</A>] [<A href="../index.html">back</A>]
</P>
<TABLE WIDTH=100% BORDER=0 CELLSPACING=0 CELLPADDING=0>
<TR>
<TD VALIGN=top>
<TABLE WIDTH=100% BORDER=0 CELLSPACING=0 CELLPADDING=0>
<TR>
<TD VALIGN=TOP CLASS=detailBereichRedaktion>Bereich >
Redaktion
> <B><FONT color="#CC3300">Nachrichten</FONT></B></TD>
<TD ALIGN=right VALIGN=bottom CLASS=detailDatum>01.12.2003</TD>
</TR>
</TABLE>
</TD>
<TD VALIGN=top> </TD>
<TD VALIGN=top> </TD>
</TR>
<TR>
<TD VALIGN=top CLASS=detailFirma ID=topSpace>Verisity Design GmbH:</TD>
<TD VALIGN=top> </TD>
<TD VALIGN=top> </TD>
</TR>
<TR>
<TD VALIGN=top CLASS=detailTitel>Tool zur statischen Analyse</TD>
<TD VALIGN=top> </TD>
<TD VALIGN=top> </TD>
</TR>
<TR>
<TD VALIGN=top CLASS=detailSubtitel></TD>
<TD VALIGN=top> </TD>
<TD VALIGN=top> </TD>
</TR>
<TR>
<TD VALIGN=top>
<TABLE BORDER=0 CELLSPACING=0 CELLPADDING=0>
<TR>
<TD VALIGN=top CLASS=detailContent>‚E-Analyzer‘ von Verisity ist ein intuitives Tool zur statischen Analyse und ermöglicht die Überprüfung auf ‚Verification Methodology Compliance‘, um so die Entwicklung von Verifikationsumgebungen zu erleichtern. Das Tool erlaubt die problemlose Anwendung so genannter ‚Best Practices‘ auf der Modul- und Systemebene, denn es unterstützt die ‚E-Reuse-Methodology‘ des gleichen Anbieters. Das Werkzeug erleichtert die Wiederverwendung von Verifikationskomponenten und ermöglicht dadurch das Erstellen weitgehend automatisierter und einheitlicher Verifikationsumgebungen auf der Chipebene. Das Analyse-Tool unterstützt außerdem P1647, die vom IEEE freigegebene Version der Verifikationssprache E. </TD>
</TR>
<TR>
<TD CLASS=detailQuelle> </TD>
</TR>
</TABLE>
</TD>
<TD WIDTH=28 VALIGN=top><IMG NAME="" SRC=/pi/spacer.gif WIDTH=1 HEIGHT=1 ALT=""></TD>
<TD WIDTH=174 VALIGN=top></TD>
</TR>
<TR>
<TD VALIGN=top><IMG NAME="" SRC=/pi/spacer.gif WIDTH=393 HEIGHT=1 ALT=""></TD>
<TD WIDTH=28 VALIGN=top><IMG NAME="" SRC=/pi/spacer.gif WIDTH=28 HEIGHT=1 ALT=""></TD>
<TD WIDTH=174 VALIGN=top><IMG NAME="" SRC=/pi/spacer.gif WIDTH=174 HEIGHT=1 ALT=""></TD>
</TR>
</TABLE>
<P><I>Diese Seite wurde am 25.09.2004, 13:13 Uhr aktualisiert</I></P>
</BODY>
]]>