The growth in complexity of designs increases the importance of formal verification techniques in the hardware industry.
設計の複雑さが増すにつれ、形式的検証技法の重要性は特にハードウェア業界で増している。