Tags

spyglass

<p>spyglass</p>

2 questions
backend

<p>数字后端</p>

10 questions
iso26262

<p>iso26262</p>

1 questions
formal

<p>一致性检查、形式验证、SVA等</p>

7 questions
coverage

<p>代码覆盖率、功能覆盖率</p>

2 questions
assertion

<p>assertion</p>

1 questions
vim

<p>vim</p>

2 questions
postsim

<p>后仿、门级仿真</p>

5 questions
vivado

<p>vivado</p>

1 questions
calibre

<p>calibre</p>

1 questions