芯片设计形式验证

芯片设计形式验证

詹博华, 吴志林

Formal Verification of Circuit Design

ZHAN Bohua, WU Zhilin

前瞻科技 . 2023, (1): 23 -32 . DOI: 10.3981/j.issn.2097-0781.2023.01.002