论文部分内容阅读
为设计出能够验证并行排序网络正确性的有效工具，根据[0，1]原理和布尔函数的特点和性质，提出一种布尔表达式的化简算法，并根据此算法设计出验证工具。对[0，1]原理和布尔函数的特点和性质进行了讨论，指出有利于化简操作的性质。设计出的工具能够根据并行排序网络的参数显示网络图形、自动生成布尔表达式并实现化简验证，工具的输出有利于对排序网络的分析，也可以用于辅助排序网络的设计和优化。实验结果表明了该工具的有效性。