Verifikation, Zuverlässigkeit und Test WS 2006/07 :  LRA+ABS Forum The fastest message board... ever.
 
Question concerns Signature
Posted by: Ahmad ()
Date: December 15, 2006 10:14AM

Hi,
I have question reagrds the signatures:

if I have two functions: f1(x1,x2,x3) and f2(x1,x2,x3), and the signature are:

1-for f1, the signatures are as follows:

x1=2
x2=4
x3=7

2-for f2, the signature are as follows:

x1=4
x2=2
x3=8

so the signature are not "paarweise verschieden", the question is that the two functions have not the same characteristics and functionality and the ROBDD for both of them are different?


this means that before make any Equivalence Test between implemenation and specification, we need to check the signatures, if they have different values then there is no need any more for building ROBDD and checking the equivalence?

All thanks.

Navigate: Previous MessageNext Message
Options: ReplyQuote


Subject Views Written By Posted
Question concerns Signature 2731 Ahmad 12/15/2006 10:14AM
Re: Question concerns Signature 2046 Tobias Nopper 12/18/2006 05:51PM


Sorry, you do not have permission to post/reply in this forum.
This forum powered by Phorum.