<p>spyglass</p>

<p>数字后端</p>

<p>iso26262</p>

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

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

<p>assertion</p>

<p>vim</p>

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

<p>vivado</p>

<p>calibre</p>