IC技术圈问答
Questions
Tags
formal
一致性检查、形式验证、SVA等
6 Questions
conformal中有没有类似set dont verify的命令
ExASIC
13
•
asked Feb 24
0
1
53
conformal
formal
conformal中怎么找到不等价的点，再从电路图中显示出来？
ExASIC
13
•
asked Feb 19
0
0
64
formal
formality里可以设置指定两个寄存器是合并关系吗？
ExASIC
13
•
asked Jan 17
0
1
54
formality
formal
formality做比较的时候，网表上的value=x啥意思？
ExASIC
13
•
asked Dec 30, 2022
0
0
53
formal
Conformal lec这个是cadence的工具是干啥的？
ExASIC
13
•
asked Nov 30, 2022
0
1
98
formal
cadence综合工具可以产生类似svf的文件吗？
ExASIC
13
•
asked Nov 26, 2022
0
0
186
formal
synthesis
1
(current)