Verification -- Basic Concepts ~ 1. Techniques
摘要:
Verification Techniques 数字设计验证中使用了多种技术,包括: 功能仿真:仿真 涉及在计算机或仿真器上运行数字设计以验证其功能。仿真环境可能包括各种输入,例如测试向量,以确保设计按预期运行。 形式验证:形式验证涉及使用数学证明来验证设计的正确性。该技术通常用于关键设计,例如安全 阅读全文
posted @ 2024-04-06 18:24 松—松 阅读(7) 评论(0) 推荐(0) 编辑