Title :
An algorithm for total symmetric OBDD detection
Author :
Wang, Yuke ; Abd-el-Barr, Mostafa ; McCrosky, Carl
Author_Institution :
Dept. of Electr. & Comput. Eng., Concordia Univ., Montreal, Que., Canada
fDate :
6/1/1997 12:00:00 AM
Abstract :
This paper presents an elegant and efficient algorithm for detection of symmetry in Boolean functions represented by ordered binary decision diagrams (OBDDs)
Keywords :
Boolean functions; data structures; Boolean functions; ordered binary decision diagrams; total symmetric OBDD detection; Boolean functions; Data preprocessing; Data structures; Detection algorithms; Logic design; Mercury (metals); Testing;
Journal_Title :
Computers, IEEE Transactions on
