6.1 测试激励的完备性

测试激励的完备性是指测试用例能够充分覆盖设计的所有功能、边界和异常场景，确保乘法器在各种输入组合下行为正确。对于32bit*32bit乘法器，测试代码设计应包含以下方面： 1. 基本功能测试：验证典型乘法运算的正确性，例如小数值（2*3=6）、随机数、全1（0xFFFFFFFF*0xFFFFFFFF）等，可分别针对有符号和无符号模式。 2. 边界值测试：针对输入范围的极值，如0（0*N=0）、1（1*N=N）、-1（有符号-1*N=-N）、最大值（0x7FFFFFFF*0x7FFFFFFF）、最小值（0x80000000*0x80000000），检查输出是否饱和或正确符号扩展。 3. 随机测试：采用大量随机数对（如10万组），覆盖各种位宽模式，结合自校验机制（如用64位软件乘法对比结果），并监控覆盖率，确保翻转所有输入比特和内部节点。 4. 异常路径测试：考虑流水线或状态机设计的停顿、握手信号、复位行为；若含饱和逻辑，需测试溢出保护。 5. 属性测试：验证乘法器的交换律（A*B==B*A）、结合律（(A*B)*C == A*(B*C)）恒成立，以及有符号/无符号结果的一致性。 6. 覆盖率分析：通过仿真工具收集语句、分支、表达式、翻转和功能覆盖率，针对未覆盖区域补充定向案例。 易错点：仅测试正数或有符号模型，忽略无符号模式；边界值遗漏0或1；未验证特殊值（如0x80000000*0x80000000产生0x4000000000000000，需确认有符号溢出）；未使用自检脚本导致结果误判；流水线设计中缺少背靠背或背压激励。