<![CDATA[
<BODY>
<H1>www.duv24.net : Formale Verifikation</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></TD>
</TR>
</TABLE>
</TD>
<TD VALIGN=top> </TD>
<TD VALIGN=top> </TD>
</TR>
<TR>
<TD VALIGN=top CLASS=detailFirma ID=topSpace>Verplex:</TD>
<TD VALIGN=top> </TD>
<TD VALIGN=top> </TD>
</TR>
<TR>
<TD VALIGN=top CLASS=detailTitel>Formale Verifikation</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>Die Komplettlösung ‚Conformal 4.0‘ von Verplex gibt SoC-Entwicklern und Verifikationstechnikern die Möglichkeit, funktionell fehlerfreie Chips abzuliefern. Das Produkt enthält Erweiterungen des Conformal Logic Equivalence Checker. Traditionell zwangen Äquivalenzprüfer die Entwicklungsingenieure dazu, einen großen Teil der SoC-Designs als Black Box zu deklarieren. Äquivalenzprüfer haben deshalb unsystematisch dieses und jenes Logikmodul verifiziert. Die komplexesten und fehleranfälligsten Bereiche des Schaltungsentwurfs blieben unberücksichtigt. Die Designlösung geht auf solche Beschränkungen ein, die insbesondere bei Grafik-, Multimedia-, Digitalsignalverarbeitungs- und fernmeldetechnischen Schaltungen eine Rolle spielen. Diese Schaltungen kommen kaum ohne hoch entwickelte Logik, Datenwege, eigene Speicherbereiche und kundenspezifische Schaltungsmodule aus.</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>
]]>