【发布时间】:2018-03-06 12:32:39
【问题描述】:
我有以下包含 8 位的位列表(输入到函数):
bs: list of bit;
我有以下结构:
struct uart_frame_s like any_sequence_item {
%start_bit : bit;
data_size : uint;
%data[data_size] : list of bit;
%stop_bit : bit;
keep soft start_bit == 0;
keep soft stop_bit == 1;
keep soft data_size == 8;
};
我必须执行以下操作:
unpack(packing.low, bs, current_frame);
bs 大小为 8,但当前帧包含 10 位的问题.... 那么如何在位列表的开头和结尾添加位(开头为'0',结尾为'1')。
或者验证 bs 将在当前帧中解包到 1-8 位。
【问题讨论】: