华莱士树7-3压缩机电路的稳定性。第一部分

为了评估我们在实际尺寸计算电路上的形式验证方法，在本文中，我们继续为华莱士树[11]形式化7-3压缩器（STC）电路[6]的概念，以定义VLSI实现的快速乘法算法[10]的计算单元结构。我们定义了广义全加电路（GFA）树结构的电路结构。经过四步和六步，我们成功地证明了其计算输出的电路稳定性。本研究的动机是建立一种基于形式化数学的技术及其在高可靠性计算电路中的应用，并实现可靠逻辑合成器和硬件编译器的应用[5]。