2024年4月6日
Verification -- Basic Concepts ~ 1. Techniques
摘要： Verification Techniques 数字设计验证中使用了多种技术，包括： 功能仿真：仿真 涉及在计算机或仿真器上运行数字设计以验证其功能。仿真环境可能包括各种输入，例如测试向量，以确保设计按预期运行。 形式验证：形式验证涉及使用数学证明来验证设计的正确性。该技术通常用于关键设计，例如安全 阅读全文
posted @ 2024-04-06 18:24 松—松 阅读(69) 评论(0) 推荐(0)
Verification -- Basic Concepts ~ 0. Introduction
摘要： Introduction AISC设计流程由几个步骤组成，包括 design specification、design entry、design synthesis、design verification、physical design and design sign-off. Design ver 阅读全文
posted @ 2024-04-06 17:49 松—松 阅读(78) 评论(0) 推荐(0)