समीकरण को डेटापाथ अनुबंध में बदलें

सर्किट के वादे को स्पष्ट करें

डेटापाथ मानों को संग्रहीत करता है, चुनता है और उन पर गणना करता है। उसका नियंत्रक तय करता है कि कौन से मान कब आगे बढ़ेंगे। ये अलग डिज़ाइन जिम्मेदारियाँ हैं, लेकिन स्वतंत्र रूप से चलने वाले सॉफ़्टवेयर कार्य नहीं हैं। क्लॉक के किनारे पर नियंत्रण संकेत रजिस्टर के अपडेट तय करते हैं; अगले चक्र में वही रजिस्टर मान संयोजी लॉजिक के इनपुट बनते हैं। इस समय अनुबंध के बिना समीकरण सही संख्या को गलत लेनदेन के लिए उत्पन्न कर सकता है।

हमारा छोटा कैलकुलेटर आठ बिट के चिह्नरहित ऑपरैंड a और b तथा दो बिट का ऑपरेशन स्वीकार करता है। ऑपरेशन 0 जोड़ता है, 1 घटाता है, 2 AND और 3 XOR की गणना करता है। अंकगणित निचले आठ बिट लौटाता है और जोड़ का कैरी या घटाव का बॉरो अलग देता है। आगे की परियोजनाओं में एक टैग भी साथ चलता है। टैग गणना नहीं बदलता, लेकिन वह उस इनपुट की पहचान करता है जिससे परिणाम बना, इसलिए उसे परिणाम के साथ ही चलना चाहिए।

a=250, b=10 और ADD के लिए गणितीय योग 260 है। आउटपुट 4 है और carry=1। चिह्नयुक्त व्याख्या या संतृप्ति से अलग अनुबंध मिलेगा। भाषा के अनजाने रूपांतरण को नीति तय न करने दें। चक्रीय अंकगणित पते के काउंटर के लिए उपयुक्त हो सकता है, जबकि चमक की गणना में संतृप्ति आवश्यक हो सकती है।

अवैध ALU आउटपुट में भी विद्युत परिवर्तन हो सकते हैं; वह लेनदेन का प्रतिनिधित्व नहीं करता। पुराने टैग के साथ वैध परिणाम भी गलत है। डेटा, टैग और valid को एक साथ देखें। हर आउटपुट के लिए स्पष्ट करें कि बिट का अर्थ क्या है और उपभोक्ता उन पर कब भरोसा कर सकता है। यहाँ के चक्र मॉडल कार्यात्मक व्यवहार और क्रम की जाँच करते हैं, भौतिक गेट विलंब की नहीं। विलंबता या थ्रूपुट के लक्ष्य के अनुसार रजिस्टर सीमाएँ चुनने से पहले अनुबंध को संदर्भ मॉडल में बदलें।