楼主: 轻水一杯
|
[求助] RTL与DC出来的netlist 用conformal lec做形式验证可行否? |
发表于 2017-5-9 09:11:37
|
显示全部楼层
| ||
发表于 2018-2-28 05:12:03
|
显示全部楼层
| ||
发表于 2019-5-9 09:49:17
|
显示全部楼层
| ||
发表于 2019-5-9 10:23:47
|
显示全部楼层
| ||