On Recognition of Symmetries for Switching Functions in Reed-Muller Forms
NAVAL POSTGRADUATE SCHOOL MONTEREY CA DEPT OF ELECTRICAL AND COMPUTER ENGINEERING
Pagination or Media Count:
This paper addresses the recognition of partial symmetry in variables of switching functions represented in positive polarity Reed-Muller RM form. We develop a formal representation of partial symmetries in this RM form and present algorithms for their detection. In addition, we show necessary and sufficient conditions to recognize in RM expression partial and total symmetries in variables of the function. Our program RECSym successfully recognizes symmetries in RM expansion in standard benchmark circuits.
- Information Science