EETOP 创芯网论坛 (原名：电子顶级开发网)

标题: 恳请大佬出手相助，从Solvnet Plus下载VC Formal资料 [打印本页]

作者: farfirst 时间: 2025-9-23 20:13
标题: 恳请大佬出手相助，从Solvnet Plus下载VC Formal资料

《芯片形式化验证原理、方法与实践》前言中提到的样例代码无法下载，请各位大佬帮忙下载：

https://solvnetplus.synopsys.com ... ciples-and-Practice

欢迎光临 EETOP 创芯网论坛 (原名：电子顶级开发网) (https://bbs.eetop.cn/)