模型检查入门：语法检查、语义检查、模型一致性检查
说实话，很多刚接触Gensys的工程师，上来就急着跑仿真。结果呢？模型报错，一脸懵。我见过太多人花一整天调试一个模型，最后发现只是少了个分号。
模型检查，说白了就是给你的模型做「体检」。分三步走：语法检查、语义检查、一致性检查。这三步走完，模型基本就稳了。
语法检查：最基础的「拼写检查」
语法检查就像写作文时的错别字检查。Gensys引擎会扫描你的模型文件，看看有没有写错关键字、漏掉括号、或者变量名不合法。
我个人习惯，每次写完模型第一件事就是跑语法检查。别偷懒，这一步能省掉后面80%的调试时间。
语法检查的核心检查项：
- 关键字拼写是否正确（比如
model写成modle） - 括号是否成对出现（
{}、()、[]） - 变量名是否符合命名规范（不能以数字开头，不能包含特殊符号）
- 语句末尾是否缺少分号
- 注释符号是否正确（
//或/* */）
举个例子，下面这段代码就有语法问题：
model traffic_light
state red, green, yellow
initial red
transition
red -> green : after 30s
green -> yellow : after 25s
yellow -> red : after 5s
// 注意：这里少了一个 endtransition
endmodel你想想看，Gensys读到 endmodel 的时候，发现 transition 块还没关闭，直接就报错了。我在项目中遇到过好几次这种低级错误，每次都是因为复制粘贴时漏了行。
小技巧：Gensys的语法检查器会给出错误行号。别只看错误描述，先定位到行号，问题往往一目了然。
语义检查：检查「逻辑对不对」
语法过了，不代表模型就能跑。语义检查是更深一层的验证。它检查的是：你的模型在逻辑上是否自洽。
举个例子，你定义了一个状态叫 idle，但所有转移条件里都没提到它。那这个状态就是「死状态」——永远进不去，也永远出不来。语义检查会告诉你：嘿，这个状态有问题。
| 检查类型 | 检查内容 | 常见问题 |
|---|---|---|
| 类型检查 | 变量类型是否匹配 | 把整数赋给了布尔变量 |
| 作用域检查 | 变量是否在有效范围内 | 在子模块中引用了父模块的局部变量 |
| 可达性检查 | 所有状态是否都能到达 | 某个状态没有任何入边 |
| 死锁检查 | 是否存在无法继续执行的状态 | 某个状态没有出边，且不是终止状态 |
嗯，这里要注意：语义检查不会告诉你「你的模型对不对」，它只会告诉你「你的模型有没有明显的逻辑漏洞」。就像编译器不会检查你的算法是否正确，只会检查语法有没有错。
避坑指南：我曾经在做一个交通信号灯模型时，把 after 30s 写成了 after 30。语法检查通过了，但语义检查报了个警告——时间单位缺失。幸亏发现了，不然模型跑出来的时序全乱套。
模型一致性检查：全局视角的「体检」
这一步是最容易被忽略的。一致性检查，说白了就是看看模型的各个部分之间有没有「打架」。
举个例子，你定义了一个全局变量 counter，在模块A里它是个整数，在模块B里你把它当布尔值用。这就是不一致。Gensys的一致性检查会揪出这种问题。
我建议把一致性检查想象成「拼图检查」——每一块拼图单独看都没问题，但拼在一起时，边缘能不能对上？颜色过渡是否自然？
一致性检查的三大维度：
- 接口一致性：模块之间的信号连接是否匹配（类型、位宽、方向）
- 时序一致性：时钟域、复位信号的约束是否统一
- 约束一致性：不同模块对同一变量的约束条件是否冲突
你想想看，一个大型Gensys模型可能有几十个模块。每个模块单独检查都没问题，但合在一起跑仿真，结果就是不对。为什么？因为接口对不上。我在项目中遇到过最典型的一次：两个模块之间传数据，一个用 int，一个用 float，类型不匹配，数据全丢了。
个人经验：一致性检查最好在模型集成阶段做。每集成一个模块，就跑一次一致性检查。别等到所有模块都拼完了再查，那时候问题就多了，定位也难。
三种检查的关系与流程
这三种检查不是孤立的，它们有明确的先后顺序。我画了张图，帮你理清思路：
从图上你能看到，这三步是串行的。语法检查没过，就别急着做语义检查。语义检查没过，一致性检查也跑不起来。每一步失败，都要回退到上一步修改。
我个人习惯是：每写完一个模块，先跑语法检查。模块集成时，跑语义检查。全部集成完，跑一致性检查。这样分层把关，问题不会堆积到最后。
总结一下：
- 语法检查：检查「写没写对」
- 语义检查：检查「逻辑通不通」
- 一致性检查：检查「整体合不合」
这三步走完，你的模型至少不会在基础问题上翻车。剩下的，就是功能验证和性能调优了。