Title :
The effect of clustering on the performance of hashing algorithms
Author_Institution :
Dipartimento di Autom. e Inf., Politecnico di Torino, Italy
Abstract :
Hashing algorithms are search procedures commonly used, among other applications, in the solution of logic synthesis and formal hardware verification problems. Purpose of this paper is to analyze the performance of hashing algorithms. In particular, we are interested in studying the effect of clustering on hashing methods
Keywords :
algorithm theory; file organisation; formal verification; logic design; search problems; software performance evaluation; clustering; formal hardware verification problems; hashing algorithms; hashing methods; logic synthesis; performance; Algorithm design and analysis; Binary decision diagrams; Clustering algorithms; Cost function; Hardware; Logic; Performance analysis; Probes;
Conference_Titel :
Communications, Computers, and Signal Processing, 1995. Proceedings., IEEE Pacific Rim Conference on
Conference_Location :
Victoria, BC
Print_ISBN :
0-7803-2553-2
DOI :
10.1109/PACRIM.1995.519430
