MyHDL中向有符号变量赋值位切片时负数赋值失败问题排查

我来帮你分析问题根源，以及给出可靠的解决办法：

问题出在哪？ #

你的两种赋值方式都存在逻辑问题，导致结果不符合预期：

1. bipolar.next=rxdata[:4].signed()触发报错：
   你声明的rxdata是无符号的16位intbv（Signal(intbv(0)[nspi:0])），所以rxdata[:4]提取的高12位切片也是无符号属性。调用signed()方法时，MyHDL会返回这个切片的无符号整数值（比如0x8fff的高12位是0x8ff，对应十进制2303），但你的bipolar是12位有符号变量，最大值仅为2^11-1=2047，2303超出范围自然触发ValueError。

2. bipolar[:].next=rxdata[:4].signed()结果为0：
   直接将无符号整数赋值给bipolar的切片时，MyHDL的位截断逻辑没有正确识别符号信息，再加上你打印时用了int(str(bipolar),16)（把有符号intbv的字符串当成无符号十六进制解析），最终导致结果看起来异常。

正确的赋值方案 #

这里提供两种经过验证的解决方案，都能正确提取高12位有符号数：

方案一：利用有符号数算术右移提取高12位

先把整个16位rxdata转为有符号整数，再通过算术右移4位提取高12位（算术右移会自动保留符号位）：

@always_seq(CLK.negedge,reset=RESET)
def assign():
    # 将整个rxdata转换为16位有符号整数
    rx_full_signed = rxdata.signed()
    # 算术右移4位，自动保留符号位，得到12位有符号结果
    bipolar.next = rx_full_signed >> 4
    # 正确打印有符号数值
    print(f"bipolar={bipolar}, signed value={int(bipolar)}")

这种方法简洁高效，适合不需要精确操作位切片的场景。

方案二：显式构造有符号12位切片

先提取高12位的无符号切片，再将其转换为匹配bipolar范围的有符号intbv：

@always_seq(CLK.negedge,reset=RESET)
def assign():
    # 明确提取高12位（bit15到bit4，共12位）
    high_12_unsigned = rxdata[15:4]
    # 将无符号切片转换为符合bipolar范围的有符号intbv
    signed_12bit = intbv(high_12_unsigned, min=-2**(n-1), max=2**(n-1))
    bipolar.next = signed_12bit
    print(f"bipolar={bipolar}, signed value={int(bipolar)}")

这种方法更直观，适合需要精确控制位范围的场景，能清晰看到每一步的位操作。

测试验证 #

当rxdata设为0x8fff时，两种方案都会得到正确的12位有符号值-1793（对应二进制100011111111），完全符合bipolar的范围要求，不会再出现报错或结果为0的问题。

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