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

 
  • 在数字电路中,在构建芯片之前,先静态地验证这类断言。
今日热词
目录 附录 查词历史