测试向量文件格式

以下是测试向量文件的示例:

# add32 的测试向量
A[8]      B[8]      C[8]      Cin Cout
0000_0000 0000_0000 0000_0000 0   0
-2        0x05      3         0   0
0         0o3       3         0   0

首先,文件格式很简单。标题行匹配电路的输入/输出引脚。其下是要测试的值。

第一个非空白、非注释行列出了每个电路输入引脚的名称及其位宽(如果 > 1),用空格分隔。

初学者经常困惑的一点是,只要位宽不是 1 位,就必须在标题中指定位宽。

注意:位宽不一定等于值中的字符数。例如,13 的 4 位值可以表示为 1101、00001101、0x0d、0o15、15 或 0b1101 等。

空白行将被忽略。'#' 字符后的任何内容都是注释。第一个非空白、非注释行列出了每个电路输入引脚的名称及其宽度(如果 > 1),用空格分隔。

其余行列出用空格分隔的每个值。值可以是十六进制、八进制、二进制或有符号十进制。十六进制值必须带有 '0x' 前缀。八进制值必须带有 '0o' 前缀。二进制和十进制通过位数来区分:二进制值必须始终具有与列宽度完全相同的位数;十进制值必须始终更少,不应有前导零,并且可以有负号。

为了提高可读性,您可以在数值中的任何位置使用下划线(_)。解析时下划线将被忽略。示例: 0x0000_11110o1234_56701111_00001_234-5_000

对于十六进制、八进制和二进制值,'x' 数字指定四个、三个或一个"无关"位。因此,值 101xx 是一个五位二进制值,最后两位未指定,而 0x1ax5 是一个具有四个未指定位的十六进制值。这种"无关"位不能用于十进制表示法。

上一页: 测试向量窗口 | 下一页: 特殊值