A new algorithm for detecting Pure Reed-Muller logic(一种新的用于探测Pure Reed-Muller逻辑的算法)

提出一种新的判断任意给定函数是否可由Pure Reed-Muller (PRM)逻辑来实现的探测算法,这对减少电路面积和降低功耗具有重要意义.该算法与相关文献相比,能在函数判断的同时完成表达式的给定,并适用于5变量以上的函数,且不增加其运算的复杂度.通过理论论证,给出了相应的判断条件和表达式的给定规则;最后通过Benchmark标准电路的测试,验证了本算法的正确性....

Full description

Bibliographic Details
Main Authors: YEXi-en(叶锡恩), MAOKe-yi(毛科益), XIAYin-shui(夏银水)
Format: Article
Language:zho
Published: Zhejiang University Press 2007-05-01
Series:Zhejiang Daxue xuebao. Lixue ban
Subjects:
Online Access:https://doi.org/zjup/1008-9497.2007.34.3.299-303
_version_ 1797236254012604416
author YEXi-en(叶锡恩)
MAOKe-yi(毛科益)
XIAYin-shui(夏银水)
author_facet YEXi-en(叶锡恩)
MAOKe-yi(毛科益)
XIAYin-shui(夏银水)
author_sort YEXi-en(叶锡恩)
collection DOAJ
description 提出一种新的判断任意给定函数是否可由Pure Reed-Muller (PRM)逻辑来实现的探测算法,这对减少电路面积和降低功耗具有重要意义.该算法与相关文献相比,能在函数判断的同时完成表达式的给定,并适用于5变量以上的函数,且不增加其运算的复杂度.通过理论论证,给出了相应的判断条件和表达式的给定规则;最后通过Benchmark标准电路的测试,验证了本算法的正确性.
first_indexed 2024-04-24T17:00:55Z
format Article
id doaj.art-c2075228ae804c21afcda21f4f71e575
institution Directory Open Access Journal
issn 1008-9497
language zho
last_indexed 2024-04-24T17:00:55Z
publishDate 2007-05-01
publisher Zhejiang University Press
record_format Article
series Zhejiang Daxue xuebao. Lixue ban
spelling doaj.art-c2075228ae804c21afcda21f4f71e5752024-03-29T01:58:24ZzhoZhejiang University PressZhejiang Daxue xuebao. Lixue ban1008-94972007-05-01343299303zjup/1008-9497.2007.34.3.299-303A new algorithm for detecting Pure Reed-Muller logic(一种新的用于探测Pure Reed-Muller逻辑的算法)YEXi-en(叶锡恩)0MAOKe-yi(毛科益)1XIAYin-shui(夏银水)2Institute of Circuits and Systems, Ningbo University, Ningbo 315211, China(宁波大学电路与系统研究所,浙江 宁波 315211)Institute of Circuits and Systems, Ningbo University, Ningbo 315211, China(宁波大学电路与系统研究所,浙江 宁波 315211)Institute of Circuits and Systems, Ningbo University, Ningbo 315211, China(宁波大学电路与系统研究所,浙江 宁波 315211)提出一种新的判断任意给定函数是否可由Pure Reed-Muller (PRM)逻辑来实现的探测算法,这对减少电路面积和降低功耗具有重要意义.该算法与相关文献相比,能在函数判断的同时完成表达式的给定,并适用于5变量以上的函数,且不增加其运算的复杂度.通过理论论证,给出了相应的判断条件和表达式的给定规则;最后通过Benchmark标准电路的测试,验证了本算法的正确性.https://doi.org/zjup/1008-9497.2007.34.3.299-303pure reed-muller探测算法判断条件给定规则
spellingShingle YEXi-en(叶锡恩)
MAOKe-yi(毛科益)
XIAYin-shui(夏银水)
A new algorithm for detecting Pure Reed-Muller logic(一种新的用于探测Pure Reed-Muller逻辑的算法)
Zhejiang Daxue xuebao. Lixue ban
pure reed-muller
探测算法
判断条件
给定规则
title A new algorithm for detecting Pure Reed-Muller logic(一种新的用于探测Pure Reed-Muller逻辑的算法)
title_full A new algorithm for detecting Pure Reed-Muller logic(一种新的用于探测Pure Reed-Muller逻辑的算法)
title_fullStr A new algorithm for detecting Pure Reed-Muller logic(一种新的用于探测Pure Reed-Muller逻辑的算法)
title_full_unstemmed A new algorithm for detecting Pure Reed-Muller logic(一种新的用于探测Pure Reed-Muller逻辑的算法)
title_short A new algorithm for detecting Pure Reed-Muller logic(一种新的用于探测Pure Reed-Muller逻辑的算法)
title_sort new algorithm for detecting pure reed muller logic 一种新的用于探测pure reed muller逻辑的算法
topic pure reed-muller
探测算法
判断条件
给定规则
url https://doi.org/zjup/1008-9497.2007.34.3.299-303
work_keys_str_mv AT yexienyèxīēn anewalgorithmfordetectingpurereedmullerlogicyīzhǒngxīndeyòngyútàncèpurereedmullerluójídesuànfǎ
AT maokeyimáokēyì anewalgorithmfordetectingpurereedmullerlogicyīzhǒngxīndeyòngyútàncèpurereedmullerluójídesuànfǎ
AT xiayinshuixiàyínshuǐ anewalgorithmfordetectingpurereedmullerlogicyīzhǒngxīndeyòngyútàncèpurereedmullerluójídesuànfǎ
AT yexienyèxīēn newalgorithmfordetectingpurereedmullerlogicyīzhǒngxīndeyòngyútàncèpurereedmullerluójídesuànfǎ
AT maokeyimáokēyì newalgorithmfordetectingpurereedmullerlogicyīzhǒngxīndeyòngyútàncèpurereedmullerluójídesuànfǎ
AT xiayinshuixiàyínshuǐ newalgorithmfordetectingpurereedmullerlogicyīzhǒngxīndeyòngyútàncèpurereedmullerluójídesuànfǎ