<![CDATA[
<BODY>
<H1>www.duv24.net : A. Michelson: "Verifikationsstrategie - Evolution oder Revolution?"</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">Fachbeiträge</FONT></B></TD>
<TD ALIGN=right VALIGN=bottom CLASS=detailDatum>07.11.2002</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>A. Michelson: "Verifikationsstrategie - Evolution oder Revolution?"</TD>
<TD VALIGN=top> </TD>
<TD VALIGN=top> </TD>
</TR>
<TR>
<TD VALIGN=top CLASS=detailSubtitel>Erfahrungsbericht einer Design-Group </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>
<TABLE WIDTH=1 BORDER=0 ALIGN=left CELLPADDING=0 CELLSPACING=0>
<TR>
<TD><IMG width=150 border=0 src="http://www.publish-industry.net/publish-industry/company-resources/publish-industry-master_1607609481.jpg"></TD>
</TR>
<TR>
<TD CLASS=detailBildunterschrift>Ablauf des coverage-orientierten Testens</TD>
</TR>
</TABLE>
Die Verifikationsmethodik war in den vergangenen Jahren durch nicht weniger als fünf Paradig-menwechsel geprägt.Diese müssen allerdings miteinander verzahnt werden,wenn sie einen deutlichen Effizienzvorsprung bewirken sollen.Jeder dieser fünf Paradigmenwechsel kann sein Potenzial erst dann ausspielen,wenn er mit den anderen kombiniert wird,deren mittelbare und unmittelbare Auswirkungen die Voraussetzungen für einen echten Fortschritt sind.Jede der fünf Methoden geht auf eine bestimmte Weise an das Verifikationsproblem heran.Ein dramatischer Fortschritt ist nur durch eine revolutionäre Umwälzung möglich,die sich auf alle diese Elemente gemeinsam stützt. <a href="http://www.publish-industry.net/media/design-verification/dv102002/dv112251.pdf">Vollbeitrag als PDF</a></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:12 Uhr aktualisiert</I></P>
</BODY>
]]>