IC Verification Record

记录IC验证有关的杂谈

Record

• spec是主要来源
• 大体方向上，尽量跟DE分开解读spec，摘取测试点；但是对于比较internal的case，还是需要DE帮设想
• 工作应该有主次，有些是必须的，有些是非必须，有些是首先要覆盖的
• verification plan需要验证者，尽量写得细，verifylist做得好，工作就完成一半了
• 没有spec，拒绝验证！没有spec，拒绝验证！
• 设计工程师也需要根据rtl来提出一些具有风险或者复杂场景的功能点
• designer完全按照自己的理解写spec和code，然后验证按照这个写验证的teatcase，能验出来什么？
• 系统写系统spec，应用写应用的spec，rtl写design spec。理想状况是先出design spec，然后设计验证一起开始码代码
• 验证应该是和design一块儿开始的，接口定义好，给个wrapper就能开干
• 高内聚低耦合
• rtl如果能多考虑以后的时序问题，以后就会少麻烦，改流水线容易，改loop难
• Intel和AMD都拿ACL2来验证他们的浮点数乘法器

TB record

1. simulation hang住的地方加watchdog
2. simulation 正在run的flag， time cnt on log
3. 单个操作包装成atomic sequence