कवर किया गया - क्लाउड में ऑनलाइन

कार्यक्रम:

नाम

कवर किया गया - वेरिलॉग कोड कवरेज विश्लेषक

वाक्य - विन्यास

कवर [वैश्विक_विकल्प] स्कोर [विकल्पों]
कवर [वैश्विक_विकल्प] मर्ज [विकल्पों] मौजूदा_डेटाबेस डेटाबेस_टू_मर्ज+
कवर [वैश्विक_विकल्प] रिपोर्ट [विकल्पों] डेटाबेस_फ़ाइल
कवर [वैश्विक_विकल्प] रैंक [विकल्पों] डेटाबेस_टू_रैंक डेटाबेस_टू_रैंक+
कवर [वैश्विक_विकल्प] निकालना [विकल्पों] बहिष्करण_आईडी+ डेटाबेस_फ़ाइल

वर्णन

ढका हुआ एक वेरिलॉग कोड कवरेज विश्लेषण उपकरण है जो यह निर्धारित करने के लिए उपयोगी हो सकता है कि कैसे
खैर एक डायग्नोस्टिक टेस्ट सूट परीक्षण के तहत डिजाइन को कवर कर रहा है। में कवर किया गया पढ़ता है
डायग्नोस्टिक रन से वेरिलॉग डिज़ाइन फ़ाइलें और एक वीसीडी, एलएक्सटी2 या एफएसटी स्वरूपित डंपफ़ाइल
का उपयोग करके एक डेटाबेस फ़ाइल तैयार करता है जिसे कवरेज विवरण डेटाबेस (सीडीडी) फ़ाइल कहा जाता है
स्कोर आदेश. कवर्ड के स्कोर कमांड का उपयोग वैकल्पिक रूप से सीडीडी फ़ाइल बनाने के लिए किया जा सकता है
और एक टेस्टबेंच में वीपीआई मॉड्यूल के रूप में कवर्ड का उपयोग करने के लिए एक वेरिलॉग मॉड्यूल जो प्राप्त किया जा सकता है
सिमुलेशन के समानांतर कवरेज जानकारी (देखें)। का उपयोग करते हुए ढका हुआ AS A VPI मॉड्यूल).
परिणामी CDD फ़ाइल को उसी डिज़ाइन की अन्य CDD फ़ाइलों के साथ मर्ज करके बनाया जा सकता है
मर्ज कमांड का उपयोग करके संचित कवरेज। एक बार सीडीडी फ़ाइल बन जाने के बाद, उपयोगकर्ता ऐसा कर सकता है
ASCII प्रारूप में विभिन्न मानव-पठनीय कवरेज रिपोर्ट तैयार करने या उपयोग करने के लिए कवर्ड का उपयोग करें
रिपोर्ट कमांड का उपयोग करके कवरेज परिणामों को अंतःक्रियात्मक रूप से देखने के लिए कवर का जीयूआई। अगर
खुले कवरेज बिंदु पाए जाते हैं जिन्हें उपयोगकर्ता कवरेज से बाहर करना चाहता है, यह कर सकता है
इसे या तो कमांड-लाइन एक्सक्लूसिव कमांड से या जीयूआई के भीतर संभाला जा सकता है। जब एकाधिक
CDD फ़ाइलें एक ही डिज़ाइन से बनाई जाती हैं, उपयोगकर्ता कवरेज रैंकिंग प्राप्त कर सकता है
उन सीडीडी फ़ाइलों को प्रतिगमन परीक्षण के लिए एक आदर्श क्रम निर्धारित करने के साथ-साथ समझने के लिए
नई हिट करने में असमर्थता के कारण कौन सी सीडीडी फाइलों को प्रतिगमन से बाहर रखा जा सकता है
कवरेज बिंदु. इसके अतिरिक्त, कवर्ड के स्कोर कमांड के भाग के रूप में, दौड़ की स्थिति
डिज़ाइन फ़ाइलों में संभावनाएँ पाई जाती हैं और इन्हें या तो अनदेखा किया जा सकता है, या चेतावनियों के रूप में चिह्नित किया जा सकता है
या त्रुटियों के रूप में चिह्नित किया गया। दौड़ की स्थितियों को त्रुटियों के रूप में निर्दिष्ट करके, कवर्ड का भी उपयोग किया जा सकता है
रेस कंडीशन चेकर के रूप में।

अंतर्राष्ट्रीय विकल्प

ये विकल्प कीवर्ड के ठीक बाद रखे गए हैं कवर कमांड-लाइन में. वे
किसी भी कमांड के लिए उपयोग किया जा सकता है (इसके अपवाद के साथ)। -v और -h) और में समान प्रभाव पड़ता है
प्रत्येक मामला।

-B अस्पष्ट करना। आउटपुट देने से पहले सभी डिज़ाइन-संवेदनशील नामों को अस्पष्ट कर देता है
उपयोगकर्ता-पठनीय प्रारूप. के साथ आउटपुट साझा करते समय यह विकल्प उपयोगी होता है
डिबगिंग उद्देश्यों के लिए कवर्ड के डेवलपर्स।

-D डीबग करें। डिबगिंग टूल समस्याओं के लिए उपयोगी जानकारी प्रदर्शित करें। नोट: यह
विकल्प अब केवल तभी उपलब्ध है जब कवर --enable-debug के साथ बनाया गया हो
कॉन्फ़िगरेशन विकल्प।

-h मदद करना। इस उपयोग की जानकारी प्रदर्शित करें.

-P [फ़ाइल का नाम]
प्रोफाइलिंग मोड. आंतरिक स्रोत कोड प्रोफाइलर चालू करता है जो एक उत्पादन करेगा
या तो निर्दिष्ट करने के लिए रन कमांड की प्रोफाइलिंग रिपोर्ट फ़ाइल का नाम या, यदि नहीं
फ़ाइल का नाम नामक फ़ाइल में मौजूद है कवर.प्रो. यह विकल्प केवल उपलब्ध है
अगर --सक्षम-प्रोफ़ाइलिंग कॉन्फ़िगरेशन विकल्प निर्दिष्ट किया गया था जब कवर किया गया था
बनाया।

-Q शांत मोड। सभी आउटपुट को दबाने का कारण बनता है।

-T संक्षिप्त मोड. चेतावनी के अपवाद के साथ सभी आउटपुट को दबा दिया जाता है
संदेश और कवर की गई हेडर जानकारी।

-v संस्करण। वर्तमान कवर संस्करण प्रदर्शित करें।

कमानों

स्कोर डेटाबेस फ़ाइल बनाने के लिए वेरिलॉग फ़ाइलों और वीसीडी/एलएक्सटी2/एफएसटी डंपफ़ाइलों को पार्स करता है
विलय और रिपोर्टिंग.

मर्ज दो या दो से अधिक डेटाबेस फ़ाइलों को एक में विलय करता है।

रिपोर्ट डेटाबेस फ़ाइल से मानव-पठनीय कवरेज रिपोर्ट तैयार करता है या कवरेज शुरू करता है
जीयूआई रिपोर्ट करें.

रैंक एक रिपोर्ट तैयार करता है जो प्रतिगमन चलाने के लिए एक आदर्श क्रम निर्दिष्ट करता है और निर्दिष्ट करता है
सीडीडी फ़ाइलें जो नई कवरेज जानकारी नहीं जोड़ती हैं (और इसलिए, उन्हें बाहर रखा जा सकता है)।
प्रतिगमन से, यदि वांछित हो)।

निकालना
एक या अधिक कवरेज बिंदुओं की अनुमति देता है (एक रिपोर्ट में बहिष्करण आईडी के साथ पहचाना जाता है
-x विकल्प के साथ उत्पन्न) उनकी बहिष्करण संपत्ति को टॉगल करने के लिए (इसमें शामिल करें)।
शामिल करने के लिए बहिष्कृत या बहिष्कृत करें) और, यदि बहिष्करण संपत्ति को बहिष्कृत करने के लिए सेट किया गया है,
वैकल्पिक रूप से बहिष्करण के लिए एक कारण को इसके साथ संबद्ध करने और संग्रहीत करने की अनुमति दें
निर्दिष्ट सीडीडी फ़ाइल।

स्कोर कमान

निम्नलिखित विकल्प स्कोर कमांड के लिए मान्य हैं:

-A ओवीएल अभिकथन कवरेज के लिए OVL अभिकथनों का उपयोग करने का कारण बनता है। ये झंडा तो देना ही होगा
यदि रिपोर्ट में अभिकथन कवरेज मेट्रिक्स की आवश्यकता है तो स्कोर कमांड पर जाएं
आदेश।

-सीडीडी डेटाबेस
-ओ विकल्प के समान। उपयोगी जब सीडीडी फ़ाइल स्कोर किया जा रहा है स्कोर के लिए एक इनपुट है
आदेश।

-क्ली [फ़ाइल का नाम]
वीसीडी/एलएक्सटी2/एफएसटी डंपफाइल स्कोरिंग के दौरान कमांड-लाइन डिबगर का उपयोग करने का कारण बनता है।
If फ़ाइल का नाम निर्दिष्ट है, इस फ़ाइल में पिछली कॉल में सहेजी गई जानकारी शामिल है
सीएलआई पर हिस्टिस्ट को सेव करने के लिए और इस फ़ाइल में मौजूद इतिहास को दोबारा चलाने का कारण बनता है
सीएलआई कमांड प्रॉम्प्ट से पहले। अगर फ़ाइल का नाम निर्दिष्ट नहीं है, सीएलआई प्रॉम्प्ट होगा
सिमुलेशन की शुरुआत में तुरंत उपलब्ध रहें। यह विकल्प केवल उपलब्ध है
जब कवर्ड के साथ कॉन्फ़िगर किया गया हो --सक्षम-डीबग विकल्प.

-रूढ़िवादी
यदि यह विकल्प निर्दिष्ट किया गया है, तो कोई भी तर्क ब्लॉक जिसमें कोड होता है जो कारण बन सकता है
कवरेज विसंगतियों के कारण संभावित रूप से गलत कवरेज परिणाम सामने आते हैं
कवरेज विचार से हटा दिया गया. किस बारे में अधिक जानकारी के लिए उपयोगकर्ता मार्गदर्शिका देखें
कोड के प्रकार से कवरेज में अशुद्धियाँ हो सकती हैं।

-डंपवार्स [फ़ाइल का नाम]
यदि यह विकल्प -vcd या -lxt विकल्पों के बिना निर्दिष्ट किया गया है, तो डिज़ाइन को पार्स किया गया है,
एक सीडीडी फ़ाइल बनाई जाती है और एक शीर्ष-स्तरीय वेरिलॉग मॉड्यूल फ़ाइल नाम दिया जाता है फ़ाइल का नाम (यदि यह हो तो
मान निर्दिष्ट है) या "covered_dump.v" (यदि फ़ाइल का नाम निर्दिष्ट नहीं है) बनाया गया है।
इस फ़ाइल का उपयोग सिम्युलेटर के संकलन में डंपफ़ाइल बनाने के लिए किया जाता है
निर्दिष्ट सीडीडी फ़ाइल के लिए कवरेज प्राप्त करने के लिए अनुकूलित। यदि या तो -vcd या
-lxt विकल्प निर्दिष्ट हैं, इस विकल्प का कोई प्रभाव नहीं है। इसके लिए उपयोगकर्ता मार्गदर्शिका देखें
इस विकल्प का उपयोग कैसे करें के बारे में अधिक जानकारी।

-D परिभाषित_नाम
निर्दिष्ट नाम को 1 पर परिभाषित करता है।

-D परिभाषित_नाम=मूल्य
निर्दिष्ट नाम को निर्दिष्ट मान पर परिभाषित करता है।

-e ब्लॉक_नाम
स्कोर न करने के लिए मॉड्यूल, कार्य, फ़ंक्शन या नामित प्रारंभ/अंत ब्लॉक का नाम। सभी का कारण बनता है
इस ब्लॉक के अंतर्गत वेरिलॉग ट्री में सबब्लॉक को भी स्कोर नहीं किया जाएगा।

-आ सभी को हमेशा कवरेज के लिए विचार किए जाने से रोकता है।

-ईसी कवरेज के लिए विचार किए जाने से सभी निरंतर असाइनमेंट को बाहर रखा गया है।

-ईआई कवरेज के लिए विचार किए जाने से सभी प्रारंभिक ब्लॉकों को बाहर रखा गया है।

-ईएफ कवरेज के लिए विचार किए जाने से सभी अंतिम ब्लॉकों को बाहर रखा गया है।

-ep [नाम]
'//कवरेज ऑफ' और '//कवरेज ऑन' प्राग्मास के बीच पाए गए सभी कोड को बाहर रखा गया है
डिज़ाइन के भीतर एम्बेडेड। अगर नाम निर्दिष्ट किया गया है, प्राग्मा में कीवर्ड होगा
डिफ़ॉल्ट "कवरेज" के बजाय उस नाम में बदला जाए, जिससे उपयोगकर्ता को इसकी अनुमति मिल सके
यदि प्राग्मा का किसी अन्य उपकरण से टकराव होता है तो उसका स्वरूप बदल दें।

-F मॉड्यूल_नाम=[in_expr,]out_expr
पार्सर को इंगित करता है कि मॉड्यूल में स्थित एफएसएम को कहां खोजना है मोड्यूल का नाम कौन कौन से
एक इनपुट स्थिति अभिव्यक्ति है जिसे कहा जाता है in_expr और आउटपुट स्टेट एक्सप्रेशन कहा जाता है
out_expr. अगर in_expr निर्दिष्ट नहीं है, out_expr इनपुट और दोनों के रूप में उपयोग किया जाता है
आउटपुट स्थिति अभिव्यक्ति.

-f फ़ाइल का नाम
फ़ाइल का नाम जिसमें पार्स करने के लिए अतिरिक्त तर्क हैं।

-fst फ़ाइल का नाम
डिजाइन स्कोर करने के लिए एफएसटी डंपफाइल का नाम। यदि -vcd, -lxt या यह विकल्प नहीं है
उपयोग किया गया, कवर्ड डिज़ाइन से केवल प्रारंभिक सीडीडी फ़ाइल बनाएगा और नहीं
डिज़ाइन को स्कोर करने का प्रयास करें।

-g [मॉड्यूल_नाम=](1|2|3)
उपयोगकर्ता को पार्सर को वेरिलॉग की एक विशिष्ट पीढ़ी तक सीमित करने की अनुमति देता है
किसी विशिष्ट मॉड्यूल या संपूर्ण डिज़ाइन के लिए मानक, जहां 1=वेरिलॉग-1995,
2=वेरिलॉग-2001, 3=सिस्टमवेरिलॉग। अगर मॉड्यूल_नाम= निर्दिष्ट है, पार्सर इसका उपयोग करता है
केवल उस मॉड्यूल के लिए वेरिलॉग मानक निर्दिष्ट किया गया है, जिससे शेष डिज़ाइन को अनुमति मिलती है
वैश्विक मानक का उपयोग करें. डिफ़ॉल्ट रूप से, वैश्विक मानक सबसे नवीनतम पर सेट होता है
संस्करण (3). किसी दिए गए कॉल के लिए यह विकल्प एक से अधिक बार निर्दिष्ट किया जा सकता है
स्कोर कमांड; हालाँकि, यदि -g विकल्प वैश्विक मूल्य से अधिक निर्दिष्ट करता है (अर्थात्,
के बिना मॉड्यूल= उपसर्ग), केवल अंतिम विकल्प मान का उपयोग किया जाएगा।

-h यह सहायता जानकारी प्रदर्शित करता है.

-I डायरेक्टरी
शामिल वेरिलॉग फ़ाइलों को खोजने के लिए निर्देशिका।

-i उदाहरण के नाम
वेरिलॉग उस मॉड्यूल का पदानुक्रमित संदर्भ है जो पेड़ के शीर्ष पर है
स्कोर किया. यदि कवरेज सत्यापित करने वाला मॉड्यूल शीर्ष-स्तरीय नहीं है तो यह विकल्प आवश्यक है
डिज़ाइन में मॉड्यूल. यदि निर्दिष्ट नहीं है, -t मूल्य का उपयोग किया जाता है।

-lxt फ़ाइल का नाम
डिज़ाइन स्कोर करने के लिए LXT2 डंपफ़ाइल का नाम। यदि -vcd, -fst या यह विकल्प नहीं है
उपयोग किया गया, कवर्ड डिज़ाइन से केवल प्रारंभिक सीडीडी फ़ाइल बनाएगा और नहीं
डिज़ाइन को स्कोर करने का प्रयास करें।

-m message
उपयोगकर्ता को इस सीडीडी फ़ाइल के बारे में जानकारी निर्दिष्ट करने की अनुमति देता है। यह जानकारी कर सकते हैं
कुछ भी हो (खाली जगह वाले संदेश दोहरे उद्धरण चिह्न से घिरे होने चाहिए
अंक), लेकिन अधिक आसानी से अनुकरण तर्कों के बारे में कुछ शामिल हो सकता है
सीडीडी फ़ाइल को पुनः बनाने के प्रयोजनों के लिए सीडीडी फ़ाइल को उसके सिमुलेशन से लिंक करें।

-o डेटाबेस
कवरेज जानकारी लिखने के लिए डेटाबेस का नाम. यदि निर्दिष्ट नहीं है, तो आउटपुट
डेटाबेस फ़ाइल का नाम "cov.cdd" होगा।

-p फ़ाइल का नाम
मध्यवर्ती प्रीप्रोसेसर आउटपुट को संग्रहीत करने के लिए उपयोग किए जाने वाले डिफ़ॉल्ट फ़ाइल नाम को ओवरराइड करता है।

-P पैरामीटर_स्कोप=मूल्य
मान के साथ निर्दिष्ट पैरामीटर पर एक डेफ़परम निष्पादित करता है।

-आरएस जब दौड़ की स्थिति की जांच का उल्लंघन किया जाता है, तो आपत्तिजनक तर्क ब्लॉक हटा दिए जाते हैं
कवरेज पर विचार से और दौड़ के संबंध में सभी आउटपुट को दबा दिया गया है
शर्त का उल्लंघन. दौड़ के बारे में अधिक जानकारी के लिए उपयोगकर्ता दस्तावेज़ देखें
स्थिति जाँच उपयोग.

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

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

-आरआइ[=मॉड्यूल नाम]
If मॉड्यूल नाम निर्दिष्ट नहीं है, दौड़ की स्थिति की जाँच पूरी तरह से छोड़ दी गई है
संपूर्ण डिज़ाइन. अगर मॉड्यूल नाम निर्दिष्ट है, दौड़ की स्थिति की जाँच छोड़ दी गई है
निर्दिष्ट मॉड्यूल के लिए. दौड़ के बारे में अधिक जानकारी के लिए उपयोगकर्ता दस्तावेज़ देखें
स्थिति जाँच उपयोग.

-आरपी[=नाम])
दौड़ की स्थिति की जाँच से कुछ कोड को अनदेखा करने के लिए एम्बेडेड प्राग्मास का उपयोग करता है
विचार (यदि नाम निर्दिष्ट है कि इसका उपयोग प्राग्मा कीवर्ड के रूप में किया जाता है)। उपयोगकर्ता देखें
दौड़ की स्थिति की जाँच के उपयोग के बारे में अधिक जानकारी के लिए दस्तावेज़ीकरण।

-S सिमुलेशन पूरा होने के बाद आउटपुट सिमुलेशन आँकड़े। ये जानकारी है
वर्तमान में केवल कवर्ड के डेवलपर्स के लिए उपयोगी है।

-t शीर्ष स्तर के मॉड्यूल
सबसे ऊपरी मॉड्यूल का मॉड्यूल नाम निर्दिष्ट करता है जिसे मापा जाएगा। ध्यान दें कि
इस मॉड्यूल को सिम्युलेटर में सबसे शीर्ष मॉड्यूल होने की आवश्यकता नहीं है। यह क्षेत्र
स्कोर कमांड पर सभी कॉल के लिए आवश्यक है।

-top_ts timescale
यह विकल्प केवल तभी मान्य है जब -vpi या -dumpvars विकल्प निर्दिष्ट किए गए हों।
यह विकल्प उपयोगकर्ता को जेनरेट किए गए वेरिलॉग मॉड्यूल के लिए समय-सीमा निर्दिष्ट करने की अनुमति देता है
-vpi/-dumpvars विकल्प के साथ बनाया गया। यदि यह विकल्प निर्दिष्ट नहीं है, नहीं
जेनरेटेड मॉड्यूल के लिए टाइमस्केल बनाया जाएगा। का मान है timescale is
निम्नानुसार निर्दिष्ट:

(1|10|100)(s|ms|us|ns|ps|fs)/(1|10|100)(s|ms|us|ns|ps|fs)

यदि विभिन्न मानों के बीच रिक्त स्थान की आवश्यकता है, तो संपूर्ण सामग्री रखें
timescale दोहरे उद्धरण चिह्नों में.

-टीएस संख्या
जब स्कोरिंग होती है, तो यह विकल्प उपयोगकर्ता को यह देखने की अनुमति देता है कि सिम्युलेटर कितनी दूर है
वर्तमान टाइमस्टेप को मानक आउटपुट में आउटपुट करके प्रगति की गई। का मान है
संख्या निर्दिष्ट करता है कि आउटपुट से पहले कितने टाइमस्टेप्स को सिम्युलेट करने की अनुमति है
वर्तमान टाइमस्टेप (आउटपुट स्ट्रीम पर कम कॉल के परिणामस्वरूप)।

-T (न्यूनतम|प्रकार|अधिकतम)
निर्दिष्ट करता है कि प्रपत्र में विलंब अभिव्यक्ति का सामना करते समय किस मान का उपयोग करना है:
न्यूनतम:प्रकार:अधिकतम. यदि यह विकल्प निर्दिष्ट नहीं है, तो डिफ़ॉल्ट रूप से 'टाइप' चयन का उपयोग किया जाता है।

-v फ़ाइल का नाम
स्कोर करने के लिए विशिष्ट वेरिलॉग फ़ाइल का नाम।

-वीसीडी फ़ाइल का नाम
डिजाइन स्कोर करने के लिए वीसीडी डंपफाइल का नाम। यदि -lxt, -fst या यह विकल्प नहीं है
उपयोग किया गया, कवर्ड डिज़ाइन से केवल प्रारंभिक सीडीडी फ़ाइल बनाएगा और नहीं
डिज़ाइन को स्कोर करने का प्रयास करें।

-वीपीआई [फ़ाइल का नाम]
यदि यह विकल्प -vcd, -lxt या -fst विकल्पों के बिना निर्दिष्ट किया गया है, तो डिज़ाइन है
पार्स किया गया, एक सीडीडी फ़ाइल बनाई गई है और एक शीर्ष-स्तरीय वेरिलॉग मॉड्यूल फ़ाइल नाम दिया गया है फ़ाइल का नाम
(यदि यह मान निर्दिष्ट है) या "कवर_vpi.v" (यदि फ़ाइल का नाम निर्दिष्ट नहीं है) है
नामक पीएलआई तालिका फ़ाइल के साथ बनाया गया फ़ाइल का नाम.ta b या "covered_vpi.v.ta b"।
इन दोनों फ़ाइलों का उपयोग सिम्युलेटर के संकलन में कवर्ड के रूप में उपयोग करने के लिए किया जाता है
एक वीपीआई मॉड्यूल. यदि या तो -vcd, -lxt या -fst विकल्प निर्दिष्ट हैं, तो यह विकल्प
कोई प्रभाव नहीं है।

-विग्नोर
कोड पार्सिंग और सिमुलेशन के दौरान चेतावनियों के आउटपुट को रोकें।

-y डायरेक्टरी
अनिर्दिष्ट वेरिलॉग फ़ाइलें खोजने के लिए निर्देशिका।

+लिबेक्स्ट+।विस्तार[+।विस्तार]*+
स्कोरिंग की अनुमति देने के लिए वेरिलॉग फ़ाइलों के एक्सटेंशन।

मर्ज कमान

मर्ज कमांड के लिए निम्नलिखित विकल्प मान्य हैं:

-d फ़ाइल का नाम
शामिल करने के लिए सीडीडी फ़ाइलों की खोज हेतु निर्देशिका। इस विकल्प का प्रयोग संयोजन के रूप में किया जाता है
साथ -ext विकल्प जो फ़ाइल एक्सटेंशन को निर्धारित करने के लिए उपयोग करने के लिए निर्दिष्ट करता है
निर्देशिका में कौन सी फ़ाइलें सीडीडी फ़ाइलें हैं।

एर (प्रथम|पिछली बार|सब|नई|पुराना)
निर्दिष्ट करता है कि बहिष्करण कारण समाधान को कैसे संभालना है। यदि दो या दो से अधिक सीडीडी फ़ाइलें हैं
विलय किए जाने पर समान कवरेज बिंदु के लिए निर्दिष्ट बहिष्करण कारण हैं
बहिष्करण कारण को हल करने की आवश्यकता है (जब तक कि यह समान स्ट्रिंग मान न हो)। अगर
यह विकल्प निर्दिष्ट नहीं है और एक विरोध पाया जाता है, कवर किया जाएगा अंतःक्रियात्मक रूप से
प्रत्येक बहिष्करण के लिए इनपुट का अनुरोध करें कि इसे कैसे संभालना है। यदि यह विकल्प है
निर्दिष्ट, यह कवर्ड को बताता है कि सभी बहिष्करण कारण विवादों को कैसे संभालना है।
मान इस प्रकार हैं:.br

प्रथम - सीडीडी फ़ाइल जिसमें पहला बहिष्करण कारण शामिल है, का उपयोग किया जाता है।

पिछली बार - सीडीडी फ़ाइल जिसमें अंतिम बहिष्करण कारण शामिल है, का उपयोग किया जाता है।

सब - सभी बहिष्करण कारणों का उपयोग किया जाता है (संक्षिप्त)।

नई - निर्दिष्ट नवीनतम बहिष्करण कारण का उपयोग करें।

पुराना - निर्दिष्ट सबसे पुराने बहिष्करण कारण का उपयोग करें।

-ext विस्तार
conjunction के संयोजन के साथ प्रयोग किया जाता है -d विकल्प। अगर नहीं -ext विकल्प पर निर्दिष्ट हैं
कमांड-लाइन, '.cdd' का डिफ़ॉल्ट मान उपयोग किया जाता है। ध्यान दें कि एक अवधि (.) होनी चाहिए
निर्दिष्ट किया जाए।

-f फ़ाइल का नाम
फ़ाइल का नाम जिसमें पार्स करने के लिए अतिरिक्त तर्क हैं।

-h यह सहायता जानकारी प्रदर्शित करता है.

-m message
उपयोगकर्ता को इस सीडीडी फ़ाइल के बारे में जानकारी निर्दिष्ट करने की अनुमति देता है। यह जानकारी कर सकते हैं
कुछ भी हो (खाली जगह वाले संदेश दोहरे उद्धरण चिह्न से घिरे होने चाहिए
निशान)।

-o फ़ाइल का नाम
नए डेटाबेस को आउटपुट करने के लिए फ़ाइल। यदि यह तर्क निर्दिष्ट नहीं है, तो
मौजूदा_डेटाबेस आउटपुट डेटाबेस नाम के रूप में उपयोग किया जाता है।

रिपोर्ट कमान

रिपोर्ट कमांड के साथ निम्नलिखित विकल्प मान्य हैं:

-b यदि कॉम्बिनेशन लॉजिक वर्बोज़ आउटपुट रिपोर्ट किया गया है और अभिव्यक्ति एक वेक्टर है
ऑपरेशन, यह विकल्प कवरेज जानकारी को बिटवाइज़ आधार पर आउटपुट करता है।

-c If -v निर्दिष्ट है, केवल कवर किए गए मेट्रिक्स प्रदर्शित करता है। डिफ़ॉल्ट को खुला प्रदर्शित करना है
केवल जानकारी।

-d (एस|डी|वी)
कवरेज रिपोर्ट जानकारी में प्रदान करने के लिए विवरण का स्तर (एस = सारांश, डी =)।
विस्तृत, वी = वर्बोज़)। डिफ़ॉल्ट सारांश है.

-e किसी भी निर्दिष्ट के साथ सभी बहिष्कृत कवरेज बिंदुओं को रिपोर्ट फ़ाइल में आउटपुट करता है
बहिष्करण कारण यदि -d d or -d v विकल्प निर्दिष्ट हैं।

-f फ़ाइल का नाम
फ़ाइल का नाम जिसमें पार्स करने के लिए अतिरिक्त तर्क हैं।

-h यह सहायता जानकारी प्रदर्शित करता है.

-i मॉड्यूल के बजाय उदाहरणों के लिए कवरेज जानकारी प्रदान करता है।

-m [एल][टी][सी][एफ][आर][ए][एम]
रिपोर्ट करने के लिए मेट्रिक्स के प्रकार। एल=लाइन, टी=टॉगल, सी=संयोजन तर्क, एफ=एफएसएम स्थिति
और अवस्था परिवर्तन, आर=दौड़ की स्थिति, ए=अभिकथन, एम=स्मृति। डिफ़ॉल्ट है एलटीसीएफ.

-o फ़ाइल का नाम
आउटपुट रिपोर्ट जानकारी के लिए फ़ाइल। डिफ़ॉल्ट मानक आउटपुट है.

-s उन मॉड्यूल/इंस्टेंस को आउटपुट होने से दबा देता है जिनमें कोई कवरेज जानकारी नहीं होती है
रिपोर्ट के लिए. से संभावित अर्थहीन जानकारी को ख़त्म करने में मदद के लिए उपयोग किया जाता है
रिपोर्ट.

-v बहिष्कृत. '-dd' या '-d v' द्वारा प्रतिस्थापित।

-राय इंटरैक्टिव कवरेज रिपोर्टिंग के लिए GUI इंटरफ़ेस प्रारंभ करता है।

-w (संख्या)
अधिकतम लाइन चौड़ाई (वर्णों में) निर्दिष्ट करती है जिसका उपयोग वेरिलॉग आउटपुट के लिए किया जा सकता है
जानकारी। यदि यह विकल्प निर्दिष्ट नहीं है, तो रिपोर्ट में सभी वेरिलॉग कोड निर्दिष्ट नहीं होंगे
वही स्वरूपण बनाए रखें जो मूल वेरिलॉग कोड में निर्दिष्ट था। यदि यह हो तो
विकल्प निर्दिष्ट है, वेरिलॉग कोड को वर्तमान के अधिक से अधिक उपयोग के लिए स्वरूपित किया जाएगा
यथासंभव लाइन, जब लाइन अधिकतम लाइन चौड़ाई तक पहुंच जाए तो टेक्स्ट को लपेटें।
डिफ़ॉल्ट अधिकतम पंक्ति चौड़ाई 115 वर्ण है (यदि कोई संख्या नहीं है तो इस मान का उपयोग किया जाता है
-w विकल्प के साथ निर्दिष्ट)। यदि कोई संख्या -w विकल्प के साथ निर्दिष्ट है, तो यह
मान का उपयोग अधिकतम लाइन चौड़ाई के लिए किया जाता है।

-x सभी कवर न किए गए और बाहर किए गए कवरेज बिंदुओं की बहिष्करण आईडी आउटपुट करता है
कवरेज बिंदु के संबंधित वर्बोज़ आउटपुट से पहले कोष्ठक।
बहिष्करण आईडी का उपयोग बहिष्करण के माध्यम से कवरेज बिंदुओं को बाहर करने/शामिल करने के लिए किया जा सकता है
आदेश।

दर्जा कमान

रैंक कमांड के साथ निम्नलिखित विकल्प मान्य हैं:

-d फ़ाइल का नाम
शामिल करने के लिए सीडीडी फ़ाइलों की खोज हेतु निर्देशिका। इस विकल्प का प्रयोग संयोजन के रूप में किया जाता है
साथ -ext विकल्प जो फ़ाइल एक्सटेंशन को निर्धारित करने के लिए उपयोग करने के लिए निर्दिष्ट करता है
निर्देशिका में कौन सी फ़ाइलें सीडीडी फ़ाइलें हैं।

-गहराई संख्या
प्रत्येक कवरेज बिंदु तक पहुंचने के लिए आवश्यक सीडीडी फ़ाइलों की न्यूनतम संख्या निर्दिष्ट करता है।
के मूल्य संख्या शून्य से अधिक होना चाहिए. डिफ़ॉल्ट 1 है.

-ext विस्तार
conjunction के संयोजन के साथ प्रयोग किया जाता है -d विकल्प। अगर नहीं -ext विकल्प पर निर्दिष्ट हैं
कमांड-लाइन, '.cdd' का डिफ़ॉल्ट मान उपयोग किया जाता है। ध्यान दें कि एक अवधि (.) होनी चाहिए
निर्दिष्ट किया जाए।

-f फ़ाइल का नाम
फ़ाइल का नाम जिसमें पार्स करने के लिए अतिरिक्त तर्क हैं।

-h रैंक कमांड के लिए सहायता जानकारी प्रदर्शित करता है।

-केवल नाम
यदि निर्दिष्ट किया गया है, तो केवल आवश्यक सीडीडी फ़ाइल नाम आउटपुट करता है जिन्हें चलाने की आवश्यकता होती है
आदेश दें कि उन्हें चलाने की आवश्यकता है। यदि यह विकल्प सेट नहीं है, तो एक रिपोर्ट-शैली आउटपुट होता है
अतिरिक्त जानकारी प्रदान की गई। यह विकल्प स्क्रिप्ट में उपयोगी माना जाता है
वह केवल सीडीडी फ़ाइल नाम को आउटपुट के रूप में चलाना चाहता है।

-o फ़ाइल का नाम
रैंकिंग जानकारी आउटपुट करने के लिए फ़ाइल का नाम। डिफ़ॉल्ट मानक आउटपुट है.

-आवश्यक-सीडीडी फ़ाइल का नाम
सीडीडी का नाम जिसे रैंक करने के लिए आवश्यक सीडीडी माना जाना चाहिए (अर्थात, यह नहीं हो सकता)।
किसी भी कारण से बाहर रखा गया)

-आवश्यक-सूची फ़ाइल का नाम
फ़ाइल का नाम जिसमें सीडीडी की एक सूची है जिसे आवश्यक सीडीडी माना जाना चाहिए
पद तक। फ़ाइल नाम को रिक्त स्थान या न्यूलाइन वर्णों द्वारा अलग किया जाना चाहिए
फ़ाइल के अंदर.

-v रैंक कमांड चलने पर वर्बोज़ आउटपुट प्रदर्शित होता है। यह आउटपुट देता है
रैंकिंग एल्गोरिदम के विभिन्न चरणों में से प्रत्येक के बारे में नैदानिक ​​जानकारी
रन-टाइम, शामिल/बहिष्कृत सीडीडी फ़ाइलों की संख्या और कवरेज की संख्या सहित
प्रत्येक चरण के दौरान रैंक किए गए सीडीडी द्वारा प्रभावित अंक। यह जानकारी का मतलब है
रैंकिंग एल्गोरिदम और उसके प्रदर्शन में रुचि रखने वालों के लिए उपयोगी है।

-वजन-जोर संख्या
गैर-अनूठे को रैंक करने के लिए उपयोग किए जाने वाले दावे कवरेज के लिए सापेक्ष भार निर्दिष्ट करता है
कवरेज बिंदु. का मान है संख्या में प्रयुक्त मूल्यों के सापेक्ष है
-वजन-टॉगल, -वजन-स्मृति, -वजन-कंघी, -वजन-एफएसएम और -भार-रेखा रैंक
कमांड विकल्प।

-वजन-कंघी संख्या
रैंक करने के लिए उपयोग किए जाने वाले संयोजन तर्क कवरेज के लिए सापेक्ष भार निर्दिष्ट करता है
गैर-अद्वितीय कवरेज बिंदु। का मान है संख्या में प्रयुक्त मूल्यों के सापेक्ष है
la -वजन-टॉगल, -वजन-स्मृति, -वजन-जोर, -वजन-एफएसएम और -भार-रेखा
रैंक कमांड विकल्प।

-वजन-एफएसएम संख्या
एफएसएम राज्य और राज्य संक्रमण कवरेज के लिए एक सापेक्ष भार निर्दिष्ट करता है
गैर-अद्वितीय कवरेज बिंदुओं को रैंक करें। का मान है संख्या मूल्यों के सापेक्ष है
में इस्तेमाल किया -वजन-टॉगल, -वजन-स्मृति, -वजन-कंघी, -वजन-जोर और
-भार-रेखा रैंक कमांड विकल्प।

-भार-रेखा संख्या
गैर-विशिष्ट कवरेज को रैंक करने के लिए उपयोग की जाने वाली लाइन कवरेज के लिए सापेक्ष भार निर्दिष्ट करता है
अंक. का मान है संख्या में प्रयुक्त मूल्यों के सापेक्ष है -वजन-टॉगल,
-वजन-स्मृति, -वजन-कंघी, -वजन-एफएसएम और -वजन-जोर रैंक कमांड विकल्प।

-वजन-स्मृति संख्या
गैर-अद्वितीय कवरेज को रैंक करने के लिए उपयोग की जाने वाली मेमोरी कवरेज के लिए सापेक्ष भार निर्दिष्ट करता है
अंक. का मान है संख्या में प्रयुक्त मूल्यों के सापेक्ष है -वजन-टॉगल,
-भार-रेखा, -वजन-कंघी, -वजन-एफएसएम और -वजन-जोर रैंक कमांड विकल्प।

-वजन-टॉगल संख्या
गैर-विशिष्ट कवरेज को रैंक करने के लिए उपयोग किए जाने वाले टॉगल कवरेज के लिए सापेक्ष भार निर्दिष्ट करता है
अंक. का मान है संख्या में प्रयुक्त मूल्यों के सापेक्ष है -वजन-स्मृति,
-भार-रेखा, -वजन-कंघी, -वजन-एफएसएम और -वजन-जोर रैंक कमांड विकल्प।

निकालना कमान

निम्नलिखित विकल्प बहिष्करण आदेश के साथ मान्य हैं:

-f फ़ाइल का नाम
उस फ़ाइल का नाम निर्दिष्ट करता है जिसमें बहिष्कृत कमांड के लिए अधिक विकल्प शामिल हैं।
इस विकल्प को एक ही कॉल के लिए आवश्यकतानुसार कई बार निर्दिष्ट किया जा सकता है
आदेश बहिष्कृत करें.

-h बहिष्कृत आदेश के लिए उपयोग की जानकारी उत्पन्न करता है।

-m किसी भी कवरेज बिंदु के साथ बहिष्करण संदेश को संबद्ध करने की अनुमति देता है
सम्मिलित अवस्था से बहिष्कृत अवस्था तक। प्रत्येक कवरेज बिंदु के लिए जो मिलता है
इस आवश्यकता के लिए, उपयोगकर्ता को एक कारण दर्ज करने के लिए प्रेरित किया जाएगा। कारण हो सकता है
कोई भी लम्बाई और कितनी भी रेखाएँ; हालाँकि, सभी स्वरूपण वर्ण (अर्थात्,
नई लाइनें, टैब, अतिरिक्त स्थान इत्यादि) हटा दिए जाएंगे और एक सिंगल से बदल दिए जाएंगे
स्थान जब इसे बाद में प्रदर्शित किया जाता है। किसी संदेश का इनपुट समाप्त करने के लिए, रिटर्न दबाएँ,
एक एकल अवधि (.) वर्ण दर्ज करें और फिर से रिटर्न दबाएँ। अंतिम काल
चरित्र बहिष्करण संदेश का हिस्सा नहीं होगा.

-p सभी निर्दिष्ट कवरेज बिंदुओं को उनकी वर्तमान बहिष्करण स्थिति मुद्रित करने का कारण बनता है और
मानक के अनुसार बहिष्करण कारण (यदि कोई बहिष्कृत कवरेज बिंदु के लिए मौजूद है)।
आउटपुट. यदि यह विकल्प निर्दिष्ट है, तो -m विकल्प को नजरअंदाज कर दिया जाएगा।

का उपयोग करते हुए ढका हुआ AS A VPI मॉड्यूल

वीसीडी, एलएक्सटी2 या एफएसटी फ़ाइल को पार्स करने के लिए कवर्ड के स्कोर कमांड का उपयोग करने के अलावा
कवरेज जानकारी, कवर का उपयोग सिम्युलेटर के भीतर वीपीआई मॉड्यूल के रूप में भी किया जा सकता है
यह जानकारी निकालें. डंपफाइल रीडर की तुलना में कवर्ड को वीपीआई के रूप में उपयोग करने के फायदे
निम्नलिखित को शामिल कीजिए। सबसे पहले, वीसीडी फ़ाइलें बेहद बड़ी हो सकती हैं, खासकर लंबे समय तक
मूल्यवान डिस्क स्थान का उपयोग करते हुए सिमुलेशन। दूसरा, यदि आप एक सिम्युलेटर का उपयोग कर रहे हैं
VCD, LXT2 या FST से भिन्न प्रारूप में फ़ाइलों को डंप करता है और आप इन डंप को कनवर्ट करना चाहते हैं
इन संस्करणों में से किसी एक फ़ाइल प्रकार को बनाने में डिस्क स्थान और समय की लागत लग सकती है
कवर की गई डंपफ़ाइलें अवांछनीय हैं। इसके अतिरिक्त, हालांकि कवर्ड को वीपीआई के रूप में उपयोग किया जा रहा है
मॉड्यूल आपकी सिमुलेशन गति को धीमा कर देगा, यह सबसे अधिक संभावना है कि कुल समय व्यतीत होगा
आपके डिज़ाइन का अनुकरण करना और डिज़ाइन को एक चरण में स्कोर करना ऐसा करने से कम समय लगेगा
दो कदम. परिणामस्वरूप, कवर्ड की कॉन्फ़िगर उपयोगिता वीपीआई-तैयार लाइब्रेरी उत्पन्न कर सकती है
निम्नलिखित निःशुल्क और व्यावसायिक सिमुलेटर (इकारस वेरिलोग, सीवीईआर और वीसीएस)।

स्रोत से कवर उत्पन्न करते समय वीपीआई-तैयार लाइब्रेरी फ़ाइलों को स्वचालित रूप से बनाने के लिए,
में "कॉन्फ़िगर" उपयोगिता चलाते समय बस निम्नलिखित में से एक या अधिक निर्दिष्ट करें
आधार कवर की गई निर्देशिका: --with-iv= , --with-vcs=
पथ>, --with-cver= . कवर्ड कॉन्फ़िगर हो जाने के बाद, बस टाइप करें
'बनाएं' और 'इंस्टॉल करें'। यह वीपीआई-तैयार लाइब्रेरी फ़ाइलों को स्थापित करेगा
स्थापना libexec निर्देशिका (डिफ़ॉल्ट रूप से यह पथ /usr/local/libexec होगा)।

इससे पहले कि आप डिज़ाइन संकलित करने के लिए तैयार हों, आपको पहले एक शीर्ष-स्तरीय सीडीडी फ़ाइल बनानी होगी
वेरिलॉग फ़ाइल, और एक पीएलआई तालिका फ़ाइल (अंतिम फ़ाइल केवल वीसीएस कंपाइलर के लिए आवश्यक है)।
यह निर्दिष्ट करके किया जाता है -वीपीआई (फ़ाइल का नाम) कवर्ड के स्कोर कमांड का विकल्प। अगर कोई नहीं
फ़ाइल नाम -vpi के बाद निर्दिष्ट किया गया है, फ़ाइलें ढकी हुई_vpi.v और ढकी हुई_vpi.ta b होंगी
जनरेट की गई कवरेज फ़ाइल के साथ बनाया गया। ध्यान दें कि यह चरण केवल होना आवश्यक है
जब तक कि डिज़ाइन फ़ाइलें नहीं बदल जातीं, तब तक एक बार प्रदर्शन किया जाता है। अब आप संकलन करने के लिए तैयार हैं
सिम्युलेटर।

यदि आप इकारस वेरिलॉग सिमुलेशन संकलित कर रहे हैं, तो बस '-एम' जोड़ें
/usr/local/libexec/covered.vpicovered_vpi.v' को 'iverilog' कमांड-लाइन पर। एक बार
संकलन पूरा हो गया है, जेनरेट की गई निष्पादन योग्य फ़ाइल को वैसे ही चलाएँ जैसे आप सामान्य रूप से चलाते हैं।

यदि आप सीवीईआर सिमुलेशन संकलित कर रहे हैं, तो बस जोड़ें
'+loadvpi=/usr/local/libexec/covered.cver.so:vpi_compat_bootstrapcovered_vpi.v'
'cver' कमांड-लाइन।

यदि आप वीसीएस सिमुलेशन संकलित कर रहे हैं, तो बस '+vpi -load' जोड़ें
/usr/local/libexec/covered.vcs.so:covered_registercovered_vpi.v' को 'vcs' में बदलें
कमांड लाइन। एक बार संकलन पूरा हो जाने पर, जेनरेट की गई निष्पादन योग्य फ़ाइल को अपनी तरह चलाएँ
सामान्य रूप से होगा।

यदि आप NC-Verilog सिमुलेशन संकलित कर रहे हैं, तो लोड करने के लिए NC-Verilog के irun कमांड पर स्विच करें
कवर की गई साझा वस्तु: '-loadvpi /usr/local/libexec/covered.ncv.so:covered_register'
और '-एक्सेस +आरडब्ल्यूसी' के साथ सभी एक्सेस को सक्षम करें। आप $covered_sim कॉल को हार्डकोड कर सकते हैं
आपका आरटीएल या आप -इनपुट इनपुट.टीसीएल जोड़कर इसे सीएलआई का उपयोग करके गतिशील रूप से चला सकते हैं
इरुन पर स्विच करें। जहां इनपुट.tcl फ़ाइल निम्न की तरह दिखती है और tb.dut है
कवरेज उदाहरण:
-systf {$covered_sim} {"स्कोर.cdd"} tb.dut पर कॉल करें
रन

दो प्लसर्ग हैं जिन्हें चलाने पर जेनरेट किए गए निष्पादन योग्य को पास किया जा सकता है
कवर किया गया पार्स होगा. '+कवर_सीडीडी= ' विकल्प कवर्ड को आउटपुट करने का कारण बनेगा
डिज़ाइन सामग्री को सीडीडी फ़ाइल द्वारा निर्दिष्ट किया गया . यह एकाधिक रन की अनुमति देता है
पुन: संकलन की आवश्यकता के बिना कई अलग-अलग सीडीडी फ़ाइलें उत्पन्न करने के लिए सिम्युलेटर का
घटित होना। '+कवर_डीबग' विकल्प के कारण कवर्ड बहुत अधिक आउटपुट डंप कर देगा
सिमुलेशन के दौरान इसकी आंतरिक रन-टाइम स्थिति के बारे में। यह आउटपुट केवल जेनरेट किया जाएगा
यदि कवर्ड को --enable-debug विकल्प के साथ कॉन्फ़िगर किया गया था। यह प्लसर्ग विकल्प नहीं होना चाहिए
नियमित उपयोगकर्ताओं द्वारा उपयोग किया जा सकता है क्योंकि इसका मुख्य उद्देश्य कवर्ड इन के डेवलपर्स की सहायता करना है
डिबगिंग।

लेखक

ट्रेवर विलियम्स[ईमेल संरक्षित]>

onworks.net सेवाओं का उपयोग करके ऑनलाइन कवर का उपयोग करें