Verifikation, Zuverlässigkeit und Test WS 2006/07 :
LRA+ABS Forum
Re: Question concerns Signature
Posted by:
Tobias Nopper
()
Date: December 18, 2006 05:51PM
Hi
Well, you do not *need* to compute signatures and compare them, but you possibly don't have to compare as many ROBDDs.
And yes, if there is no permutation of the variables so that the signatures match, the functions differ for all possible variable permutations and thus you can stop.
Grettings
Tobias
Grüße
Tobias Nopper
Lehrstuhl für Betriebssysteme
Well, you do not *need* to compute signatures and compare them, but you possibly don't have to compare as many ROBDDs.
And yes, if there is no permutation of the variables so that the signatures match, the functions differ for all possible variable permutations and thus you can stop.
Grettings
Tobias
Grüße
Tobias Nopper
Lehrstuhl für Betriebssysteme
| Subject | Views | Written By | Posted |
|---|---|---|---|
Question concerns Signature
|
3238 | Ahmad | 12/15/2006 10:14AM |
|
Re: Question concerns Signature
|
2331 | Tobias Nopper | 12/18/2006 05:51PM |
Sorry, you do not have permission to post/reply in this forum.