Assertion-Based Design

هیجان زیادی در جامعه طراحی و تأیید در مورد طراحی مبتنی بر ادعا وجود دارد. سوال این است که چه کسی باید طراحی مبتنی بر ادعا را مطالعه کند؟ پاسخ قاطع این است که هم مهندسان طراحی و هم تایید. چیزی که ممکن است برای بسیاری از مهندسان طراحی غیرمعمول باشد این است که افزودن ادعاها به کد RTL در واقع زمان طراحی را کاهش می‌دهد و در عین حال قصد طراحی را بهتر مستند می‌کند. هر مهندس طراح باید این کتاب را بخواند! مهندسان طراح که ادعاهایی را به طراحی خود اضافه می کنند نه تنها زمان مورد نیاز برای تکمیل طراحی را کاهش می دهند، بلکه تعداد وقفه های مهندسین تأیید را برای پاسخ به سؤالات در مورد هدف طراحی و رسیدگی به اشتباهات مجموعه تأیید را نیز کاهش می دهند. با وجود ادعاهای طراحی، اکثر وقفه های مهندسین تأیید به مشکلات واقعی طراحی مربوط می شود و بازخورد خطای ارائه شده برای کمک به شناسایی نقص های طراحی مفیدتر خواهد بود. یک مهندس طراحی که ادعاهایی را به کد RTL اضافه نمی‌کند، زمان بیشتری را با مهندسان تأیید می‌گذراند تا عملکرد طراحی و الزامات رابط مورد نظر را توضیح دهند، دانشی که توسط مهندس تأیید برای تکمیل کار آزمایش طراحی مورد نیاز است.

There is much excitement in the design and verification community about assertion-based design. The question is, who should study assertion-based design? The emphatic answer is, both design and verification engineers. What may be unintuitive to many design engineers is that adding assertions to RTL code will actually reduce design time, while better documenting design intent. Every design engineer should read this book! Design engineers that add assertions to their design will not only reduce the time needed to complete a design, they will also reduce the number of interruptions from verification engineers to answer questions about design intent and to address verification suite mistakes. With design assertions in place, the majority of the interruptions from verification engineers will be related to actual design problems and the error feedback provided will be more useful to help identify design flaws. A design engineer who does not add assertions to the RTL code will spend more time with verification engineers explaining the design functionality and intended interface requirements, knowledge that is needed by the verification engineer to complete the job of testing the design.