read_report_section
Reads a selected section of a generated Vivado report by report ID or file path, using start line, line count, or a regex search to inspect timing, resource, or other results.
Instructions
Read a section of a previously generated report file
Tool call template
This tool declares no required parameters. Add optional parameters from the input schema as needed.
{
"id": 1,
"jsonrpc": "2.0",
"method": "tools/call",
"params": {
"arguments": {},
"name": "read_report_section"
}
}Input Schema
| Name | Required | Description | Default |
|---|---|---|---|
| file_path | No | Alternative: direct file path to read | |
| num_lines | No | Number of lines to read (default: 100) | |
| report_id | No | Report ID returned by generate_full_report | |
| start_line | No | Line number to start reading from (1-indexed, default: 1) | |
| search_pattern | No | Regex pattern to find a section (returns lines around first match) |