Accession Number:

ADA605493

Title:

On Recognition of Symmetries for Switching Functions in Reed-Muller Forms

Descriptive Note:

Conference paper

Corporate Author:

NAVAL POSTGRADUATE SCHOOL MONTEREY CA DEPT OF ELECTRICAL AND COMPUTER ENGINEERING

Report Date:

1999-01-01

Pagination or Media Count:

0.0

Abstract:

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.

Subject Categories:

  • Information Science
  • Cybernetics

Distribution Statement:

APPROVED FOR PUBLIC RELEASE