通过对AND/XOR展开式和函数转换的研究,提出多输出混合极性Reed-Muller(MPRM)表达式列表技术.根据Reed-Muller可编程逻辑阵列(RMPL......

针对多输出布尔函数，给出一种求解混合极性Reed—Muller（MPRM）的系数矩阵变换算法。以MPRM中的乘积项数为化筒标准，采用穷举策略进行极......

随着集成电路技术的飞速发展以及工艺水平的不断提高，功耗、面积、速度、验证已成为集成电路发展面临的四个主要难题。集成电路设计......