fix(tests): update cross-layer tests for frame_start bit and stream-gated mux
- TB byte 9 check: expect 0x81 (frame_start=1 after reset + cfar=1) - contract_parser: handle ternary expressions in data_pkt_byte mux (stream_doppler_en ? doppler_real_cap : 8'd0 pattern) - contract_parser: handle intermediate variable pattern for detection field (det_byte = raw[9]; detection = det_byte & 0x01)
This commit is contained in:
@@ -188,7 +188,7 @@ def parse_python_data_packet_fields(filepath: Path | None = None) -> list[DataPa
|
|||||||
width_bits=size * 8
|
width_bits=size * 8
|
||||||
))
|
))
|
||||||
|
|
||||||
# Match detection = raw[9] & 0x01
|
# Match detection = raw[9] & 0x01 (direct access)
|
||||||
for m in re.finditer(r'(\w+)\s*=\s*raw\[(\d+)\]\s*&\s*(0x[0-9a-fA-F]+|\d+)', body):
|
for m in re.finditer(r'(\w+)\s*=\s*raw\[(\d+)\]\s*&\s*(0x[0-9a-fA-F]+|\d+)', body):
|
||||||
name = m.group(1)
|
name = m.group(1)
|
||||||
offset = int(m.group(2))
|
offset = int(m.group(2))
|
||||||
@@ -196,6 +196,24 @@ def parse_python_data_packet_fields(filepath: Path | None = None) -> list[DataPa
|
|||||||
name=name, byte_start=offset, byte_end=offset, width_bits=1
|
name=name, byte_start=offset, byte_end=offset, width_bits=1
|
||||||
))
|
))
|
||||||
|
|
||||||
|
# Match intermediate variable pattern: var = raw[N], then field = var & MASK
|
||||||
|
for m in re.finditer(r'(\w+)\s*=\s*raw\[(\d+)\]', body):
|
||||||
|
var_name = m.group(1)
|
||||||
|
offset = int(m.group(2))
|
||||||
|
# Find fields derived from this intermediate variable
|
||||||
|
for m2 in re.finditer(
|
||||||
|
rf'(\w+)\s*=\s*(?:\({var_name}\s*>>\s*\d+\)\s*&|{var_name}\s*&)\s*'
|
||||||
|
r'(0x[0-9a-fA-F]+|\d+)',
|
||||||
|
body,
|
||||||
|
):
|
||||||
|
name = m2.group(1)
|
||||||
|
# Skip if already captured by direct raw[] access pattern
|
||||||
|
if not any(f.name == name for f in fields):
|
||||||
|
fields.append(DataPacketField(
|
||||||
|
name=name, byte_start=offset, byte_end=offset,
|
||||||
|
width_bits=1
|
||||||
|
))
|
||||||
|
|
||||||
fields.sort(key=lambda f: f.byte_start)
|
fields.sort(key=lambda f: f.byte_start)
|
||||||
return fields
|
return fields
|
||||||
|
|
||||||
@@ -583,12 +601,28 @@ def parse_verilog_data_mux(
|
|||||||
|
|
||||||
for m in re.finditer(
|
for m in re.finditer(
|
||||||
r"5'd(\d+)\s*:\s*data_pkt_byte\s*=\s*(.+?);",
|
r"5'd(\d+)\s*:\s*data_pkt_byte\s*=\s*(.+?);",
|
||||||
mux_body
|
mux_body, re.DOTALL
|
||||||
):
|
):
|
||||||
idx = int(m.group(1))
|
idx = int(m.group(1))
|
||||||
expr = m.group(2).strip()
|
expr = m.group(2).strip()
|
||||||
entries.append((idx, expr))
|
entries.append((idx, expr))
|
||||||
|
|
||||||
|
# Helper: extract the dominant signal name from a mux expression.
|
||||||
|
# Handles direct refs like ``range_profile_cap[31:24]``, ternaries
|
||||||
|
# like ``stream_doppler_en ? doppler_real_cap[15:8] : 8'd0``, and
|
||||||
|
# concat-ternaries like ``stream_cfar_en ? {…, cfar_detection_cap} : …``.
|
||||||
|
def _extract_signal(expr: str) -> str | None:
|
||||||
|
# If it's a ternary, use the true-branch to find the data signal
|
||||||
|
tern = re.match(r'\w+\s*\?\s*(.+?)\s*:\s*.+', expr, re.DOTALL)
|
||||||
|
target = tern.group(1) if tern else expr
|
||||||
|
# Look for a known data signal (xxx_cap pattern or cfar_detection_cap)
|
||||||
|
cap_match = re.search(r'(\w+_cap)\b', target)
|
||||||
|
if cap_match:
|
||||||
|
return cap_match.group(1)
|
||||||
|
# Fall back to first identifier before a bit-select
|
||||||
|
sig_match = re.match(r'(\w+?)(?:\[|$)', target)
|
||||||
|
return sig_match.group(1) if sig_match else None
|
||||||
|
|
||||||
# Group consecutive bytes by signal root name
|
# Group consecutive bytes by signal root name
|
||||||
fields: list[DataPacketField] = []
|
fields: list[DataPacketField] = []
|
||||||
i = 0
|
i = 0
|
||||||
@@ -598,22 +632,21 @@ def parse_verilog_data_mux(
|
|||||||
i += 1
|
i += 1
|
||||||
continue
|
continue
|
||||||
|
|
||||||
# Extract signal name (e.g., range_profile_cap from range_profile_cap[31:24])
|
signal = _extract_signal(expr)
|
||||||
sig_match = re.match(r'(\w+?)(?:\[|$)', expr)
|
if not signal:
|
||||||
if not sig_match:
|
|
||||||
i += 1
|
i += 1
|
||||||
continue
|
continue
|
||||||
|
|
||||||
signal = sig_match.group(1)
|
|
||||||
start_byte = idx
|
start_byte = idx
|
||||||
end_byte = idx
|
end_byte = idx
|
||||||
|
|
||||||
# Find consecutive bytes of the same signal
|
# Find consecutive bytes of the same signal
|
||||||
j = i + 1
|
j = i + 1
|
||||||
while j < len(entries):
|
while j < len(entries):
|
||||||
next_idx, next_expr = entries[j]
|
_next_idx, next_expr = entries[j]
|
||||||
if next_expr.startswith(signal):
|
next_sig = _extract_signal(next_expr)
|
||||||
end_byte = next_idx
|
if next_sig == signal:
|
||||||
|
end_byte = _next_idx
|
||||||
j += 1
|
j += 1
|
||||||
else:
|
else:
|
||||||
break
|
break
|
||||||
|
|||||||
@@ -620,8 +620,10 @@ module tb_cross_layer_ft2232h;
|
|||||||
"Data pkt: byte 7 = 0x56 (doppler_imag MSB)");
|
"Data pkt: byte 7 = 0x56 (doppler_imag MSB)");
|
||||||
check(captured_bytes[8] === 8'h78,
|
check(captured_bytes[8] === 8'h78,
|
||||||
"Data pkt: byte 8 = 0x78 (doppler_imag LSB)");
|
"Data pkt: byte 8 = 0x78 (doppler_imag LSB)");
|
||||||
check(captured_bytes[9] === 8'h01,
|
// Byte 9 = {frame_start, 6'b0, cfar_detection}
|
||||||
"Data pkt: byte 9 = 0x01 (cfar_detection=1)");
|
// After reset sample_counter==0, so frame_start=1 → 0x81
|
||||||
|
check(captured_bytes[9] === 8'h81,
|
||||||
|
"Data pkt: byte 9 = 0x81 (frame_start=1, cfar_detection=1)");
|
||||||
check(captured_bytes[10] === 8'h55,
|
check(captured_bytes[10] === 8'h55,
|
||||||
"Data pkt: byte 10 = 0x55 (footer)");
|
"Data pkt: byte 10 = 0x55 (footer)");
|
||||||
|
|
||||||
|
|||||||
Reference in New Issue
Block a user