feat: 支持服务等级动态切换

- 添加 ServiceTier 类型定义
- 修改 dialogService 接收 serviceTier 参数
- 修改 messageHandler 传递 serviceTier 参数
- 修改 ICHelperPanel 传递 UI 选择的服务等级

.gitignore

@@ -3,3 +3,14 @@ dist
 node_modules
 .vscode-test/
 *.vsix
+
+# waveform_trace 打包产物（exe 太大，通过 Release 发布）
+tools/waveform_trace/bin/
+tools/waveform_trace/src/build/
+tools/waveform_trace/src/dist/
+tools/waveform_trace/src/*.spec
+
+# Python 缓存
+__pycache__/
+*.pyc
+*.pyo

.vscodeignore

@@ -0,0 +1,29 @@
+# 排除开发文件
+.vscode/**
+.git/**
+.gitignore
+node_modules/**
+src/**
+**/*.ts
+**/*.map
+
+# 排除测试文件
+test/**
+**/*.test.js
+
+# 排除文档
+*.md
+!README.md
+
+# 排除 waveform_trace Python 源码（只保留 exe）
+tools/waveform_trace/src/**
+tools/waveform_trace/build/**
+tools/waveform_trace/dist/**
+tools/waveform_trace/build.bat
+tools/waveform_trace/build.sh
+
+# 排除打包临时文件
+**/__pycache__/**
+**/*.pyc
+**/*.pyo
+**/*.spec

src/config/settings.ts

@@ -8,7 +8,10 @@ import * as vscode from "vscode";
 type Environment = "dev" | "test" | "prod";
 
 /** 当前环境 - 修改这里切换环境 */
-const CURRENT_ENV: Environment = "test";
+const CURRENT_ENV: Environment = "dev";
+
+/** 服务等级类型 */
+export type ServiceTier = 'lite' | 'syntaxic' | 'max' | 'auto';
 
 /** 配置项接口 */
 export interface IccoderConfig {
@@ -18,6 +21,8 @@ export interface IccoderConfig {
   timeout: number;
   /** 用户ID（临时使用，后续对接认证） */
   userId: string;
+  /** 服务等级 */
+  serviceTier: ServiceTier;
 }
 
 /** 环境配置 */
@@ -25,20 +30,23 @@ const ENV_CONFIG: Record<Environment, IccoderConfig> = {
   /** 本地开发环境 */
   dev: {
     backendUrl: "http://localhost:2233",
-    timeout: 60000,
+    timeout: 300000,
     userId: "default-user",
+    serviceTier: "max",  // 默认使用 max
   },
   /** 测试服务器环境 */
   test: {
     backendUrl: "http://192.168.1.108:2233",
     timeout: 60000,
     userId: "default-user",
+    serviceTier: "max",
   },
   /** 生产环境 */
   prod: {
-    backendUrl: "https://api.iccoder.com", // TODO: 替换为实际生产地址
+    backendUrl: "https://api.iccoder.com",
     timeout: 60000,
     userId: "default-user",
+    serviceTier: "auto",
   },
 };
 

src/panels/ICHelperPanel.ts

@@ -148,7 +148,8 @@ export async function showICHelperPanel(
             panel,
             message.text,
             context.extensionPath,
-            message.mode
+            message.mode,
+            message.model  // 传递服务等级
           );
           break;
         case "readFile":

src/services/dialogService.ts

@@ -9,7 +9,7 @@ import { startStreamDialog, generateTaskId, SSEController, SSECallbacks } from '
 import { executeToolCall, createToolExecutorContext, ToolExecutorContext } from './toolExecutor';
 import { userInteractionManager } from './userInteraction';
 import { getConfig } from '../config/settings';
-import type { DialogRequest, ToolCallRequest, AskUserEvent, RunMode, ToolConfirmEvent, PlanConfirmEvent } from '../types/api';
+import type { DialogRequest, ToolCallRequest, AskUserEvent, RunMode, ServiceTier, ToolConfirmEvent, PlanConfirmEvent } from '../types/api';
 import { submitToolConfirm, submitAnswer, stopDialog } from './apiClient';
 import { ChatHistoryManager } from '../utils/chatHistoryManager';
 
@@ -316,7 +316,8 @@ export class DialogSession {
   async sendMessage(
     message: string,
     callbacks: DialogCallbacks,
-    mode?: RunMode
+    mode?: RunMode,
+    serviceTier?: ServiceTier  // 新增：服务等级参数
   ): Promise<void> {
     if (this.isActive) {
       callbacks.onError?.('当前有对话正在进行中');
@@ -344,6 +345,7 @@ export class DialogSession {
       message,
       userId: config.userId,
       mode: mode || 'agent',
+      serviceTier: serviceTier || config.serviceTier,  // 优先使用传入的参数
       compactedData: compactedData || undefined,
       newMessages: newMessages.length > 0 ? newMessages : undefined,
       knowledgeData: knowledgeData || undefined

src/services/sseHandler.ts

@@ -331,6 +331,11 @@ function dispatchEvent(
     case 'context_usage':
       callbacks.onContextUsage?.(data as ContextUsageEvent);
       break;
+    case 'heartbeat':
+      // 心跳事件：仅用于保持连接，不需要特殊处理
+      // Node.js req.setTimeout 会在收到数据时自动重置计时器
+      console.log('[SSE] 收到心跳');
+      break;
     default:
       console.log(`[SSE] 未知事件类型: ${eventType}`, data);
   }

src/services/toolExecutor.ts

@@ -9,6 +9,8 @@ import * as fs from 'fs';
 import { readFileContent, readDirectory } from '../utils/readFiles';
 import { createOrOverwriteFile } from '../utils/createFiles';
 import { generateVCD, checkIverilogAvailable } from '../utils/iverilogRunner';
+import { analyzeVcdFile } from '../utils/vcdParser';
+import { executeWaveformTrace, WaveformTraceArgs } from '../utils/waveformTracer';
 import {
   submitToolResult,
   createSuccessResult,
@@ -79,6 +81,9 @@ export async function executeToolCall(
       case 'waveform_summary':
         resultText = await executeWaveformSummary(args as unknown as WaveformSummaryArgs);
         break;
+      case 'waveform_trace':
+        resultText = await executeWaveformTrace(args as unknown as WaveformTraceArgs, context);
+        break;
       case 'knowledge_save':
         resultText = await executeKnowledgeSave(args as unknown as KnowledgeSaveArgs);
         break;
@@ -300,12 +305,36 @@ async function executeSimulation(
 
 /**
  * 执行 waveform_summary 工具
- * TODO: 实现 VCD 波形分析
+ * 解析 VCD 文件并返回波形摘要
  */
 async function executeWaveformSummary(args: WaveformSummaryArgs): Promise<string> {
-  // TODO: 使用 vcdrom/vcd-stream 解析 VCD 文件
+  const { vcdPath, signals, checkpoints } = args;
-  // 目前返回一个占位响应
+
-  return `波形分析功能暂未实现。\n请求参数:\n- VCD文件: ${args.vcdPath}\n- 信号: ${args.signals}\n- 检查点: ${args.checkpoints || '无'}`;
+  // 获取工作区路径
+  const workspaceFolders = vscode.workspace.workspaceFolders;
+  if (!workspaceFolders || workspaceFolders.length === 0) {
+    throw new Error('请先打开一个工作区');
+  }
+
+  const workspacePath = workspaceFolders[0].uri.fsPath;
+
+  // 解析 VCD 文件路径（支持相对路径）
+  const absolutePath = path.isAbsolute(vcdPath)
+    ? vcdPath
+    : path.join(workspacePath, vcdPath);
+
+  // 检查文件是否存在
+  if (!fs.existsSync(absolutePath)) {
+    throw new Error(`VCD 文件不存在: ${vcdPath}`);
+  }
+
+  // 解析检查点时间
+  const checkpoint = checkpoints ? parseInt(checkpoints, 10) : undefined;
+
+  // 调用 VCD 解析器
+  const result = analyzeVcdFile(absolutePath, signals, checkpoint);
+
+  return result;
 }
 
 /**

src/types/api.ts

@@ -16,6 +16,15 @@ import { CompactedMemory, CompactedMessage } from './memory';
  */
 export type RunMode = 'plan' | 'ask' | 'agent' | 'auto';
 
+/**
+ * 服务等级类型
+ * - lite: 轻量级
+ * - syntaxic: 语法级
+ * - max: 最大性能
+ * - auto: 自动选择
+ */
+export type ServiceTier = 'lite' | 'syntaxic' | 'max' | 'auto';
+
 /**
  * 对话请求
  * POST /api/dialog/stream
@@ -29,6 +38,8 @@ export interface DialogRequest {
   userId: string;
   /** 运行模式 */
   mode: RunMode;
+  /** 服务等级 */
+  serviceTier?: ServiceTier;
   /** 压缩后的记忆数据（用于后端重启后恢复） */
   compactedData?: CompactedMemory;
   /** 压缩后产生的新消息 */
@@ -59,7 +70,8 @@ export type SSEEventType =
   | 'error'           // 错误
   | 'warning'         // 警告
   | 'notification'    // 通知
-  | 'depth_update';   // 深度更新
+  | 'depth_update'    // 深度更新
+  | 'heartbeat';      // 心跳
 
 /** text_delta 事件数据 */
 export interface TextDeltaEvent {
@@ -309,6 +321,7 @@ export type ToolName =
   | 'syntax_check'
   | 'simulation'
   | 'waveform_summary'
+  | 'waveform_trace'
   | 'knowledge_save'
   | 'knowledge_load';
 
@@ -354,6 +367,18 @@ export interface WaveformSummaryArgs {
   checkpoints?: string;
 }
 
+/** waveform_trace 工具参数 */
+export interface WaveformTraceArgs {
+  /** Verilog 源文件路径（相对于项目根目录） */
+  verilogPath: string;
+  /** VCD 波形文件路径（相对于项目根目录） */
+  vcdPath: string;
+  /** 仿真工具的输出字符串（包含 mismatch 信息） */
+  simOutput: string;
+  /** BFS 回溯层数，默认 2 */
+  traceLevel?: number;
+}
+
 /** knowledge_save 工具参数 */
 export interface KnowledgeSaveArgs {
   /** 知识图谱 JSON 数据 */
@@ -374,5 +399,6 @@ export type ToolArgs =
   | SyntaxCheckArgs
   | SimulationArgs
   | WaveformSummaryArgs
+  | WaveformTraceArgs
   | KnowledgeSaveArgs
   | KnowledgeLoadArgs;

src/utils/messageHandler.ts

@@ -19,7 +19,7 @@ import { dialogManager, DialogSession } from "../services/dialogService";
 import { userInteractionManager } from "../services/userInteraction";
 import { healthCheck } from "../services/apiClient";
 
-import type { RunMode } from "../types/api";
+import type { RunMode, ServiceTier } from "../types/api";
 
 /** 是否使用后端服务（可通过配置控制） */
 let useBackendService = true;
@@ -58,7 +58,8 @@ export async function handleUserMessage(
   panel: vscode.WebviewPanel,
   text: string,
   extensionPath?: string,
-  mode?: RunMode
+  mode?: RunMode,
+  serviceTier?: ServiceTier  // 新增：服务等级参数
 ) {
   console.log("收到用户消息:", text);
 
@@ -90,7 +91,7 @@ export async function handleUserMessage(
   // 尝试使用后端服务
   if (useBackendService && extensionPath) {
     try {
-      await handleUserMessageWithBackend(panel, text, extensionPath, mode);
+      await handleUserMessageWithBackend(panel, text, extensionPath, mode, undefined, serviceTier);
       return;
     } catch (error) {
       console.error("后端服务不可用:", error);
@@ -125,20 +126,23 @@ async function handleUserMessageWithBackend(
   text: string,
   extensionPath: string,
   mode?: RunMode,
-  reuseTaskId?: string // 可选，复用现有 taskId（用于 Plan 模式确认后继续执行）
+  reuseTaskId?: string, // 可选，复用现有 taskId（用于 Plan 模式确认后继续执行）
+  serviceTier?: ServiceTier  // 新增：服务等级参数
 ): Promise<void> {
+  const historyManager = ChatHistoryManager.getInstance();
+
+  // 获取 historyManager 中的 taskId（由 ICHelperPanel 创建）
+  // 优先使用 reuseTaskId，其次使用 historyManager 的 taskId
+  const taskIdToUse = reuseTaskId || historyManager.getCurrentTaskId();
+
   // 创建或复用会话
   if (!currentSession || !currentSession.active) {
-    currentSession = dialogManager.createSession(extensionPath, reuseTaskId);
+    currentSession = dialogManager.createSession(extensionPath, taskIdToUse || undefined);
     // 保存 taskId 用于后续操作（如压缩）
     lastTaskId = currentSession.getTaskId();
-    if (reuseTaskId) {
+    console.log("[MessageHandler] 创建会话: taskId=", lastTaskId, "来源=", taskIdToUse ? "historyManager" : "新生成");
-      console.log("[MessageHandler] 复用 taskId 创建会话:", reuseTaskId);
-    }
   }
 
-  const historyManager = ChatHistoryManager.getInstance();
-
   // 显示状态栏
   panel.webview.postMessage({
     command: "updateStatus",
@@ -196,10 +200,6 @@ async function handleUserMessageWithBackend(
 
           // 最后一次发送完整的段落
           console.log("[MessageHandler] 对话完成, 段落数:", segments.length);
-          console.log(
-            "[MessageHandler] segments 内容:",
-            JSON.stringify(segments)
-          );
 
           const result = await panel.webview.postMessage({
             command: "updateSegments",
@@ -289,7 +289,8 @@ async function handleUserMessageWithBackend(
           });
         },
       },
-      mode
+      mode,
+      serviceTier  // 传递服务等级
     );
   });
 }

src/utils/vcdParser.ts

@@ -0,0 +1,467 @@
+/**
+ * VCD (Value Change Dump) 解析器
+ * 纯 TypeScript 实现，参照 VerilogCoder 项目格式
+ *
+ * @deprecated 当前未使用，保留备用
+ * 目前使用 waveformTracer.ts 调用 Python 打包的 waveform_trace.exe
+ * 未来可能用此文件替换 Python 实现
+ */
+import * as fs from 'fs';
+import * as path from 'path';
+
+// ==================== 类型定义 ====================
+
+/** 信号定义 */
+export interface VcdSignal {
+  name: string;           // 完整路径名，如 "tb.top_module.data"
+  shortName: string;      // 短名，如 "data"
+  symbolId: string;       // VCD 符号 ID，如 "!", "#"
+  width: number;          // 位宽
+  varType: string;        // 变量类型：wire, reg
+  module: string;         // 所属模块
+}
+
+/** 时间-值对 */
+export interface TimeValue {
+  time: number;
+  value: string;
+}
+
+/** 信号波形数据 */
+export interface SignalWaveform {
+  signal: VcdSignal;
+  changes: TimeValue[];
+}
+
+/** VCD 解析结果 */
+export interface VcdData {
+  date?: string;
+  version?: string;
+  timescale: string;
+  endTime: number;
+  signals: Map<string, VcdSignal>;      // symbolId -> signal
+  waveforms: Map<string, TimeValue[]>;  // symbolId -> changes
+}
+
+/** Mismatch 信息 */
+export interface MismatchInfo {
+  time: number;
+  signal: string;
+  dutValue: string;
+  refValue: string;
+}
+
+// ==================== VCD 解析器 ====================
+
+export class VcdParser {
+  private signals: Map<string, VcdSignal> = new Map();
+  private waveforms: Map<string, TimeValue[]> = new Map();
+  private scopeStack: string[] = [];
+  private timescale: string = '1ns';
+  private currentTime: number = 0;
+  private endTime: number = 0;
+  private date?: string;
+  private version?: string;
+
+  /**
+   * 解析 VCD 文件
+   */
+  parse(filePath: string): VcdData {
+    const content = fs.readFileSync(filePath, 'utf-8');
+    return this.parseContent(content);
+  }
+
+  /**
+   * 解析 VCD 内容
+   */
+  parseContent(content: string): VcdData {
+    // 预处理：将多行指令合并成单行
+    const normalizedContent = this.normalizeVcdContent(content);
+    const lines = normalizedContent.split('\n');
+    let inDefinitions = true;
+
+    for (const rawLine of lines) {
+      const line = rawLine.trim();
+      if (!line) continue;
+
+      if (inDefinitions) {
+        // 解析定义区
+        if (line.startsWith('$enddefinitions')) {
+          inDefinitions = false;
+          continue;
+        }
+        this.parseDefinition(line);
+      } else {
+        // 解析数据区
+        this.parseValueChange(line);
+      }
+    }
+
+    return {
+      date: this.date,
+      version: this.version,
+      timescale: this.timescale,
+      endTime: this.endTime,
+      signals: this.signals,
+      waveforms: this.waveforms
+    };
+  }
+
+  private parseDefinition(line: string): void {
+    if (line.startsWith('$date')) {
+      this.date = this.extractValue(line);
+    } else if (line.startsWith('$version')) {
+      this.version = this.extractValue(line);
+    } else if (line.startsWith('$timescale')) {
+      this.timescale = this.extractValue(line) || '1ns';
+    } else if (line.startsWith('$scope')) {
+      const match = line.match(/\$scope\s+\w+\s+(\S+)/);
+      if (match) {
+        this.scopeStack.push(match[1]);
+      }
+    } else if (line.startsWith('$upscope')) {
+      this.scopeStack.pop();
+    } else if (line.startsWith('$var')) {
+      this.parseVariable(line);
+    }
+  }
+
+  private parseVariable(line: string): void {
+    // $var wire 8 # data [7:0] $end
+    // $var reg 1 ! clk $end
+    const match = line.match(/\$var\s+(\w+)\s+(\d+)\s+(\S+)\s+(\S+)/);
+    if (!match) return;
+
+    const [, varType, widthStr, symbolId, name] = match;
+    const width = parseInt(widthStr, 10);
+    const module = this.scopeStack.join('.');
+    const fullName = module ? `${module}.${name}` : name;
+
+    const signal: VcdSignal = {
+      name: fullName,
+      shortName: name.replace(/\[\d+:\d+\]/, ''),  // 移除位宽标注
+      symbolId,
+      width,
+      varType,
+      module
+    };
+
+    this.signals.set(symbolId, signal);
+    this.waveforms.set(symbolId, []);
+  }
+
+  private parseValueChange(line: string): void {
+    if (line.startsWith('#')) {
+      // 时间戳: #100
+      this.currentTime = parseInt(line.substring(1), 10);
+      this.endTime = Math.max(this.endTime, this.currentTime);
+    } else if (line.startsWith('b') || line.startsWith('B')) {
+      // 多位值: b10101010 #
+      const spaceIdx = line.indexOf(' ');
+      if (spaceIdx > 0) {
+        const value = line.substring(1, spaceIdx);
+        const symbolId = line.substring(spaceIdx + 1).trim();
+        this.addChange(symbolId, value);
+      }
+    } else if (line.length >= 2 && !line.startsWith('$')) {
+      // 单位值: 0! 或 1# 或 x$
+      const value = line[0];
+      const symbolId = line.substring(1).trim();
+      if (symbolId && this.signals.has(symbolId)) {
+        this.addChange(symbolId, value);
+      }
+    }
+  }
+
+  private addChange(symbolId: string, value: string): void {
+    const changes = this.waveforms.get(symbolId);
+    if (changes) {
+      changes.push({ time: this.currentTime, value });
+    }
+  }
+
+  private extractValue(line: string): string {
+    // 提取 $xxx value $end 中的 value
+    const match = line.match(/\$\w+\s+(.+?)\s*\$end/);
+    return match ? match[1].trim() : '';
+  }
+
+  /**
+   * 预处理 VCD 内容，将多行指令合并成单行
+   */
+  private normalizeVcdContent(content: string): string {
+    // 将多行 $xxx ... $end 合并成单行
+    return content.replace(/(\$\w+)\s*\n\s*([^\$]+?)\s*\n\s*(\$end)/g, '$1 $2 $3');
+  }
+}
+
+// ==================== 波形分析工具 ====================
+
+/**
+ * 二进制字符串转十六进制
+ */
+export function binaryToHex(binary: string): string {
+  if (binary === 'x' || binary === 'X' || binary.includes('x')) {
+    return 'xx';
+  }
+  if (binary === 'z' || binary === 'Z' || binary.includes('z')) {
+    return 'zz';
+  }
+  if (binary.length <= 1) {
+    return binary;
+  }
+  // 补齐到 4 的倍数
+  const padded = binary.padStart(Math.ceil(binary.length / 4) * 4, '0');
+  let hex = '';
+  for (let i = 0; i < padded.length; i += 4) {
+    hex += parseInt(padded.substring(i, i + 4), 2).toString(16);
+  }
+  return hex;
+}
+
+/**
+ * 获取信号在指定时间的值
+ */
+export function getValueAtTime(
+  changes: TimeValue[],
+  time: number
+): string {
+  let value = 'x';
+  for (const change of changes) {
+    if (change.time <= time) {
+      value = change.value;
+    } else {
+      break;
+    }
+  }
+  return value;
+}
+
+/**
+ * 查找 DUT 和 REF 信号的第一个 mismatch
+ */
+export function findFirstMismatch(
+  vcdData: VcdData,
+  dutSignals: string[],
+  refSignals: string[]
+): MismatchInfo | null {
+  // 收集所有时间点
+  const allTimes = new Set<number>();
+  for (const changes of vcdData.waveforms.values()) {
+    for (const c of changes) {
+      allTimes.add(c.time);
+    }
+  }
+  const sortedTimes = Array.from(allTimes).sort((a, b) => a - b);
+
+  // 按信号名匹配 DUT 和 REF
+  for (const time of sortedTimes) {
+    for (let i = 0; i < dutSignals.length; i++) {
+      const dutSig = findSignalByName(vcdData, dutSignals[i]);
+      const refSig = findSignalByName(vcdData, refSignals[i]);
+
+      if (!dutSig || !refSig) continue;
+
+      const dutChanges = vcdData.waveforms.get(dutSig.symbolId) || [];
+      const refChanges = vcdData.waveforms.get(refSig.symbolId) || [];
+
+      const dutVal = getValueAtTime(dutChanges, time);
+      const refVal = getValueAtTime(refChanges, time);
+
+      // 跳过未知值
+      if (dutVal.includes('x') || refVal.includes('x')) continue;
+
+      if (dutVal !== refVal) {
+        return {
+          time,
+          signal: dutSig.shortName,
+          dutValue: binaryToHex(dutVal),
+          refValue: binaryToHex(refVal)
+        };
+      }
+    }
+  }
+  return null;
+}
+
+/**
+ * 按名称查找信号
+ */
+function findSignalByName(vcdData: VcdData, name: string): VcdSignal | null {
+  for (const signal of vcdData.signals.values()) {
+    if (signal.name.endsWith(name) || signal.shortName === name) {
+      return signal;
+    }
+  }
+  return null;
+}
+
+/**
+ * 生成波形表格（参照 VerilogCoder 格式）
+ */
+export function generateWaveformTable(
+  vcdData: VcdData,
+  signalNames: string[],
+  startTime: number = 0,
+  endTime?: number,
+  windowSize: number = 20
+): string {
+  const actualEndTime = endTime ?? vcdData.endTime;
+
+  // 查找信号
+  const signals: VcdSignal[] = [];
+  for (const name of signalNames) {
+    const sig = findSignalByName(vcdData, name);
+    if (sig) signals.push(sig);
+  }
+
+  if (signals.length === 0) {
+    return '未找到指定信号';
+  }
+
+  // 收集时间点
+  const times = new Set<number>();
+  for (const sig of signals) {
+    const changes = vcdData.waveforms.get(sig.symbolId) || [];
+    for (const c of changes) {
+      if (c.time >= startTime && c.time <= actualEndTime) {
+        times.add(c.time);
+      }
+    }
+  }
+
+  let sortedTimes = Array.from(times).sort((a, b) => a - b);
+  if (sortedTimes.length > windowSize) {
+    sortedTimes = sortedTimes.slice(0, windowSize);
+  }
+
+  // 生成表头
+  const headers = ['time(ns)', ...signals.map(s => s.shortName)];
+  const colWidths = headers.map(h => Math.max(h.length, 8));
+
+  let table = '### Waveform Trace ###\n';
+  table += headers.map((h, i) => h.padEnd(colWidths[i])).join('  ') + '\n';
+  table += colWidths.map(w => '─'.repeat(w)).join('──') + '\n';
+
+  // 生成数据行
+  for (const time of sortedTimes) {
+    const row = [time.toString()];
+    for (const sig of signals) {
+      const changes = vcdData.waveforms.get(sig.symbolId) || [];
+      const val = getValueAtTime(changes, time);
+      row.push(binaryToHex(val));
+    }
+    table += row.map((v, i) => v.padEnd(colWidths[i])).join('  ') + '\n';
+  }
+
+  table += '### Waveform Trace End ###\n';
+  return table;
+}
+
+/**
+ * 获取信号显示名称（模块.信号名[位宽]）
+ */
+function getSignalDisplayName(sig: VcdSignal): string {
+  const moduleParts = sig.module.split('.');
+  const moduleShort = moduleParts[moduleParts.length - 1] || '';
+  const bitInfo = sig.width > 1 ? `[${sig.width - 1}:0]` : '';
+  return moduleShort ? `${moduleShort}.${sig.shortName}${bitInfo}` : `${sig.shortName}${bitInfo}`;
+}
+
+/**
+ * 生成变化日志格式（只记录信号变化）
+ */
+export function generateChangeLog(vcdData: VcdData): string {
+  // 筛选信号（排除 parameter）
+  const signals: VcdSignal[] = [];
+  for (const sig of vcdData.signals.values()) {
+    if (sig.varType !== 'parameter') {
+      signals.push(sig);
+    }
+  }
+
+  // 收集所有时间点
+  const times = new Set<number>();
+  for (const sig of signals) {
+    const changes = vcdData.waveforms.get(sig.symbolId) || [];
+    for (const c of changes) {
+      times.add(c.time);
+    }
+  }
+  const sortedTimes = Array.from(times).sort((a, b) => a - b);
+
+  // 记录每个信号的上一个值
+  const lastValues = new Map<string, string | null>();
+  for (const sig of signals) {
+    lastValues.set(sig.symbolId, null);
+  }
+
+  let log = '';
+
+  for (const time of sortedTimes) {
+    const changes: string[] = [];
+
+    for (const sig of signals) {
+      const waveform = vcdData.waveforms.get(sig.symbolId) || [];
+      const currentVal = binaryToHex(getValueAtTime(waveform, time));
+      const lastVal = lastValues.get(sig.symbolId);
+
+      if (lastVal === null) {
+        changes.push(`${getSignalDisplayName(sig)}=${currentVal}`);
+      } else if (currentVal !== lastVal) {
+        changes.push(`${getSignalDisplayName(sig)} ${lastVal}→${currentVal}`);
+      }
+
+      lastValues.set(sig.symbolId, currentVal);
+    }
+
+    if (changes.length > 0) {
+      log += `#${time}: ${changes.join(', ')}\n`;
+    }
+  }
+
+  return log;
+}
+
+/**
+ * 分析 VCD 文件（主入口）
+ */
+export function analyzeVcdFile(
+  filePath: string,
+  signalFilter?: string,
+  checkpoint?: number
+): string {
+  // 解析 VCD
+  const parser = new VcdParser();
+  const vcdData = parser.parse(filePath);
+
+  // 解析信号过滤器
+  const signalNames = signalFilter
+    ? signalFilter.split(',').map(s => s.trim())
+    : Array.from(vcdData.signals.values()).map(s => s.shortName);
+
+  // 生成摘要
+  let result = `=== VCD 波形分析 ===\n`;
+  result += `文件: ${path.basename(filePath)}\n`;
+  result += `时间单位: ${vcdData.timescale}\n`;
+  result += `仿真时长: 0 - ${vcdData.endTime}${vcdData.timescale}\n\n`;
+
+  // 信号列表
+  result += `--- 信号列表 (${vcdData.signals.size} 个) ---\n`;
+  let idx = 1;
+  for (const sig of vcdData.signals.values()) {
+    if (idx <= 10) {
+      result += `${idx}. ${sig.shortName} (${sig.width}-bit, ${sig.varType})\n`;
+    }
+    idx++;
+  }
+  if (vcdData.signals.size > 10) {
+    result += `... 还有 ${vcdData.signals.size - 10} 个信号\n`;
+  }
+  result += '\n';
+
+  // 变化日志
+  result += generateChangeLog(vcdData);
+
+  return result;
+}

src/utils/waveformTracer.ts

@@ -0,0 +1,145 @@
+/**
+ * 波形追踪工具
+ * 调用 PyInstaller 打包的 waveform_trace 可执行文件
+ */
+import { spawn } from 'child_process';
+import * as path from 'path';
+import * as fs from 'fs';
+import * as vscode from 'vscode';
+
+/**
+ * 波形追踪参数
+ */
+export interface WaveformTraceArgs {
+  /** Verilog 源文件路径（相对于项目根目录） */
+  verilogPath: string;
+  /** VCD 波形文件路径（相对于项目根目录） */
+  vcdPath: string;
+  /** 仿真工具的输出字符串（包含 mismatch 信息） */
+  simOutput: string;
+  /** BFS 回溯层数，默认 2 */
+  traceLevel?: number;
+}
+
+/**
+ * 执行波形追踪
+ * @param args 追踪参数
+ * @param context 执行上下文
+ * @returns 追踪结果字符串
+ */
+export async function executeWaveformTrace(
+  args: WaveformTraceArgs,
+  context: { extensionPath: string }
+): Promise<string> {
+  // 获取可执行文件路径
+  const tracerPath = getWaveformTracerPath(context.extensionPath);
+
+  // 检查可执行文件是否存在
+  if (!fs.existsSync(tracerPath)) {
+    throw new Error(
+      `waveform_trace 工具未安装: ${tracerPath}\n` +
+      '请确保插件包含 tools/waveform_trace/bin/ 目录'
+    );
+  }
+
+  // 获取工作区路径
+  const workspaceFolders = vscode.workspace.workspaceFolders;
+  if (!workspaceFolders || workspaceFolders.length === 0) {
+    throw new Error('请先打开一个工作区');
+  }
+  const workspacePath = workspaceFolders[0].uri.fsPath;
+
+  // 解析路径（支持相对路径）
+  const verilogAbsPath = path.isAbsolute(args.verilogPath)
+    ? args.verilogPath
+    : path.join(workspacePath, args.verilogPath);
+  const vcdAbsPath = path.isAbsolute(args.vcdPath)
+    ? args.vcdPath
+    : path.join(workspacePath, args.vcdPath);
+
+  // 验证文件存在
+  if (!fs.existsSync(verilogAbsPath)) {
+    throw new Error(`Verilog 文件不存在: ${args.verilogPath}`);
+  }
+  if (!fs.existsSync(vcdAbsPath)) {
+    throw new Error(`VCD 文件不存在: ${args.vcdPath}`);
+  }
+
+  // 调用可执行文件
+  return new Promise((resolve, reject) => {
+    const child = spawn(tracerPath, [
+      '--verilog', verilogAbsPath,
+      '--vcd', vcdAbsPath,
+      '--sim-output', args.simOutput,
+      '--trace-level', String(args.traceLevel || 2),
+      '--output-format', 'text'
+    ], {
+      windowsHide: true,
+      cwd: workspacePath,
+      shell: false
+    });
+
+    let stdout = '';
+    let stderr = '';
+
+    child.stdout.on('data', (data: Buffer) => {
+      stdout += data.toString();
+    });
+
+    child.stderr.on('data', (data: Buffer) => {
+      stderr += data.toString();
+    });
+
+    child.on('close', (code: number | null) => {
+      if (code === 0) {
+        resolve(stdout);
+      } else {
+        reject(new Error(
+          `waveform_trace 执行失败 (code=${code}):\n${stderr || stdout}`
+        ));
+      }
+    });
+
+    child.on('error', (error: Error) => {
+      reject(new Error(`waveform_trace 启动失败: ${error.message}`));
+    });
+  });
+}
+
+/**
+ * 获取 waveform_trace 可执行文件路径
+ */
+function getWaveformTracerPath(extensionPath: string): string {
+  const platform = process.platform;
+  let binName = 'waveform_trace';
+
+  if (platform === 'win32') {
+    binName = 'waveform_trace.exe';
+  }
+
+  return path.join(extensionPath, 'tools', 'waveform_trace', 'bin', binName);
+}
+
+/**
+ * 检查 waveform_trace 工具是否可用
+ */
+export function checkWaveformTraceAvailable(extensionPath: string): {
+  available: boolean;
+  message: string;
+  path?: string;
+} {
+  const tracerPath = getWaveformTracerPath(extensionPath);
+
+  if (fs.existsSync(tracerPath)) {
+    return {
+      available: true,
+      message: 'waveform_trace 工具可用',
+      path: tracerPath
+    };
+  } else {
+    return {
+      available: false,
+      message: `waveform_trace 工具未找到: ${tracerPath}`
+    };
+  }
+}

src/views/agentCard.ts

@@ -147,7 +147,11 @@ export function getAgentCardScript(): string {
         'addPlan': '添加计划',
         'addEdge': '添加边',
         'showPlan': '显示计划',
-        'spawnExplorer': '代码探索'
+        'spawnExplorer': '代码探索',
+        'spawnDebugger': '波形调试',
+        'queryByBFS': 'BFS查询',
+        'queryStateTransitions': '查询状态转移',
+        'addStateTransition': '添加状态转移'
       };
       return toolNameMap[toolName] || toolName;
     }

tools/waveform_trace/build.bat

@@ -0,0 +1,42 @@
+@echo off
+REM waveform_trace 打包脚本 (Windows)
+REM 用法: build.bat
+
+echo ========================================
+echo   waveform_trace 打包脚本
+echo ========================================
+
+cd /d "%~dp0src"
+
+echo.
+echo [1/3] 安装依赖...
+pip install -r requirements.txt
+if %errorlevel% neq 0 (
+    echo 错误: 依赖安装失败
+    exit /b 1
+)
+
+echo.
+echo [2/3] 清理旧文件...
+if exist build rmdir /s /q build
+if exist dist rmdir /s /q dist
+if exist waveform_trace.spec del waveform_trace.spec
+
+echo.
+echo [3/3] PyInstaller 打包...
+pyinstaller --onefile --name waveform_trace --collect-all pyverilog waveform_trace_cli.py
+if %errorlevel% neq 0 (
+    echo 错误: 打包失败
+    exit /b 1
+)
+
+echo.
+echo [4/4] 复制到 bin 目录...
+if not exist "..\bin" mkdir "..\bin"
+copy /y "dist\waveform_trace.exe" "..\bin\"
+
+echo.
+echo ========================================
+echo   打包完成!
+echo   输出: tools/waveform_trace/bin/waveform_trace.exe
+echo ========================================

tools/waveform_trace/build.sh

@@ -0,0 +1,35 @@
+#!/bin/bash
+# waveform_trace 打包脚本 (Linux/macOS)
+# 用法: ./build.sh
+
+set -e
+
+echo "========================================"
+echo "  waveform_trace 打包脚本"
+echo "========================================"
+
+SCRIPT_DIR="$(cd "$(dirname "$0")" && pwd)"
+cd "$SCRIPT_DIR/src"
+
+echo ""
+echo "[1/4] 安装依赖..."
+pip install -r requirements.txt
+
+echo ""
+echo "[2/4] 清理旧文件..."
+rm -rf build dist *.spec
+
+echo ""
+echo "[3/4] PyInstaller 打包..."
+pyinstaller --onefile --name waveform_trace --collect-all pyverilog waveform_trace_cli.py
+
+echo ""
+echo "[4/4] 复制到 bin 目录..."
+mkdir -p ../bin
+cp dist/waveform_trace ../bin/
+
+echo ""
+echo "========================================"
+echo "  打包完成!"
+echo "  输出: tools/waveform_trace/bin/waveform_trace"
+echo "========================================"

tools/waveform_trace/src/README.md

@@ -0,0 +1,115 @@
+# AST 波形调试核心代码
+
+## 文件说明
+
+| 文件 | 作用 | 核心函数 | TS重写需要 |
+|------|------|----------|------------|
+| `ast_node.py` | AST节点定义，遍历建图 | `toplogic_tree_traverse()` | ✅ 已完成 |
+| `graph_builder.py` | 入口函数，调用解析器 | `generate_top_logic_graph()` | ✅ 已完成 |
+| `debug_graph_analyzer.py` | BFS回溯控制信号 | `get_k_control_signals()` | ⚠️ 需重写 |
+| `vcd_waveform_analyzer.py` | VCD波形文件解析 | `parse_mismatch()`, `get_tabular()` | ⚠️ 需重写 |
+| `waveform_trace_tool.py` | 完整追踪工具封装 | `waveform_trace_tool()` | ⚠️ 需重写 |
+
+---
+
+## 调用流程
+
+```
+Verilog代码文件
+       │
+       ▼
+┌─────────────────────────────────────┐
+│ graph_builder.py                    │
+│ generate_top_logic_graph(filelist)  │
+│       │                             │
+│       ▼                             │
+│ PyVerilog.parse() → AST             │
+│       │                             │
+│       ▼                             │
+│ ast.toplogic_tree_traverse()        │
+│       │                             │
+│       ▼                             │
+│ NetworkX 有向图（信号依赖图）       │
+└─────────────────────────────────────┘
+       │
+       ▼
+┌─────────────────────────────────────┐
+│ debug_graph_analyzer.py             │
+│ DebugGraph.get_k_control_signals()  │
+│       │                             │
+│       ▼                             │
+│ BFS回溯K层，找到控制信号链          │
+└─────────────────────────────────────┘
+       │
+       ▼
+┌─────────────────────────────────────┐
+│ vcd_waveform_analyzer.py            │
+│ parse_mismatch() + get_tabular()    │
+│       │                             │
+│       ▼                             │
+│ 提取相关信号的波形表                │
+└─────────────────────────────────────┘
+```
+
+---
+
+## 核心代码位置
+
+### 1. AST遍历建图 (ast_node.py:32-137)
+
+```python
+def toplogic_tree_traverse(self, network_G, rvalue=False, lvalue=False, offset=0):
+    """
+    递归遍历AST，提取信号依赖关系，填充到NetworkX图中
+
+    关键逻辑：
+    1. 识别 Rvalue（右值）和 Lvalue（左值）
+    2. 递归收集子节点的信号
+    3. 建立边：右值信号 → 左值信号（控制关系）
+    """
+```
+
+### 2. 图构建入口 (graph_builder.py:89-99)
+
+```python
+def generate_top_logic_graph(filelist: list[str]):
+    # 1. PyVerilog解析Verilog代码
+    ast, directives = parse(filelist, preprocess_include=[], preprocess_define=[])
+    # 2. 遍历AST，构建信号依赖图
+    return create_graph_from_ast(ast, display=False, display_signal_only=False)
+```
+
+### 3. BFS回溯 (debug_graph_analyzer.py:20-66)
+
+```python
+def get_k_control_signals(self, target_signals: list[str], k: int, signal_only: bool = False):
+    """
+    从出错信号出发，BFS回溯K层，找到所有控制信号
+
+    输入：target_signals = ['out']  # 出错的信号
+    输出：control_signals = {'out': (10,10), 'state': (5,8), 'clk': (1,1)}
+          signal_level_tracer = [['clk->state', 'reset->state'], ['state->out']]
+    """
+```
+
+---
+
+## 依赖库
+
+```
+pyverilog    # Verilog解析，生成AST
+networkx     # 图数据结构
+pandas       # 波形数据处理（可选）
+```
+
+---
+
+## 如果要用JavaScript重写
+
+需要重写的核心逻辑：
+
+1. **Verilog解析器** → 用 ANTLR4 + Verilog.g4 或 tree-sitter-verilog
+2. **AST遍历建图** → 约100行，参考 ast_node.py:32-137
+3. **BFS回溯** → 约70行，参考 debug_graph_analyzer.py
+
+总计约 **200行核心逻辑**（不含解析器）

tools/waveform_trace/src/TS_REWRITE_SPEC.md

@@ -0,0 +1,455 @@
+# AST波形调试工具 - TypeScript重写规范
+
+## 一、项目背景
+
+将Python实现的Verilog AST波形调试工具重写为TypeScript，用于VSCode插件。
+
+**已完成部分**：
+- ✅ Verilog AST解析（生成JSON格式的信号依赖图）
+- ✅ 图结构定义
+
+**待重写部分**：
+- ⚠️ BFS信号回溯
+- ⚠️ VCD波形解析
+- ⚠️ 仿真输出解析
+- ⚠️ 工具整合封装
+
+---
+
+## 二、数据结构定义
+
+### 2.1 AST图结构（已完成）
+
+```typescript
+interface ASTNode {
+  id: string;
+  attributes: {
+    lines: [number, number];  // [起始行, 结束行]
+    type: string;             // Input/Output/Reg/Wire/Always/Assign等
+  };
+}
+
+interface ASTEdge {
+  from: string;   // 控制信号
+  to: string;     // 被控制信号
+  attributes: {
+    lines: [number, number];
+    type: string;  // Always/Assign/IfStatement等
+  };
+}
+
+interface ASTGraph {
+  metadata: {
+    moduleName: string;
+    nodeCount: number;
+    edgeCount: number;
+    generatedAt: string;
+  };
+  nodes: ASTNode[];
+  edges: ASTEdge[];
+}
+```
+
+### 2.2 追踪结果结构
+
+```typescript
+interface TraceResult {
+  controlSignals: Map<string, [number, number]>;  // 信号名 -> 代码行号
+  signalLevelTracer: string[][];                  // 每层的控制关系链
+}
+```
+
+### 2.3 波形数据结构
+
+```typescript
+interface WaveformData {
+  time: number;           // 时间点(ns)
+  signals: {
+    [signalName: string]: string;  // 信号名 -> 值(十六进制)
+  };
+}
+
+interface MismatchInfo {
+  signals: string[];      // 出错的信号列表
+  firstMismatchTime: number;  // 第一次出错的时间
+}
+```
+
+---
+
+## 三、需要重写的模块
+
+### 3.1 BFS信号回溯模块
+
+**源文件**: `debug_graph_analyzer.py`
+**代码行数**: ~70行
+**第三方依赖**: 无
+
+#### 功能描述
+从出错信号出发，BFS反向遍历图，找到所有控制该信号的上游信号。
+
+#### 输入输出
+```typescript
+// 输入
+graph: ASTGraph           // AST图（JSON格式）
+targetSignals: string[]   // 出错的信号列表，如 ['count', 'overflow']
+k: number                 // 回溯层数
+signalOnly: boolean       // 是否只返回信号节点（过滤Always/Assign等）
+
+// 输出
+TraceResult {
+  controlSignals: Map<string, [number, number]>,
+  signalLevelTracer: string[][]
+}
+```
+
+#### 核心算法（伪代码）
+```
+1. 构建前驱映射（反向边）
+   for each edge in graph.edges:
+     predecessorMap[edge.to].push(edge.from)
+
+2. 初始化BFS队列
+   for each signal in targetSignals:
+     queue.push([signal, signal])
+     controlSignals.set(signal, node.lines)
+
+3. BFS遍历K层
+   for level = 0 to k:
+     while queue not empty:
+       [curSignal, controlledSignal] = queue.pop()
+       记录关系: curSignal -> controlledSignal
+
+       for each predecessor of curSignal:
+         if not visited and not filtered:
+           queue.push([predecessor, curSignal])
+
+     记录本层关系到 signalLevelTracer
+
+4. 返回结果
+```
+
+#### 过滤规则
+```typescript
+// 需要过滤的节点类型
+const FILTERED_TYPES = ['Parameter', 'Localparam'];
+
+// signalOnly=true时，还需要过滤以下前缀
+const FILTERED_PREFIXES = ['Always', 'Assign', 'Module', 'IntConst'];
+```
+
+---
+
+### 3.2 仿真输出解析模块
+
+**源文件**: `vcd_waveform_analyzer.py` 中的 `parse_mismatch()`
+**代码行数**: ~20行
+**第三方依赖**: 无
+
+#### 功能描述
+解析仿真工具的输出文本，提取出错信号名和出错时间。
+
+#### 输入输出
+```typescript
+// 输入
+testOutput: string  // 仿真工具的输出文本
+
+// 输出
+MismatchInfo {
+  signals: string[],        // 出错信号列表
+  firstMismatchTime: number // 第一次出错时间(ns)
+}
+```
+
+#### 解析规则
+```typescript
+// 需要匹配的格式
+// "First mismatch occurred at time 100. Output 'count' ..."
+
+const pattern = /First mismatch occurred at time (\d+).*Output '(\w+)'/g;
+
+// 提取所有匹配
+// 返回信号列表和最小时间戳
+```
+
+#### 示例
+```
+输入:
+"First mismatch occurred at time 100. Output 'count' expected 0001, got 0000
+First mismatch occurred at time 150. Output 'overflow' expected 1, got 0"
+
+输出:
+{
+  signals: ['count', 'overflow'],
+  firstMismatchTime: 100
+}
+```
+
+---
+
+### 3.3 VCD波形解析模块
+
+**源文件**: `vcd_waveform_analyzer.py` 中的 `get_tabular()` 和 `tabular_via_dataframe()`
+**代码行数**: ~150行
+**第三方依赖**: Python版用了 `vcdvcd`, `pandas`, `numpy`
+
+#### 功能描述
+读取VCD（Value Change Dump）波形文件，提取指定信号的波形值，生成表格。
+
+#### VCD文件格式简介
+```vcd
+$timescale 1ns $end
+$scope module tb $end
+$var wire 1 ! clk $end
+$var wire 8 " count [7:0] $end
+$upscope $end
+$enddefinitions $end
+#0
+b0 "
+1!
+#5
+0!
+#10
+1!
+b00000001 "
+...
+```
+
+#### 输入输出
+```typescript
+// 输入
+vcdPath: string           // VCD文件路径
+signalsToTrace: string[]  // 需要提取的信号列表
+offset: number            // 时间偏移（从哪个时间点开始）
+windowSize: number        // 窗口大小（提取多少个时间点）
+
+// 输出
+string  // 格式化的波形表格字符串
+```
+
+#### 输出格式示例
+```
+### First mismatched signals time(ns) Trace ###
+time(ns)  clk  reset  count_ref  count_dut
+0         1    1      00         00
+5         0    1      00         00
+10        1    0      00         00
+15        0    0      00         00
+20        1    0      01         00  <- mismatch
+### First mismatched signals time(ns) End ###
+```
+
+#### TS实现建议
+1. **方案A**: 找现有的JS VCD解析库
+   - 搜索: `npm vcd parser`, `vcd-stream`, `wavedrom`
+
+2. **方案B**: 自己实现简单的VCD解析器
+   - VCD格式相对简单，核心是解析变量定义和时间变化
+   - 约100-150行代码
+
+#### VCD解析核心逻辑
+```typescript
+class VCDParser {
+  signals: Map<string, Signal>;  // 信号定义
+  timeValues: Map<number, Map<string, string>>;  // 时间 -> 信号值
+
+  parse(vcdContent: string): void {
+    // 1. 解析头部（$var定义）
+    // 2. 解析数据部分（#时间 和 值变化）
+  }
+
+  getSignalValues(signalName: string, startTime: number, endTime: number): WaveformData[] {
+    // 提取指定信号在时间范围内的值
+  }
+}
+```
+
+---
+
+### 3.4 工具整合封装模块
+
+**源文件**: `waveform_trace_tool.py`
+**代码行数**: ~150行
+**第三方依赖**: 依赖上面所有模块
+
+#### 功能描述
+整合所有模块，提供统一的调试接口。
+
+#### 输入输出
+```typescript
+// 输入
+verilogFilePath: string      // Verilog文件路径
+vcdFilePath: string          // VCD波形文件路径
+simulationOutput: string     // 仿真输出文本
+traceLevel: number           // 回溯层数
+
+// 输出
+string  // 完整的调试报告
+```
+
+#### 调试报告格式
+```
+[Signal Traces] Backtrace control signal relations.
+clk->count
+reset->count
+-count->state
+--state->out (*last output port level)
+
+[Signal Waveform]:
+<signal>_ref 是期望值（golden）
+<signal>_dut 是实际输出
+[Traced Signals]: out, state, count, clk, reset
+
+[Table Waveform in hexadecimal format]
+time(ns)  clk  reset  count_ref  count_dut
+...
+
+[Verilog of DUT]:
+```verilog
+module counter(...);
+...
+endmodule
+```
+
+[Hint] ...
+```
+
+---
+
+## 四、调用流程图
+
+```
+┌─────────────────────────────────────────────────────────────────┐
+│                     waveform_trace_tool()                       │
+├─────────────────────────────────────────────────────────────────┤
+│                                                                 │
+│  1. 检查文件是否存在                                            │
+│     ├── verilogFilePath                                         │
+│     └── vcdFilePath                                             │
+│                                                                 │
+│  2. 加载AST图（已有JSON）                                       │
+│     └── graph = loadASTGraph(verilogFilePath)                   │
+│                                                                 │
+│  3. 解析仿真输出，获取出错信号                                  │
+│     └── mismatchInfo = parseMismatch(simulationOutput)          │
+│         ├── signals: ['count', 'overflow']                      │
+│         └── firstMismatchTime: 100                              │
+│                                                                 │
+│  4. BFS回溯，找到控制信号链                                     │
+│     └── traceResult = getKControlSignals(graph, signals, k)     │
+│         ├── controlSignals: Map<信号名, 行号>                   │
+│         └── signalLevelTracer: [['clk->count'], ...]            │
+│                                                                 │
+│  5. 读取VCD波形，提取相关信号的值                               │
+│     └── waveformTable = getTabular(vcdPath, signals, offset)    │
+│                                                                 │
+│  6. 读取Verilog源码                                             │
+│     └── verilogCode = readFile(verilogFilePath)                 │
+│                                                                 │
+│  7. 组装调试报告                                                │
+│     └── return formatReport(traceResult, waveformTable, code)   │
+│                                                                 │
+└─────────────────────────────────────────────────────────────────┘
+```
+
+---
+
+## 五、参考实现
+
+### 5.1 Python源文件位置
+
+```
+ast_debug_core/
+├── ast_node.py              # AST节点定义（参考32-137行）
+├── graph_builder.py         # 图构建入口
+├── debug_graph_analyzer.py  # BFS回溯（完整文件，约70行）
+├── vcd_waveform_analyzer.py # VCD解析（参考89-285行）
+└── waveform_trace_tool.py   # 工具封装（完整文件，约180行）
+```
+
+### 5.2 关键函数对照表
+
+| Python函数 | 位置 | TS函数名建议 |
+|------------|------|--------------|
+| `get_k_control_signals()` | debug_graph_analyzer.py:20 | `getKControlSignals()` |
+| `parse_mismatch()` | vcd_waveform_analyzer.py:244 | `parseMismatch()` |
+| `get_tabular()` | vcd_waveform_analyzer.py:264 | `getTabular()` |
+| `tabular_via_dataframe()` | vcd_waveform_analyzer.py:95 | `generateWaveformTable()` |
+| `waveform_trace_tool()` | waveform_trace_tool.py:63 | `waveformTraceTool()` |
+
+---
+
+## 六、测试用例
+
+### 6.1 BFS回溯测试
+
+```typescript
+// 输入
+const graph: ASTGraph = /* 加载 counter_ast_graph.json */;
+const targetSignals = ['count'];
+const k = 2;
+
+// 期望输出
+const expected = {
+  controlSignals: new Map([
+    ['count', [6, 6]],
+    ['next_count', [10, 10]],
+    ['reset', [4, 4]],
+    ['clk', [3, 3]],
+    ['enable', [5, 5]]
+  ]),
+  signalLevelTracer: [
+    ['count->count'],
+    ['next_count->count', 'reset->count', 'clk->count'],
+    ['enable->next_count', 'count->next_count']
+  ]
+};
+```
+
+### 6.2 仿真输出解析测试
+
+```typescript
+// 输入
+const testOutput = `
+Mismatches: 2
+First mismatch occurred at time 100. Output 'count' expected 0001, got 0000
+First mismatch occurred at time 150. Output 'overflow' expected 1, got 0
+`;
+
+// 期望输出
+const expected = {
+  signals: ['count', 'overflow'],
+  firstMismatchTime: 100
+};
+```
+
+---
+
+## 七、注意事项
+
+1. **无第三方依赖要求**
+   - BFS回溯和仿真解析完全可以用原生TS实现
+   - VCD解析可以自己实现或找现有库
+
+2. **性能考虑**
+   - 图遍历使用Map而非Object，提高查找效率
+   - VCD文件可能很大，考虑流式解析
+
+3. **错误处理**
+   - 文件不存在时返回友好错误信息
+   - 信号不在图中时跳过而非报错
+
+4. **兼容性**
+   - 信号名可能包含方括号，如 `count[7:0]`
+   - 时间单位统一为ns
+
+---
+
+## 八、交付物
+
+1. `debugGraphAnalyzer.ts` - BFS回溯模块
+2. `simulationParser.ts` - 仿真输出解析模块
+3. `vcdParser.ts` - VCD波形解析模块
+4. `waveformTraceTool.ts` - 工具整合封装
+5. `types.ts` - 类型定义
+6. 单元测试文件

tools/waveform_trace/src/debug_graph_analyzer.py

@@ -0,0 +1,70 @@
+#
+# SPDX-FileCopyrightText: Copyright (c) 2025 NVIDIA CORPORATION & AFFILIATES. All rights reserved.
+# SPDX-License-Identifier: Apache-2.0
+# Author : Chia-Tung (Mark) Ho, NVIDIA
+#
+
+import copy
+import re
+from collections import deque
+from graph_builder import generate_top_logic_graph
+
+# use class
+class DebugGraph:
+
+    def __init__(self, verilog_filelist: list[str]):
+        self.filelist = verilog_filelist
+        self.graph = generate_top_logic_graph(verilog_filelist)
+        # print(list(self.graph.nodes(data=True)))
+
+    def get_k_control_signals(self, target_signals: list[str], k:int, signal_only: bool=False) -> list[str]:
+
+        control_signals = {}
+        signal_level_tracer = []
+        # queue
+        q = deque()
+        tmp_q = deque()
+
+        for signal in target_signals:
+            # store (predecessors, controlled signal)
+            q.append((signal, signal))
+            control_signals[signal] = self.graph.nodes[signal]['lines']
+
+        # BFS
+        for l in range (k + 1):
+            # traverse l layers
+            tmp_q.clear()
+            level_signal_control_rels = []
+            while len(q) > 0:
+                cur_signal = q.popleft()
+                level_signal_control_rels.append(cur_signal[0] + "->" + cur_signal[1])
+                if cur_signal[0] not in control_signals:
+                    if self.graph.has_edge(cur_signal[0], cur_signal[1]):
+                        # must be the control signals through the edge
+                        control_signals[cur_signal[0]] = self.graph[cur_signal[0]][cur_signal[1]]['lines']
+                    else:
+                        print("[Error] Edge not found! - ", cur_signal)
+                # find the predecessors
+                controls = self.graph.predecessors(cur_signal[0])
+                for c in controls:
+                    if c in control_signals:
+                        continue
+                    # exclude the parameter
+                    if 'type' in self.graph.nodes[c] and self.graph.nodes[c]['type'] in ["Parameter", "Localparam"]:
+                        continue
+                    if signal_only and (re.match('^Always', c) or re.match('^Assign', c) or re.match('^Module', c) or re.match('^IntConst', c)):
+                        continue
+                    # store (predecessors, controlled signal)
+                    tmp_q.append((c, cur_signal[0]))
+            # swap the q
+            assert(len(q) == 0)
+            print(tmp_q)
+            q = copy.deepcopy(tmp_q)
+            # record the signal relations
+            signal_level_tracer.append(level_signal_control_rels)
+
+        return control_signals, signal_level_tracer
+
+if __name__ == '__main__':
+    debug_graph_tracer = DebugGraph(["/home/scratch.chiatungh_nvresearch/hardware-agent-marco/hardware_agent/examples/verilog_testcases/fsm_serialdata.v"])
+    print(debug_graph_tracer.get_k_control_signals(['out_byte', 'done'], k=3, signal_only=True))

tools/waveform_trace/src/graph_builder.py

@@ -0,0 +1,144 @@
+#
+# SPDX-FileCopyrightText: Copyright (c) 2025 NVIDIA CORPORATION & AFFILIATES. All rights reserved.
+# SPDX-License-Identifier: Apache-2.0
+# Author : Chia-Tung (Mark) Ho, NVIDIA
+#
+
+from __future__ import print_function
+import sys
+import os
+from optparse import OptionParser
+
+# 优先使用本地修改过的 pyverilog（包含 toplogic_tree_traverse 方法）
+_local_path = os.path.dirname(os.path.abspath(__file__))
+sys.path.insert(0, _local_path)
+
+from pyverilog.vparser.parser import parse
+from io import StringIO
+import networkx as nx
+# importing matplotlib.pyplot
+import matplotlib.pyplot as plt
+import re
+
+# create graph from ast str
+# directed graph from networkX
+def create_graph_from_ast(ast, display=False, display_signal_only=False):
+    graph = nx.DiGraph()
+    ast.toplogic_tree_traverse(network_G=graph, rvalue=False, lvalue=False)
+    if not display and not display_signal_only:
+        return graph
+    # Print out nodes with attributes
+    nodes_to_display = []
+    edges_to_display = []
+    print("Nodes:")
+    for node, attrs in graph.nodes(data=True):
+        if display_signal_only and (not re.match("^Assign", node) and not re.match("^Always", node) and not re.match("^Module", node)):
+            nodes_to_display.append(node)
+        print(f"Node {node}: {attrs}")
+
+    # Print out edges with attributes
+    print("\nEdges:")
+    for src, dst, attrs in graph.edges(data=True):
+        if display_signal_only and src in nodes_to_display and dst in nodes_to_display:
+            edges_to_display.append((src, dst))
+        print(f"Edge {src} to {dst}: {attrs}")
+
+    # displaying graphs
+    plt.figure(figsize=(18, 16))  # Set the figure size
+    pos = nx.spring_layout(graph, k=1.0)
+    if display_signal_only:
+        subgraph = graph.subgraph(nodes_to_display)
+        # subgraph.add_edges_from(edges_to_display)
+    else:
+        subgraph = graph
+
+    nx.draw_networkx(subgraph, pos, with_labels=True)  # Draw the graph without labels
+
+    # Add node labels
+    # node_labels = nx.get_node_attributes(graph, 'label')
+    # nx.draw_networkx_labels(graph, pos, labels=node_labels)
+
+    # edge labels
+    edge_labels = nx.get_edge_attributes(subgraph, 'lines')
+    nx.draw_networkx_edge_labels(
+        subgraph, pos,
+        edge_labels=edge_labels,
+        font_color='blue'
+    )
+    # plt.axis('off')
+    plt.show()
+    return graph
+
+def get_ast_structure_str(ast):
+    normal_stdout = sys.stdout
+    # put the string output to a string buffer
+    result = StringIO()
+    sys.stdout = result
+
+    # traverse the ast
+    ast.show(buf=sys.stdout)
+
+    # Redirect std output to the normal mode
+    sys.stdout = normal_stdout
+
+    # Get the result out
+    ast_str = result.getvalue()
+    # print('ast str = ', ast_str, '\n ast end')
+    return ast_str
+
+def generate_top_logic_graph(filelist: list[str]):
+    for f in filelist:
+        if not os.path.exists(f):
+            raise IOError("file not found: " + f)
+
+    ast, directives = parse(filelist,
+                            preprocess_include=[],
+                            preprocess_define=[])
+
+    # ast_str = get_ast_structure_str(ast)
+    return create_graph_from_ast(ast, display=False, display_signal_only=False)
+
+def main():
+    INFO = "Verilog code parser"
+    VERSION = pyverilog.__version__
+    USAGE = "Usage: python example_parser.py file ..."
+
+    def showVersion():
+        print(INFO)
+        print(VERSION)
+        print(USAGE)
+        sys.exit()
+
+    optparser = OptionParser()
+    optparser.add_option("-v", "--version", action="store_true", dest="showversion",
+                         default=False, help="Show the version")
+    optparser.add_option("-I", "--include", dest="include", action="append",
+                         default=[], help="Include path")
+    optparser.add_option("-D", dest="define", action="append",
+                         default=[], help="Macro Definition")
+    (options, args) = optparser.parse_args()
+
+    filelist = args
+    # print(filelist)
+    if options.showversion:
+        showVersion()
+
+    for f in filelist:
+        if not os.path.exists(f):
+            raise IOError("file not found: " + f)
+
+    if len(filelist) == 0:
+        showVersion()
+
+    ast, directives = parse(filelist,
+                            preprocess_include=options.include,
+                            preprocess_define=options.define)
+
+    # ast_str = get_ast_structure_str(ast)
+    create_graph_from_ast(ast, display_signal_only=True, display=True)
+    ast.show(attrnames=True)
+
+
+
+if __name__ == '__main__':
+    main()

tools/waveform_trace/src/pyverilog/Makefile

@@ -0,0 +1,8 @@
+.PHONY: clean
+clean:
+	make clean -C ./utils
+	make clean -C ./vparser
+	make clean -C ./dataflow
+	make clean -C ./controlflow
+	make clean -C ./ast_code_generator
+	rm -rf *.pyc __pycache__ *.out parsetab.py *.html

tools/waveform_trace/src/pyverilog/VERSION

@@ -0,0 +1 @@
+1.3.0

tools/waveform_trace/src/pyverilog/__init__.py

@@ -0,0 +1,7 @@
+from __future__ import absolute_import
+from __future__ import print_function
+
+import os
+
+with open(os.path.join(os.path.dirname(__file__), "VERSION")) as f:
+    __version__ = f.read().splitlines()[0]

tools/waveform_trace/src/pyverilog/ast_code_generator/Makefile

@@ -0,0 +1,3 @@
+.PHONY: clean
+clean:
+	rm -rf *.pyc __pycache__ parsetab.py *.out

tools/waveform_trace/src/pyverilog/ast_code_generator/list_ast.txt

@@ -0,0 +1,104 @@
+Source
+Description
+ModuleDef
+Paramlist
+Portlist
+Port
+Width
+Length
+Dimensions
+Identifier
+Value
+Constant
+IntConst
+FloatConst
+StringConst
+Variable
+Input
+Output
+Inout
+Tri
+Wire
+Reg
+Integer
+Real
+Genvar
+Ioport
+Parameter
+Localparam
+Decl
+Concat
+LConcat
+Repeat
+Partselect
+Pointer
+Lvalue
+Rvalue
+Operator
+UnaryOperator
+Uminus
+Ulnot
+Unot
+Uand
+Unand
+Uor
+Unor
+Uxor
+Uxnor
+Power
+Times
+Divide
+Mod
+Plus
+Minus
+Sll
+Srl
+Sra
+LessThan
+GreaterThan
+LessEq
+GreaterEq
+Eq
+NotEq
+Eql
+NotEql
+And
+Xor
+Xnor
+Or
+Land
+Lor
+Cond
+Assign
+Always
+SensList
+Sens
+Substitution
+BlockingSubstitution
+NonblockingSubstitution
+IfStatement
+ForStatement
+WhileStatement
+CaseStatement
+Case
+Block
+Initial
+WaitStatement
+ForeverStatement
+DelayStatement
+InstanceList
+Instance
+ParamArg
+PortArg
+Function
+FunctionCall
+Task
+GenerateStatement
+SystemCall
+IdentifierScopeLabel
+IdentifierScope
+Pragma
+PragmaEntry
+Disable
+ParallelBlock
+SingleStatement

tools/waveform_trace/src/pyverilog/ast_code_generator/template/always.txt

@@ -0,0 +1,3 @@
+
+always @({{ sens_list }}) {{ statement }}
+

tools/waveform_trace/src/pyverilog/ast_code_generator/template/and.txt

@@ -0,0 +1 @@
+({{ left }} {{ op }} {{ right }})

tools/waveform_trace/src/pyverilog/ast_code_generator/template/assign.txt

@@ -0,0 +1 @@
+assign {{ left }} = {{ right }};

tools/waveform_trace/src/pyverilog/ast_code_generator/template/block.txt

@@ -0,0 +1,5 @@
+begin{% if scope != '' %} : {{ scope }}{% endif %}
+{%- for statement in statements %}
+{{ statement }}
+{%- endfor %}
+end

tools/waveform_trace/src/pyverilog/ast_code_generator/template/blockingsubstitution.txt

@@ -0,0 +1 @@
+{% if ldelay != '' %}{{ ldelay }} {% endif %}{{ left }} = {% if rdelay != '' %}{{ rdelay }} {% endif %}{{ right }};

tools/waveform_trace/src/pyverilog/ast_code_generator/template/case.txt

@@ -0,0 +1 @@
+{{ cond }}: {{ statement }}

tools/waveform_trace/src/pyverilog/ast_code_generator/template/casestatement.txt

@@ -0,0 +1,5 @@
+case({{ comp }})
+{%- for case in caselist %}
+{{ case }}
+{%- endfor %}
+endcase

tools/waveform_trace/src/pyverilog/ast_code_generator/template/casexstatement.txt

@@ -0,0 +1,5 @@
+casex({{ comp }})
+{%- for case in caselist %}
+{{ case }}
+{%- endfor %}
+endcase

tools/waveform_trace/src/pyverilog/ast_code_generator/template/concat.txt

@@ -0,0 +1 @@
+{ {% for item in items %}{{ item }}{% if loop.index < len_items %}, {% endif %}{% endfor %} }

tools/waveform_trace/src/pyverilog/ast_code_generator/template/cond.txt

@@ -0,0 +1 @@
+(({{ cond }})? {{ true_value }} : {{ false_value }})

tools/waveform_trace/src/pyverilog/ast_code_generator/template/constant.txt

@@ -0,0 +1 @@
+{{ value }}

tools/waveform_trace/src/pyverilog/ast_code_generator/template/decl.txt

@@ -0,0 +1,2 @@
+{%- for item in items %}{{ item }}
+{%- endfor %}

tools/waveform_trace/src/pyverilog/ast_code_generator/template/delaystatement.txt

@@ -0,0 +1 @@
+#{{ delay }}

tools/waveform_trace/src/pyverilog/ast_code_generator/template/description.txt

@@ -0,0 +1,3 @@
+{% for definition in definitions %}
+{{ definition }}
+{% endfor %}

tools/waveform_trace/src/pyverilog/ast_code_generator/template/disable.txt

@@ -0,0 +1 @@
+diable {{ name }}

tools/waveform_trace/src/pyverilog/ast_code_generator/template/divide.txt

@@ -0,0 +1 @@
+({{ left }} {{ op }} {{ right }})

tools/waveform_trace/src/pyverilog/ast_code_generator/template/eq.txt

@@ -0,0 +1 @@
+({{ left }} {{ op }} {{ right }})

tools/waveform_trace/src/pyverilog/ast_code_generator/template/eql.txt

@@ -0,0 +1 @@
+({{ left }} {{ op }} {{ right }})

tools/waveform_trace/src/pyverilog/ast_code_generator/template/eventstatement.txt

@@ -0,0 +1 @@
+@({{ senslist }});

tools/waveform_trace/src/pyverilog/ast_code_generator/template/floatconst.txt

@@ -0,0 +1 @@
+{{ value }}

tools/waveform_trace/src/pyverilog/ast_code_generator/template/foreverstatement.txt

@@ -0,0 +1 @@
+forever {{ statement }}

tools/waveform_trace/src/pyverilog/ast_code_generator/template/forstatement.txt

@@ -0,0 +1 @@
+for({{ pre }} {{ cond }}; {{ post }}) {{ statement }}

tools/waveform_trace/src/pyverilog/ast_code_generator/template/function.txt

@@ -0,0 +1,7 @@
+
+function {{ retwidth }} {{ name }};
+{%- for s in statement %}
+{{ s }}
+{%- endfor %}
+endfunction
+

tools/waveform_trace/src/pyverilog/ast_code_generator/template/functioncall.txt

@@ -0,0 +1 @@
+{{ name }}({% for arg in args %}{{ arg }}{% if loop.index < len_args %}, {% endif %}{% endfor %})

tools/waveform_trace/src/pyverilog/ast_code_generator/template/generatestatement.txt

@@ -0,0 +1,4 @@
+
+generate {% for item in items %}{{ item }}{% endfor %}
+endgenerate
+

tools/waveform_trace/src/pyverilog/ast_code_generator/template/genvar.txt

@@ -0,0 +1 @@
+genvar {{ name }};

tools/waveform_trace/src/pyverilog/ast_code_generator/template/greatereq.txt

@@ -0,0 +1 @@
+({{ left }} {{ op }} {{ right }})

tools/waveform_trace/src/pyverilog/ast_code_generator/template/greaterthan.txt

@@ -0,0 +1 @@
+({{ left }} {{ op }} {{ right }})

tools/waveform_trace/src/pyverilog/ast_code_generator/template/identifier.txt

@@ -0,0 +1 @@
+{{ scope }}{{ name }}

tools/waveform_trace/src/pyverilog/ast_code_generator/template/identifierscope.txt

@@ -0,0 +1 @@
+{% for scope in scopes %}{{ scope }}{% endfor %}

tools/waveform_trace/src/pyverilog/ast_code_generator/template/identifierscopelabel.txt

@@ -0,0 +1 @@
+{{ name }}{%- if loop != '' %}[{{ loop }}]{%- endif %}.

tools/waveform_trace/src/pyverilog/ast_code_generator/template/ifstatement.txt

@@ -0,0 +1,5 @@
+if({{ cond }}) {{ true_statement }}
+{%- if true_statement[-1] != ' ' and true_statement[-1] != '\n' %} {% endif -%}
+{%- if true_statement.count('\n') == 0 and false_statement != '' %}
+{% endif -%}
+{%- if false_statement != '' %}else {{ false_statement }}{% endif -%}

tools/waveform_trace/src/pyverilog/ast_code_generator/template/initial.txt

@@ -0,0 +1,3 @@
+
+initial {{ statement }}
+

tools/waveform_trace/src/pyverilog/ast_code_generator/template/inout.txt

@@ -0,0 +1 @@
+inout {% if signed %}signed {% endif %}{% if width != '' %}{{ width }} {% endif %}{{ name }}{% if dimensions != '' %} {{ dimensions }}{% endif %};

tools/waveform_trace/src/pyverilog/ast_code_generator/template/input.txt

@@ -0,0 +1 @@
+input {% if signed %}signed {% endif %}{% if width != '' %}{{ width }} {% endif %}{{ name }}{% if dimensions != '' %} {{ dimensions }}{% endif %};

tools/waveform_trace/src/pyverilog/ast_code_generator/template/instance.txt

@@ -0,0 +1,5 @@
+{{ name }}{{ array }}
+({% for port in portlist %}
+{{ port }}{%- if loop.index < len_portlist -%}, {%- endif -%}
+{% endfor %}
+)

tools/waveform_trace/src/pyverilog/ast_code_generator/template/instancelist.txt

@@ -0,0 +1,12 @@
+
+{{ module }}
+{%- if len_parameterlist > 0 %}
+#({% for param in parameterlist %}
+{{ param }}{%- if loop.index < len_parameterlist -%},
+{%- endif -%}{% endfor %}
+)
+{%- endif %}
+{%- for instance in instances %}
+{{ instance }}{%- if loop.index < len_instances -%},
+{%- endif -%}{%- endfor -%};
+

tools/waveform_trace/src/pyverilog/ast_code_generator/template/intconst.txt

@@ -0,0 +1 @@
+{{ value }}

tools/waveform_trace/src/pyverilog/ast_code_generator/template/integer.txt

@@ -0,0 +1 @@
+integer {{ name }};

tools/waveform_trace/src/pyverilog/ast_code_generator/template/ioport.txt

@@ -0,0 +1 @@
+{{ first }} {% if second != '' %}{{ second }} {% endif %}{% if signed %}signed {% endif %}{% if width != '' %}{{ width }} {% endif %}{{ name }}{% if dimensions != '' %} {{ dimensions }}{% endif %}

tools/waveform_trace/src/pyverilog/ast_code_generator/template/land.txt

@@ -0,0 +1 @@
+({{ left }} {{ op }} {{ right }})

tools/waveform_trace/src/pyverilog/ast_code_generator/template/lconcat.txt

@@ -0,0 +1 @@
+{ {% for item in items %}{{ item }}{% if loop.index < len_items %}, {% endif %}{% endfor %} }

tools/waveform_trace/src/pyverilog/ast_code_generator/template/length.txt

@@ -0,0 +1 @@
+[{{ msb }}:{{ lsb }}]

tools/waveform_trace/src/pyverilog/ast_code_generator/template/lesseq.txt

@@ -0,0 +1 @@
+({{ left }} {{ op }} {{ right }})

tools/waveform_trace/src/pyverilog/ast_code_generator/template/lessthan.txt

@@ -0,0 +1 @@
+({{ left }} {{ op }} {{ right }})

tools/waveform_trace/src/pyverilog/ast_code_generator/template/localparam.txt

@@ -0,0 +1 @@
+localparam {% if signed %}signed {% endif %}{% if width != '' %}{{ width }} {% endif %}{{ name }} = {{ value }};

tools/waveform_trace/src/pyverilog/ast_code_generator/template/lor.txt

@@ -0,0 +1 @@
+({{ left }} {{ op }} {{ right }})

tools/waveform_trace/src/pyverilog/ast_code_generator/template/lvalue.txt

@@ -0,0 +1 @@
+{{ var }}

tools/waveform_trace/src/pyverilog/ast_code_generator/template/minus.txt

@@ -0,0 +1 @@
+({{ left }} {{ op }} {{ right }})

tools/waveform_trace/src/pyverilog/ast_code_generator/template/mod.txt

@@ -0,0 +1 @@
+({{ left }} {{ op }} {{ right }})

tools/waveform_trace/src/pyverilog/ast_code_generator/template/moduledef.txt

@@ -0,0 +1,14 @@
+
+module {{ modulename }}{% if paramlist != '' %} #
+(
+{{ paramlist }}
+)
+{%- endif %}
+(
+{{ portlist }}
+);
+
+{% for item in items %}{{ item }}
+{% endfor %}
+endmodule
+

tools/waveform_trace/src/pyverilog/ast_code_generator/template/nonblockingsubstitution.txt

@@ -0,0 +1 @@
+{% if ldelay != '' %}{{ ldelay }} {% endif %}{{ left }} <= {% if rdelay != '' %}{{ rdelay }} {% endif %}{{ right }};

tools/waveform_trace/src/pyverilog/ast_code_generator/template/noteq.txt

@@ -0,0 +1 @@
+({{ left }} {{ op }} {{ right }})

tools/waveform_trace/src/pyverilog/ast_code_generator/template/noteql.txt

@@ -0,0 +1 @@
+({{ left }} {{ op }} {{ right }})

tools/waveform_trace/src/pyverilog/ast_code_generator/template/operator.txt

@@ -0,0 +1 @@
+({{ left }} {{ op }} {{ right }})

tools/waveform_trace/src/pyverilog/ast_code_generator/template/or.txt

@@ -0,0 +1 @@
+({{ left }} {{ op }} {{ right }})

tools/waveform_trace/src/pyverilog/ast_code_generator/template/output.txt

@@ -0,0 +1 @@
+output {% if signed %}signed {% endif %}{% if width != '' %}{{ width }} {% endif %}{{ name }}{% if dimensions != '' %} {{ dimensions }}{% endif %};

tools/waveform_trace/src/pyverilog/ast_code_generator/template/parallelblock.txt

@@ -0,0 +1,5 @@
+fork{% if scope != '' %} : {{ scope }}{% endif %}
+{%- for statement in statements %}
+{{ statement }}
+{%- endfor %}
+join

tools/waveform_trace/src/pyverilog/ast_code_generator/template/paramarg.txt

@@ -0,0 +1 @@
+{%- if paramname != '' -%}.{{ paramname }}({{ argname }}){%- else -%}{{ argname }}{%- endif -%}

tools/waveform_trace/src/pyverilog/ast_code_generator/template/parameter.txt

@@ -0,0 +1 @@
+parameter {% if signed %}signed {% endif %}{% if width != '' %}{{ width }} {% endif %}{{ name }} = {{ value }};

tools/waveform_trace/src/pyverilog/ast_code_generator/template/paramlist.txt

@@ -0,0 +1,2 @@
+{% for param in params %}{{ param }}{% if loop.index < len_params %},
+{% endif %}{% endfor %}

tools/waveform_trace/src/pyverilog/ast_code_generator/template/partselect.txt

@@ -0,0 +1 @@
+{{ var }}[{{ msb }}:{{ lsb }}]

tools/waveform_trace/src/pyverilog/ast_code_generator/template/plus.txt

@@ -0,0 +1 @@
+({{ left }} {{ op }} {{ right }})

tools/waveform_trace/src/pyverilog/ast_code_generator/template/pointer.txt

@@ -0,0 +1 @@
+{{ var }}[{{ ptr }}]

tools/waveform_trace/src/pyverilog/ast_code_generator/template/port.txt

@@ -0,0 +1 @@
+{{ name }}

tools/waveform_trace/src/pyverilog/ast_code_generator/template/portarg.txt

@@ -0,0 +1 @@
+{%- if portname != '' -%}.{{ portname }}({{ argname }}){%- else -%}{{ argname }}{%- endif -%}

tools/waveform_trace/src/pyverilog/ast_code_generator/template/portlist.txt

@@ -0,0 +1,2 @@
+{% for port in ports %}{{ port }}{% if loop.index < len_ports %},
+{% endif %}{% endfor %}

tools/waveform_trace/src/pyverilog/ast_code_generator/template/power.txt

@@ -0,0 +1 @@
+({{ left }} {{ op }} {{ right }})

tools/waveform_trace/src/pyverilog/ast_code_generator/template/pragma.txt

@@ -0,0 +1 @@
+(* {{ entry }} *)

tools/waveform_trace/src/pyverilog/ast_code_generator/template/pragmaentry.txt

@@ -0,0 +1 @@
+{{ name }}{% if value != '' %} = {{ value }}{% endif %}

tools/waveform_trace/src/pyverilog/ast_code_generator/template/real.txt

@@ -0,0 +1 @@
+real {{ name }};