गैर-शुरुआती लोगों के लिए SystemVerilog पर डिजाइनिंग चिप्स पर पुस्तकों के माध्यम से राजनीतिक सुधार पेनेट्रेट्स रूस

अंत में, रूस में SystemVerilog पर एक पाठ्यपुस्तक शुरू हुई , जो शुरुआती लोगों की तुलना में उच्च स्तर पर थी । पाठ्यपुस्तक उन तकनीकों और तकनीकों का वर्णन करती है जो एनवीडिया, इंटेल, एएमडी, ऐप्पल और अन्य इलेक्ट्रॉनिक कंपनियों में साक्षात्कार के लिए पूछे जाते हैं: समवर्ती अभिकथन और कार्यात्मक कवरेज का उपयोग, जिसके लिए अब केवल सत्यापन इंजीनियरों की आवश्यकता नहीं है, बल्कि चिप डिजाइनर भी हैं; डेल्टा चक्र के साथ सिम्युलेटर का एल्गोरिथ्म; स्थिर समय विश्लेषण की समझदार व्याख्या; हार्डवेयर कतारों के माध्यम से हार्डवेयर इकाइयों के संचार आरेख; डेटा पथों के साथ परिमित राज्य मशीनों का उपयोग करके इन संचारों का कार्यान्वयन।

उत्तरार्द्ध के अध्याय में, रूसी पाठक को "राजनीतिक रूप से सही प्रणाली" के उल्लेख से हैरान किया जा सकता है। इसका क्या मतलब होगा? यह संभवतः 2003 में लॉस एंजिल्स काउंटी में हुई घटना के लिए एक भ्रम है। लॉस एंजिल्स के अधिकारियों ने निर्माताओं, आपूर्तिकर्ताओं और ठेकेदारों से कहा कि वे कंप्यूटर उपकरणों के लिए "मास्टर / स्लेव" शब्दों का उपयोग बंद कर दें, क्योंकि काउंटी के कर्मचारियों में से एक को गुलाम अतीत की याद दिला दी गई थी।

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

यह पहली बार नहीं है कि नागरिक अधिकारों के लिए अफ्रीकी-अमेरिकियों के संघर्ष का विषय रूसी ई-शिक्षा में दिखाई देता है। उदाहरण के लिए, इलेक्ट्रॉनिक्स में शिक्षा के एक प्रसिद्ध विशेषज्ञ तात्याना वोल्कोवा "ब्लैक पैंथर्स" के प्रतीक के साथ एक टी-शर्ट पहनते हैं, कैलिफोर्निया आंदोलन, जो एक समय में शांतिपूर्ण विरोध को अपर्याप्त मानता था, और सशस्त्र विरोध में लगे हुए थे।



तात्याना अलेक्जेंड्रोवना की त्वचा के नीचे प्रतीक की पूरी छवि कट के नीचे है, लेकिन मुख्य रूप से मैं डेल्टा चक्र और राज्य मशीनों के बारे में बात करूंगा:

नीचे मास्टर / दास और वादा किए गए ब्लैक पैंथर प्रतीक के बारे में लेख का एक स्क्रीनशॉट है, जिसके बाद हम इस तरह से पुस्तक पर जाते हैं।



सबसे पहले, डोनाल्ड थॉमस, "लॉजिकल डिज़ाइन एंड वेरिफिकेशन ऑफ़ सिस्टम ऑन सिस्टमविलेग" पुस्तक के लेखक (2019 में रूसी में DMK-Press, 2016 से अंग्रेजी में) वही डोनाल्ड थॉमस हैं, जिन्होंने फिलिप मुर्बी के साथ सह-लेखक 1991 में एक पुस्तक लिखी थी द वेरिलॉग हार्डवेयर विवरण भाषा डोनाल्ड थॉमस और फिलिप मूरबी द्वारा। फिर, 1991 में, कई इलेक्ट्रॉनिक कंपनियों ने अभी भी पुराने फैशन में माइक्रोचिप्स डिजाइन किए, उन्हें स्क्रीन पर माउस के साथ चित्रित किया; तार्किक संश्लेषण प्रौद्योगिकियों ने उत्पादन के लिए सिर्फ प्रयोगशाला छोड़ दी है; हार्डवेयर विवरण भाषाओं को मॉडल और परीक्षण लिखने के लिए माना जाता था, और अंतिम सर्किट बनाने के लिए स्रोत कोड नहीं; उस समय बंद VHDL और वेरिलोग के अलावा, कई छोटी और मालिकाना भाषाएं थीं जैसे हाबिल, CUPL, PALASM; और इंटेल और MIPS में आंतरिक हार्डवेयर विवरण भाषाएं थीं।

ऐसे माहौल में, थॉमस और मुर्बी की पुस्तक सामने आई, जो 1990 के दशक के डिजिटल सर्किट के डिजाइनरों के लिए समान थी, जो कि C के लिए प्रोग्रामर्स के लिए केर्निगन-रिची के लिए पुस्तक और C ++ प्रोग्रामर के लिए बरजनी स्ट्रैजप की पुस्तकों के लिए थी। पुस्तक 1991 से 2002 तक पांच संस्करणों से बची है, लेकिन iPhones के युग के लिए स्पष्ट रूप से अपर्याप्त थी। और 2016 में, डोनाल्ड थॉमस ने पकड़ने और एक नई पुस्तक जारी करने का फैसला किया जिसमें उन्होंने 25 वर्षों के लिए भाषा और कार्यप्रणाली में महत्वपूर्ण नवाचारों का वर्णन किया। 25 वर्षों के दौरान वेरिलोग पूरे उद्योग के लिए एक सामान्य आधार बन गया है, टेस्ला में रूसी सैन्य हेलीकाप्टरों के लिए कुख्यात आईफ़ोन और नियंत्रण कंप्यूटरों से सब कुछ के लिए इस पर योजनाएं लिखी गई हैं।



अगला, मैं अपनी टिप्पणियों को पुस्तक से चित्रों से अलग करने के लिए नीले पाठ के साथ उजागर करूंगा।

किताब के मुख्य पाठ से पहले भी, पूर्व-अध्याय "संदर्भ: रजिस्टर स्थानांतरण के स्तर पर डिजाइन" है, ताकि एक प्रोग्रामर, स्कूली बच्चे, या, कहें, प्रोटोटाइप बोर्ड के साथ व्यायाम के एक प्रेमी, शेल्फ से पुस्तक ले रहे हैं, तुरंत समझ में आता है कि क्या कहा जा रहा है और वे पुस्तक का उपयोग कैसे कर सकते हैं। यह कहता है:

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

इसी समय, यहाँ यह स्पष्ट करने के लिए एक सरलीकृत चित्र है कि कारखाने में माइक्रोक्रिकिट के ट्रैक और ट्रांजिस्टर में कैसे पाठ का पता चलता है।



प्रस्तावना के बाद पुस्तक में पहला शब्द "सिम्युलेटर" है। हार्डवेयर विवरण भाषाओं को समझने के लिए, किसी को यह स्पष्ट रूप से महसूस करना चाहिए कि सिंदूर का संश्लेषित सबसेट एक प्रोग्रामिंग भाषा नहीं है, बल्कि इलेक्ट्रिकल सर्किट का वर्णन करने के लिए एक भाषा है। जैसे मान लें कि HTML एक प्रोग्रामिंग भाषा नहीं है, बल्कि वेब पेजों का वर्णन करने के लिए एक भाषा है। जबकि एक प्रोग्रामिंग भाषा को प्रोसेसर निर्देशों के एक श्रृंखला में संकलित करने का इरादा है, एक हार्डवेयर विवरण भाषा का इरादा प्रोसेसर (विशेष रूप से) को प्रोसेसर आयरन में परिवर्तित करने का है। इस मामले में, लोहे में डालने से पहले, हार्डवेयर विवरण भाषा में कोड को जांचने की आवश्यकता होती है, जिसके उद्देश्य से एक विशेष दुभाषिया, जिसे सिम्युलेटर कहा जाता है, कार्य करता है।

पुस्तक की शुरुआत में, डोनाल्ड थॉमस सिम्युलेटर का एक सरल चित्र दिखाते हैं, और पुस्तक के अंत में वे इसे स्पष्ट करते हैं और पूरक करते हैं:



सिम्युलेटर में घटना की कतारें और नकली समय है:



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



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



तथाकथित दौड़ (दौड़ की स्थिति) से जुड़े विभिन्न प्रकार के कीड़े से बचने के लिए सिम्युलेटर के एल्गोरिथ्म का सटीक ज्ञान बहुत उपयोगी है। जब मैं इंजीनियरों को हस्तक्षेप करता हूं, तो मैं हमेशा उन्हें वेरिलोग में दौड़ की स्थिति का एक उदाहरण देने के लिए कहता हूं। इसके अलावा, अगर युवा आरटीएल डिज़ाइन और डिज़ाइन सत्यापन अभियंताओं के लिए ऐसा ज्ञान बहुत ही वांछनीय है, लेकिन सभी पहलुओं में 100% आवश्यक नहीं है, अर्थात्, इस ज्ञान के लिए सीधे पैसे का भुगतान किया जाता है। मैं प्रोग्रामर्स के बारे में बात कर रहा हूं जो Synopsys VCS, ताल IES और मेंटर ModelSim टीमों में काम करते हैं।

Synopsys और Cadence दो कंपनियां हैं जो कैलिफोर्निया में एक-दूसरे से 15 मिनट की ड्राइव पर स्थित हैं। वे केवल कुछ हज़ार लोगों को रोजगार देते हैं, लेकिन वे दुनिया भर में माइक्रोक्रिस्किट्स के विकास को नियंत्रित करते हैं - इंटेल, ऐप्पल, सैमसंग, हुआवेई में, यहां तक ​​कि गुप्त रूसी संस्थानों में भी जो सैन्य उपकरणों के लिए चिप्स बनाते हैं।

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

यद्यपि इन सॉफ़्टवेयर उत्पादों के लिए लाइसेंस तोड़ना काफी आसान है, लेकिन बिना समर्थन के उनका उपयोग करना मुश्किल है। अगर हुवावे को सिनोप्सिस और कैडनेस से डिस्कनेक्ट किया गया है, तो एंड्रॉइड और यहां तक ​​कि एआरएम मधुमक्खियों से डिस्कनेक्ट होने पर उन्हें कुछ मायने में खराब होगा।

हां, तो यहां डोनाल्ड थॉमस की पुस्तक के अंत में परिष्कृत एल्गोरिदम है। यदि आप इसे दिल से नहीं सीखते हैं, तो Synopsys, Cadence, Siemens / Mentor, Xilinx में सिमुलेशन समूहों में हस्तक्षेप करना बेकार है, और वे आपको बोर्ड पर आकर्षित करने और किसी विशेष मामले का अनुकूलन करने का सुझाव देने के लिए कहेंगे:



पुस्तक की शुरुआत में सिमुलेशन को स्पष्ट करने के बाद, डोनाल्ड थॉमस ने SystemVerilog भाषा का वर्णन इस तरह किया है। यह भाषा 2002 में वेरिलॉग-2001, वेरा और सुपरलॉग भाषाओं के विलय के परिणामस्वरूप, और प्रॉपर्टी स्पेसिफिकेशन लैंग्वेज (PSL) के विचारों के साथ, जो SystemVerilog अभिकथनों (SVA) में परिवर्तित हो गई थी, के रूप में Verilog superset के रूप में उभरी।

डोनाल्ड थॉमस का मानना ​​है कि आप पहले से ही कहीं न कहीं डिजिटल डिजाइन की मूल बातें सीख चुके हैं, और इसलिए कथा कपड़े में विभिन्न प्रसिद्ध टुकड़े जैसे कैरोट कार्ड्स में बुनते हैं। 1960 के दशक में सर्किट के मैनुअल डिज़ाइन के लिए कारनोट मैप्स का उपयोग किया गया था, जिसके बाद इस विधि को क्वीन - मैकक्लुस्की एल्गोरिथ्म और स्वचालित लॉजिक ऑप्टिमाइज़र एस्प्रेसो का उपयोग करके तर्क के स्वत: अनुकूलन द्वारा बदल दिया गया था। इसलिए, डिजिटल तर्क के डिजाइन पर सभी विश्वविद्यालय पाठ्यपुस्तकों में कैरनोट कार्ड मौजूद हैं, लेकिन वे हवा में लटकते दिखते हैं। और यहाँ डोनाल्ड थॉमस ने 21 वीं सदी के वेरिलो में एक डिजाइनर के जीवन पर कारनोट के नक्शे संलग्न किए:



इसके अलावा, डोनाल्ड थॉमस परिमित राज्य मशीनों के बारे में लिखते हैं, और वे 1) एक सख्त गणितीय परिभाषा देते हैं; 2) आरेख; 3) कोड; 4) जिसके बाद यह राज्य मशीनों को डेटा पथ के साथ परिमित करने के लिए उनका विस्तार करना शुरू कर देता है - हार्डवेयर प्रवाह; 5) जिसके बाद ये प्रवाह उसके साथ बातचीत करना शुरू करते हैं, दोनों सरल "राजनीतिक रूप से सही" (ऊपर देखें) प्रोटोकॉल के अनुसार, और हार्डवेयर संकेतों का उपयोग करते हैं।




यहाँ डेटा पथ के साथ एक सरल ऑटोमेटन के लिए कोड है जो थॉमस पहले उदाहरण के रूप में बताता है:




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

हमें स्थैतिक समय विश्लेषण की आवश्यकता क्यों है? वास्तविक हार्डवेयर में, इस भ्रम के विपरीत कि प्रोसेसर प्रोग्रामर को दिखाता है, प्रत्येक गणना एक समय अंतराल से गुजरती है जब सभी कचरा तारों पर होता है - न केवल स्पष्ट रूप से शून्य और लोगों की गणना की जाती है, बल्कि किसी भी यादृच्छिक ग्लिट्स, अर्थात्, गड़बड़ और आम तौर पर निषिद्ध क्षेत्र में गैर-डिजिटल मूल्य। उदाहरण के लिए, यदि आपके पास एक डिजिटल इकाई के रूप में माने जाने वाले 0.7 वोल्ट से ऊपर के सभी वोल्टेज हैं, और 0.3 वोल्ट से नीचे के सभी वोल्टेज डिजिटल शून्य के रूप में हैं, तो 0.4 वोल्ट तार पर दिखाई दे सकते हैं।

अंत में, सर्किट में सभी सिग्नल अपने तरीके से जाते हैं और स्थिति नीचे आ जाती है, लेकिन यह "अंत में" एक घड़ी चक्र (घड़ी) से कम होना चाहिए। यह चक्र उस आवृत्ति के व्युत्क्रमानुपाती होता है जिस पर सर्किट संचालित होता है (गीगाहर्ट्ज़, मेगाहर्ट्ज़)।

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

विश्लेषण स्थिर क्यों है? 1980 के दशक में, यह गतिशील था - सिमुलेशन के माध्यम से देरी को स्पष्ट किया गया था। यह सैकड़ों, लाखों और अरबों ट्रांजिस्टर वाले सर्किटों के लिए अविश्वसनीय था, और अब संश्लेषण के बाद सिग्नल पथ के विश्लेषण के आधार पर सभी देरी को सांख्यिकीय रूप से गणना की जाती है।



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



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

कई बंदरगाहों के लिए कतारों के साथ राउटर (छवि 8.3) के लिए परीक्षण वातावरण एक लोकप्रिय उदाहरण है जिसका उपयोग सत्यापन के तरीकों को समझाने के लिए किया जाता है। शायद इसलिए क्योंकि इन पद्धतियों में से कुछ का आविष्कार सिस्को और अन्य कंपनियों ने नेटवर्क हार्डवेयर के लिए चिप्स डिजाइन करके किया था।



अध्याय 6.2.2 में। थॉमस धागे की बातचीत के लिए विकल्पों में से एक का वर्णन करता है - चरण-दर-चरण सिंक्रनाइज़ेशन (लॉक-स्टेप)। लॉक-स्टेप एप्लिकेशनों में से एक उच्च विश्वसनीयता प्रणाली है, उदाहरण के लिए मोटर वाहन इलेक्ट्रॉनिक्स में। एक विशेष मामला: दो प्रोसेसर एक ही प्रोग्राम को कई चक्रों की देरी से निष्पादित कर सकते हैं, और इस निष्पादन के दौरान एक विशेष सर्किट यह सत्यापित कर सकता है कि उनके पास समान परिणाम हैं।




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




सीआरसी का वर्णन करने में, हैकर डिलाइट द्वारा थॉमस ने रूस में एक बहुत ही रोचक और गलत समझा पुस्तक का उल्लेख किया है:



डोनाल्ड थॉमस अपनी नई किताब में तीन तकनीकों को छूते हैं जो पुरानी किताब में बिल्कुल भी नहीं थीं:

1. छद्म-यादृच्छिक लेनदेन की स्वचालित पीढ़ी विवश नियमों (विवश यादृच्छिक लेनदेन / बाधा समाधान) के साथ।
2. सीमित-यादृच्छिक लेनदेन, कार्यात्मक कवरेज द्वारा एक डिजाइन की बमबारी के दौरान उत्पन्न होने वाले दिलचस्प परिदृश्यों के कवरेज के लिए लेखांकन।
3. टेम्पोरल लॉजिक (समवर्ती अभिकथन) के कथनों की भाषा और औपचारिक सत्यापन कार्यक्रमों का उपयोग करते हुए सिमुलेशन और डिज़ाइन गुणों के स्वत: प्रमाण में इसका उपयोग।

इन तीन प्रौद्योगिकियों ने केवल 21 वीं सदी में उद्योग में अच्छे तरीके से प्रवेश किया, लेकिन उन्होंने काफी मजबूती से प्रवेश किया। पहले, वे सभी सत्यापन इंजीनियरों द्वारा परीक्षण वातावरण बनाने के लिए उपयोग किए गए थे, लेकिन अब कार्यात्मक कवरेज और टेम्पोरल अभिकथन भाषा (SystemVerilog अभिकथन - SVA) के ज्ञान के लिए भी डिजाइनरों की आवश्यकता होती है। थॉमस के पास एक न्यूनतम न्यूनतम है जो आपको टेलीफोन साक्षात्कार में कटौती नहीं करने में मदद करेगा, लेकिन वास्तविक काम के लिए आपको बहुत अधिक जानने की आवश्यकता है। इसके अलावा, इस तरह के रूप में न केवल लौकिक बयानों की भाषा, बल्कि प्रत्येक कथन के लिए सिम्युलेटर द्वारा उत्पन्न समानांतर परिमित राज्य मशीनों के साथ-साथ औपचारिक सत्यापन कार्यक्रमों के उपयोग के साथ डिबगिंग की प्रथा भी है। हाल के वर्षों में जोर-आधारित औपचारिक सत्यापन Apple, AMD और ऐसी अन्य कंपनियों के भीतर भारी रूप से लागू किया गया है।

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

यहां बताया गया है कि थॉमस छद्म यादृच्छिक लेनदेन (रैंड फ़ील्ड्स के साथ लेनदेन और बाधा निर्माण का उपयोग करके प्रतिबंध) के साथ कैसे व्यवहार करता है:



और यहां बताया गया है कि कैसे थॉमस कार्यात्मक कवरेज से संबंधित है - कवरग्रुप / कवरपॉइंट / डिब्बे, कई चर आवरणों (क्रॉस) के संयोजन को ध्यान में रखते हुए, वाइल्डकार्ड डिब्बे, मूल्य श्रेणियों के साथ-साथ राज्य मशीनों में संक्रमण कवरेज का उपयोग करते हैं:



यहाँ सबसे सरल लौकिक कथन का एक उदाहरण है "यदि q घड़ी संकेत के सकारात्मक किनारे पर सत्य है, तो अनुक्रम s2 को चक्र के माध्यम से निष्पादित किया जाना चाहिए, जिसमें r पहले सत्य है, और s तीन और चक्रों में है":



डोनाल्ड थॉमस द्वारा "लॉजिकल डिज़ाइन एंड वेरिफिकेशन ऑफ़ सिस्टम ऑन सिस्टमविलेग" पुस्तक से पहले और बाद में क्या पढ़ा जाए?


अगर आपको मेरी पोस्ट में कुछ भी समझ में नहीं आ रहा है, तो आप डेविड हैरिस और सारा हैरिस की किताब "डिजिटल सर्किटरी एंड कंप्यूटर आर्किटेक्चर" को पढ़ने की कोशिश कर सकते हैं। पुस्तक हैरिस एंड हैरिस को सभी लोग समझ सकते हैं जो पढ़ और गिन सकते हैं, बशर्ते कि पाठक के पास प्रेरणा हो। पुस्तक हाई स्कूल स्तर पर शुरू होती है - वॉल्टेज, बाइनरी नंबर - और सिरों पर अपने स्वयं के प्रोसेसर के डिजाइन के साथ समाप्त होती है।

स्पॉयलर: डेविड हैरिस और सारा हैरिस पति-पत्नी नहीं हैं और भाई और बहन भी नहीं हैं। वे सिर्फ ऐसे नाम हैं जिन्होंने गलती से उसी विश्वविद्यालय में शिक्षक के रूप में काम करना शुरू कर दिया, जिसके दौरान उन्होंने एक किताब लिखी।

यहाँ तस्वीर में बाईं ओर हैरिस और हैरिस का अंग्रेजी संस्करण पकड़े हुए नोवोसिबिर्स्क एकेडमोडोरॉक की लड़की इरीना है, और दाईं ओर उसका रूसी संस्करण है।



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

इन दो लेखों की आवश्यकता होती है - वे साक्षात्कार में हर जगह पूछना पसंद करते हैं:

घड़ी डोमेन क्रॉसिंग (सीडीसी) डिजाइन और सत्यापन तकनीक सिस्टम वेरिलॉग सिमुलेशन और सिंथेसिस तकनीक का उपयोग करके

अतुल्यकालिक सूचक तुलना के साथ अतुल्यकालिक फीफो डिजाइन।

इन तीन लेखों को पढ़ने की सलाह दी जाती है, विशेष रूप से एक अतुल्यकालिक रीसेट को हटाने के बारे में, FSM राज्यों और FSM शैली "केस (1'b1) // को समकालित करता है" समानांतर_केस ... राज्य [STATE_N]: ... ”, जो लंबे समय से उच्च गति वाले चिप्स में उपयोग किया जाता है। सन माइक्रोसिस्टम्स, और अभी भी उपयोग किया जा रहा है:

अतुल्यकालिक और सिंक्रोनस रीसेट डिजाइन तकनीक -

सिंथेसाइज्ड-ऑप्टिमाइज्ड के साथ एफएसएम डिजाइन के लिए पार्ट डेक्स कोडिंग और स्क्रिप्टिंग तकनीक, ग्लिच-फ्री आउटपुट

सिन्थेसिबल फिनिट स्टेट मशीन डिजाइन तकनीक का उपयोग करते हुए नई प्रणाली वेरिलॉग 3.0 एन्हांसमेंट्स।

, , 1980- . , static timing analysis, , inertial transport delays , , :

Correct Methods For Adding Delays To Verilog Behavioral Models

: