In the case of digital circuits, assertions like these are statically verified before the chip is built.

• 在数字电路中,在构建芯片之前,先静态地验证这类断言。