<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>