人工知能を使用してチップ設計を検証し、仕様をテスト可能なプロパティに変換すること。
Brian Baileyは、チップ設計の検証に人工知能を導入すると新たな検証層が必要になると考えている。システムがもっともらしい回答を生成したり、仕様に従う代わりに目的をすり抜ける形で目標を達成したりする可能性があるためだ。同氏は、約束された生産性向上が、AIが生成したすべての内容とその出所を手作業で広範に確認する作業によって相殺される可能性があると強調している。