如何用Python模拟逻辑门实现二进制乘法？代码问题排查与修正

问题背景 #

用Python开发CPU模拟器，模拟CPU、缓存、RAM、ALU等组件的基础逻辑。通过模拟逻辑门实现二进制乘法时出现错误：输入二进制数00000100和00000011，输出结果为111111110，而非预期的1100。

错误点分析 #

• 部分积生成逻辑错误：当前代码错误地将二进制乘法的部分积计算当成加法运算，引入了不必要的进位逻辑。实际上，二进制乘法的部分积规则是：当乘数的当前位为1时，直接复制被乘数；为0时，部分积全为0。
• 部分积未执行左移操作：乘法运算中，每处理一位乘数（从低位到高位），对应的部分积需要向左移动一位（末尾补0），当前代码缺失该步骤，导致部分积相加时位置错位。
• 违背模拟逻辑门的设计初衷：代码最后使用Python内置的int转换和加法运算，没有使用项目中已实现的add方法，不符合模拟器的设计目标。

修正后的乘法实现 #

def multiply(a, b):
    result = '0'
    max_len = max(len(a), len(b))
    # 对齐两个输入的二进制字符串长度
    a = a.zfill(max_len)
    b = b.zfill(max_len)
    
    partial_results = []
    
    # 遍历乘数的每一位（从低位到高位）
    for idx, bit_b in enumerate(reversed(b)):
        if bit_b == '1':
            # 乘数位为1时，部分积为被乘数左移idx位（补0）
            partial = a + '0' * idx
        else:
            # 乘数位为0时，部分积全0，长度与左移后的一致
            partial = '0' * (max_len + idx)
        partial_results.append(partial)
    
    # 使用项目提供的add方法累加所有部分积
    for partial in partial_results:
        result = add(result, partial)
    
    # 去除前导0，若结果为空则返回'0'
    return result.lstrip('0') or '0'

额外优化建议 #

逻辑门类的execute方法建议添加@staticmethod装饰器，符合Python类方法的规范，避免潜在的参数传递错误，示例如下：

class ANDGate:
    @staticmethod
    def execute(a, b):
        result = ""
        for bit_a, bit_b in zip(a, b):
            result += '1' if bit_a == '1' and bit_b == '1' else '0'
        return result

内容的提问来源于stack exchange，提问作者TheCodingGolfer