半导体设计中AI生成属性的挑战

发生了什么

据Semiconductor Engineering报道，AI在半导体设计中自动生成属性面临规范缺失与歧义的制约。专家指出，现有规格说明书往往不完整或存在歧义，导致AI难以直接生成可靠的验证属性。目前行业正探索通过AI将自然语言规格转化为机器可读的正式声明，或推动规格说明书本身实现形式化。业界普遍认为，尽管AI能辅助生成SystemVerilog断言，但其有效性完全取决于源文档的质量，目前行业尚未达到完全自动化的阶段。