Xu, H, Yang, Meng, Wang, Lun Yao, Tong, Jiarong R and Almaini, A E A
(2007)
*An efficient transformation method for DFRM expansions.*
In:
7th International Conference on ASIC, 2007. ASICON '07.
IEEE, Computer Society, pp. 1158-1161.
ISBN 978-1-4244-1132-0

## Abstract/Description

Dual Form of Reed-Muller (DFRM) expansions with fixed poarity are derived from Reed-Muller (RM) expansions by using the operation of Kronecker matrix products. An efficient decomposition method is proposed based on the formulation. The method can be used for the trasnformation from DFRM expansions to RM expnsions within the same fixed polarity as well. Hence, the proposed method is bidirectional. After decomposition, the calculation of the duplicated matrix is avoided, resulting in less computation time. Time complexity

of the algorithm is O(2 to the power 1.5n). The time used for small variables is virtually zero for the tested MCNC benchmark. For large variables, it still works very well and achieves less than 20 seconds for the 25-variable benchmark. In the implementation, only on-set coefficients are used. Consequently, the space complexity is O(M), where M is the number of on-set coefficients. It makes simultaneous optimization in both RM and DFRM expansions possible.

Item Type: | Book Section |
---|---|

Print ISSN: | 1424411327 and 9781424411320 |

ISBN: | 978-1-4244-1132-0 |

Electronic ISBN: | 978-1-4244-1132-0 |

Additional Information: | Paper presented at 7th International Conference on ASIC, 2007 held on 22-25 Oct. 2007. |

Uncontrolled Keywords: | Integrated circuits; Logic circuits; Power supply; Dual Form Reed-Muller; Transformation methods; Computational speed; |

University Divisions/Research Centres: | Faculty of Engineering, Computing and Creative Industries > School of Engineering and the Built Environment |

Dewey Decimal Subjects: | 600 Technology > 620 Engineering > 621 Electronic & mechanical engineering 000 Computer science, information & general works > 000 Computer science, knowledge & systems > 004 Data processing & computer science |

Library of Congress Subjects: | T Technology > TK Electrical engineering. Electronics Nuclear engineering Q Science > QA Mathematics > QA75 Electronic computers. Computer science |

Item ID: | 2565 |

Depositing User: | Users 10 not found. |

Date Deposited: | 04 May 2009 15:49 |

Last Modified: | 24 Oct 2014 12:14 |

URI: | http://researchrepository.napier.ac.uk/id/eprint/2565 |

### Actions (login required)

View Item |