中文
Science and Technology Foresight
Formal Verification of Circuit Design
ZHAN Bohua, WU Zhilin
Science and Technology Foresight . 2023, (1): 23 -32 .  DOI: 10.3981/j.issn.2097-0781.2023.01.002

Access Statistics

  • Total Visits:
  • Total Visits of the Day:
  • Current Number of Employees:

Links

Contact Us

  • Address: Science and Technology Review Publishing House, No. 86, Xueyuan South Road, Haidian District, Beijing
  • Zip Code: 100081
  • Telephone: 010-62172009，010-62172600
  • E-mail: qzkjbjb@cast.org.cn

WeChat

Website Copyright © Science and Technology Foresight    京ICP备14028469号-5  

京公网安备 11010802038735号