Title

2024年4月6日

Verification -- Basic Concepts ~ 1. Techniques

摘要: Verification Techniques 数字设计验证中使用了多种技术,包括: 功能仿真:仿真 涉及在计算机或仿真器上运行数字设计以验证其功能。仿真环境可能包括各种输入,例如测试向量,以确保设计按预期运行。 形式验证:形式验证涉及使用数学证明来验证设计的正确性。该技术通常用于关键设计,例如安全 阅读全文

posted @ 2024-04-06 18:24 松—松 阅读(7) 评论(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 松—松 阅读(10) 评论(0) 推荐(0) 编辑

导航