#python model

RISC-V

2026-11-04

M 확장 구현: 곱셈·나눗셈기 연동, 0 나누기 결과 규칙 그대로 만들기

RISC-V 19편. M 확장 곱셈·나눗셈기를 비트 정확 Python 모델로 구현했다. 33비트 곱셈기 하나로 mulh 계열 셋을 처리하고, 30만 쌍과 QEMU 648개에서 불일치 0, 음수를 0으로 나눌 때의 함정(5,039개 불일치)을 찾았다.