|
计算机科学 2013
基于固定极reedmuller展开式的3阶可逆Keywords: 量子电路综合,fprm展开式,可逆逻辑函数,np-np等价,等价判定 Abstract: 在可逆逻辑函数综合中,分类可以使模块重复使用。把布尔函数np-n等价的概念推广到可逆逻辑函数中,得到了可逆逻辑函数np-np等价的概念;把最小项数为4的3元布尔函数根据辅因子的码值向量分成5类,并计算出了这5类布尔函数的固定极reed-muller(fprm)展开式;把可逆逻辑函数的辅因子码值向量排序后是否相同作为可逆逻辑函数是否np-np等价的初步判定,当它们相同时,两个可逆逻辑函数np-np等价当且仅当它们的各个对应的输出分量有相同的变量映射,否则它们不是np-np等价的。运用这个方法可以判定任意的两个3阶可逆逻辑函数是否np-np等价。
|