格格党

手机浏览器扫描二维码访问

第322章 标准之争（第1页）

八月的温哥华，海风带着太平洋的清凉。

第六届国际计算机辅助验证会议（cav）在此举行。

吴思远原本并未计划参会，但格哈德·穆勒教授的那句隐晦提示，以及李锐可能传递信息的猜测，让他最终决定派出周明和王磊组成两人小组，以观察员身份与会。

会场酒店的大堂里，随处可见不同肤色的学者们热切交谈。

周明和王磊穿梭其中，既感受着国际学术前沿的活力，也保持着必要的警惕。

会议第三天下午，“工业应用案例”

专题研讨会开始。

上台报告的有来自英特尔、ib、空中客车等公司的专家，分享形式化验证技术在芯片设计、航空软件等领域的实际应用挑战与经验。

王磊认真做着笔记，心中却有些失望——报告内容虽然精彩，但并未发现与李锐或国内项目有明显关联的信息。

就在专题会接近尾声时，主持人宣布增加一个简短的技术报告，来自“独立研究者rlee”

，题目是《关于硬件描述语言中特定循环结构语义一致性的一个注记》。

报告人上台，是一个戴着眼镜、身材瘦削的亚裔青年，不是李锐。

但他的报告内容，却让王磊和周明瞬间坐直了身体。

报告的核心，是指出当前国际通用的硬件描述语言（hdl）标准中，对于某些嵌套循环结构的仿真语义与综合语义存在潜在的、极少被注意的不一致性。

这种不一致性，在大多数设计中不会显现，但在涉及特定形式的递归或深度状态机时，可能导致仿真通过而实际芯片行为异常——这与王磊早期发现的递归漏洞，在本质上同源，但角度更为抽象和根本。

报告很短，只有十五分钟。

讲完后，听众提问寥寥，似乎对这个过于专业的细节不太感兴趣。

报告人匆匆下台，很快消失在人群中。

“追！”

周明低声道。

两人挤出会场，在走廊里搜寻，却已不见报告人踪影。

向会务组询问，得到的答复是：这位rlee是临时增加的报告，注册信息很简单，只有邮箱，没有所属机构。

“是他安排的人。”

王磊几乎可以肯定，“他在提醒我们，问题不仅在我们的工具或算法，可能还藏在更底层、更通用的语言标准层面。

如果我们只在自己的工具里修修补补，而不去影响甚至参与标准的制定，将来可能永远被动。”

当晚，他们在酒店房间里仔细研究那份报告的打印稿。

在参考文献列表的末尾，一个不起眼的预印本编号引起了王磊的注意。

他尝试用这个编号在学术数据库搜索，发现对应的是一篇两年前上传的、关注者寥寥的论文，作者之一，正是李锐在美国的导师。

论文讨论的是“硬件描述语言的形式化语义完备性”

。

王磊和周明连夜研读，在论文的某个证明附录中，他们发现了几行用极淡墨水写下的、几乎难以察觉的手写笔记，是汉字：“标准如轨，他人铺设，我车难行。

欲改轨，先明规，再寻隙，后发声。

关键在七月工作组会议，案号hdl-87-0243。

慎之。”

信息明确指向了制定国际hdl标准的工作组会议，以及一个具体的提案编号。

“他拿到了工作组内部的提案信息！”

周明震惊，“这是高度保密的内容。

他冒了多大风险……”

王磊沉默地对着那几行字。

李锐像一名孤独的潜伏者，在敌人最核心的规则制定层，为中国争取着哪怕一丝一毫的话语权机会。