我们知道Cadecne发明的低功耗文件是CPF，Synopsys发明的低功耗文件格式是UPF
2024-04-15 11:30
Lec形式验证想必ICer们都很熟悉，尤其是中后端的IC工程师，在正常逻辑综合生成网表过后或DFT插入mbist等可测试逻辑综合后，需要对综合后产生的网表与综合前的RTL代码进行等效逻辑Lec验证
2023-04-08 09:22
在芯片设计的中间和最后阶段，比如综合、DFT、APR、ECO等阶段，常常要检查设计的一致性。也叫逻辑等价性检查（Logic Equivalence Check），简称LEC。
2022-11-07 12:51
INNOVUS/ICC2吐出的netlist经过Formal/LEC验证后，Star-RC/QRC抽取RC寄生参数文件并读入到Tempus/PT分别做func/mbist/scan时序
2024-10-23 09:50
