1. SDL 文件基本结构SDL 程序由三个主要部分组成text// 1. 全局定义段可选 scope ...; define ...; enum ...; tdef ...; trigger ...; if (...) trigger; ... // 2. 实例定义段至少一个实例可多个 instance 实例名; // 实例内部全局定义 alias ...; trigger ...; ... // 状态机定义至少一个状态 state 状态名 { if (...) { ... } else { ... } goto ...; load counter1 ...; ... } // 更多状态...若只有一个实例instance语句可省略编译器自动赋予默认实例名。每个实例可包含最多一个状态机。状态机中可包含多个状态第一个状态为起始状态。2. 基本语法规则规则说明注释// 单行注释或/* 多行注释 */空白空格、制表符、换行均视为空白用于分隔 token标识符由字母、数字、下划线组成不能以数字开头大小写敏感关键字大小写不敏感如trigger、TRIGGER、Trigger均可语句结束通常以;结束代码块用{}括起右大括号后不加;包含文件include 文件名;必须单独一行文件名用双引号宏定义define 宏名 替换文本使用宏名或宏名引用undef 宏名取消定义条件编译ifdef/ifndef/if/elseif/else/endif用于根据条件包含或排除代码段3. 表达式与运算符3.1 操作数设计信号层次路径DRTL 输出端口drtl_inst.port断言名称finished、failed等别名alias 表达式;用户符号由symbol命令定义UPF/CPF 对象如VDD1 FULL_ON计数器值COUNTER1、COUNTER2特殊常量bP、bN、bT、bL、bH、bS、bX3.2 运算符按优先级从高到低类别运算符说明一元~!|transition()count()prev()isunknown()位取反、逻辑非、归约与、归约或、跳变检测、计数、延时、未知检测比较!结果均为单比特位运算^|逐位与、异或、或逻辑||逻辑与、或结果单比特拼接{ }将多个信号拼接成向量内部只能是信号名3.3 特殊值说明bP: 上升沿前一周期0当前周期1bN: 下降沿bT: 任意跳变bL: 稳定为0连续两周期为0bH: 稳定为1bS: 稳定连续两周期值相同bX: 忽略任意值均匹配边缘检测需要信号在连续两周期内采样首周期评估可能不准确。4. 全局定义Global Definition位于所有instance之前适用于所有实例。语句示例说明scopescope top.chip;设置后续信号查找的默认层次enumenum color {red, green5, blue};定义枚举类型用于%[enum]格式化tdeftdef mytx {typeWR, streambus};定义事务属性模板triggerPostriggerPos 50;设置触发位置百分比0~100postTriggerSamplespostTriggerSamples 100;设置触发后采样数与triggerPos互斥COUNTER1/COUNTER2COUNTER1 100;设置计数器的默认加载值ENABLE1/ENABLE2ENABLE1 clk bP;设置计数器自动递减的使能条件if(expr) TRIGGER;if (ab) trig_lab: TRIGGER;全局触发条件if(expr) DISPLAY(...);if (err) display(Error);全局显示if(expr) EXEC(cmd);if (cnt0) exec puts done;全局执行命令if(expr) ACQUIRE;if (valid) acquire;全局采集使能if(expr) NO_ACQUIRE;if (idle) no_acquire;全局采集禁止if(expr) TX(...);if (start) tx(begin, txid);全局事务记录5. 实例定义Instance Definition以instance 实例名;开始直到下一个instance或文件结束。可以定义实例私有的别名、全局触发、采集、显示等语法同全局定义段。别名作用域仅限于该实例。实例中可包含状态机state语句。6. 状态机定义State Machine6.1 状态定义textstate 状态名 { // 状态体由 if-else 和动作组成 }每个状态内最多可包含 8 个基于信号的表达式计数器条件不计入限制。动作之间若有冲突按文本顺序执行编译器会警告。6.2 动作Actions动作示例说明GOTOgoto STATE2;下一周期跳转到指定状态LOADload counter1 50;加载计数器值可缺省使用默认值INCREMENTincrement counter1;计数器加1DECREMENTdecrement counter1;计数器减1即使自动递减模式下也生效STARTstart counter1;使计数器进入自动递减模式每个使能周期减1STOPstop counter1;停止自动递减模式TRIGGERmytrig: TRIGGER;触发停止取决于模式ACQUIREacquire;强制当前周期采集数据NO_ACQUIREno_acquire;强制当前周期不采集数据EXECexec puts hello;执行 Tcl/XEL 命令DISPLAYdisplay(val%d, sig);打印格式化消息TXtx(begin, id, streamabc);记录事务TRACE_TSMtrace_tsm;强制将当前周期写入 SDL 跟踪缓冲区6.3 条件语句textif (expr) 动作; if (expr) { 动作1; 动作2; } else { 动作3; } if (expr1) 动作1; else if (expr2) 动作2; else 动作3;表达式为真非零向量或标量1时执行。if-else if链按顺序评估只执行第一个为真的分支。7. 计数器每个实例有两个 40 位计数器COUNTER1/CNTR1和COUNTER2/CNTR2。比较COUNTER1 100、COUNTER2 0。加载load counter1 200可用十进制或h、b等进制。自动递减start counter1开启每个使能周期减1使能由ENABLE1定义默认每个周期。手动增减increment counter1/decrement counter1。停止自动递减stop counter1。8. DISPLAY 语句格式化语法textdisplay (FID, Llevel, format, arg1, arg2, ...);FID指定输出文件标识用sdl -display -id ID -file name关联文件。Llevel消息级别低于全局日志级别sdl -display -loglevel的消息被抑制。format字符串中的转义序列序列说明%h/%H十六进制小写/大写%d无符号十进制%i有符号十进制%o八进制%b二进制%cASCII 字符%s字符串对信号为 ASCII 值对 UPF/断言为状态名%n当前 SDL 实例名%t仿真时间$var/${var}Tcl 变量值编译时替换%[enum_type]按枚举格式化%[...]执行 Tcl 命令并插入结果%%百分号本身\n\t\\\\$转义字符字段宽度和对齐%[ -][0][宽度]格式如%10d、%-10d、%010b。若format省略默认输出时间 级别 标签 参数十六进制9. TX 语句事务记录9.1 语法texttx (begin | end | event | error | set, tx_id, [属性...]);9.2 属性命名属性type 类型默认与tx_id相同stream 流名默认SDL_DEFAULT_TXscope 作用域默认SDL_TX_SCOPEtitle 标题默认typedescription 描述默认空信号属性信号名以十六进制显示信号值{格式, 信号名}按格式显示信号值{属性名, 格式, 表达式...}构造字符串属性模板引用tdef tdef_id引用先前tdef定义的属性集。9.3 tdef 定义texttdef tdef_id { 属性, 属性, ... };可包含任意数量的命名属性和信号属性用于简化多个 TX 语句。9.4 tlink 语句事务链接texttlink tx_id1 属性名1 tx_id2 属性名2;当两个事务的属性值相同时建立链接用于跟踪因果关系。10. 特殊表达式与函数transition(表达式)检测表达式中任何位发生跳变。count(表达式, 次数, [模式])私有计数器表达式为真的次数达到次数时返回真。模式P计数上升沿、S状态内计数离开状态重置、PS/SP组合。prev(表达式)返回上一周期的表达式值。isunknown(表达式)若表达式包含未知X值返回1否则0仅用于设计信号。UPF_ILLEGAL_EVENTUPF 非法事件发生时为高。EXEC_BUSYEXEC 缓冲满时为高用于避免溢出。11. 编译与运行最大实例数编译时compilerOption -add {sdlInstances N}N≤64默认1。跟踪缓冲区深度compilerOption -add {sdlTraceDepth 16k}。显示缓冲区深度sdlDisplayDepth编译选项。运行时启用 SDLsdl -enable指定文件sdl -setfile 文件。启用/禁用实例sdl -enable 实例名/sdl -disable 实例名。启用/禁用标签sdl -enable-label 标签/sdl -disable-label 标签。查看 SDL 状态sdl -report、sdl -getTriggers。调试 SDLsdl -traceOn/sdl -traceDump。12. 与 Tcl 交互在 SDL 中使用 Tcl 变量$var或${var}编译时替换。在EXEC中使用 Tcl 变量运行时替换。条件编译中可用 Tcl 变量if $var或if ${var}值必须为整数。Tcl 数组元素也可使用$array(index)。13. 注意事项SDL 评估有最多 2 FCLK 周期的延迟除触发点报告外可通过xeset stopDelay 0消除延迟速度降至 1/3SA 模式不支持。在 IXCOM 模式下触发和 EXEC 延迟可能更大建议使用边缘检测或时钟限定以获得确定性行为。采集控制ACQUIRE/NO_ACQUIRE不能混用。显示消息缓冲在硬件中溢出会导致丢失可增加缓冲区深度或降低消息产生速率。不支持在 SDL 表达式中嵌套特殊值如(sigbP)bP首周期可能不正确。DRTL 输出端口可作为信号使用。