अंतिम जाँच: दावे और प्रमाण

Assertions संख्यात्मक समानता और बताए समयक्रम का अंकगणित स्थापित करती हैं। चक्र स्थानीय ऑपरैंड,स्टॉल बिना और प्रति आउटपुट एक अतिरिक्त चक्र मानते हैं। रन DDS निष्पादन,RTL संश्लेषण,आवृत्ति,शक्ति या वर्गीकारक शुद्धता नहीं मापता। सत्यापित मान,धारणाएँ और न चलाए परीक्षण अलग बताएँ।