सिग्नल ट्रांज़िशन ग्राफ़

From Vigyanwiki

सिग्नल ट्रांज़िशन ग्राफ़ (एसटीजी) का उपयोग सामान्यतः इलेक्ट्रॉनिक इंजीनियरिंग और कंप्यूटर इंजीनियरिंग में उनके विश्लेषण या संश्लेषण के प्रयोजनों के लिए अतुल्यकालिक परिपथ के सक्रिय गतिविधि का वर्णन करने के लिए किया जाता है।

मुख्य परिभाषाएँ और अनुप्रयोग

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

वीएमई बस नियंत्रक। ब्लॉक-आरेख, समय आरेख (ए) तथा संबंधित एसटीजी (बी)। इस उदाहरण की उत्पत्ति यहीं से हुई है.[1]

अधिक औपचारिक रूप से, एसटीजी एक प्रकार का व्याख्या किया गया (या लेबल किया गया) पेट्री जाल है जिसके संक्रमणों को संकेतों के मानों में परिवर्तित नाम के साथ लेबल किया जाता है (सीएफ. सिग्नल ट्रांजीशन)। उदाहरण के लिए, लेबलिंग का विशिष्ट स्थिति वह स्थिति है जहां सिग्नल बाइनरी होते हैं, इसलिए संक्रमण की व्याख्या सर्किट में सिग्नल की बढ़ती तथा गिरती तीव्रता के रूप में की जाती है।

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

एसटीजी को सर्वप्रथम वर्ष 1981 में लियोनिद रोसेनब्लम (रूसी में) द्वारा सिग्नल आरेख नाम के अंतर्गत प्रस्तावित किया गया था।[2] उनका अधिक औपचारिक रूप से अध्ययन किया गया तथा वर्ष 1982 में एलेक्स याकोवलेव द्वारा अपनी पीएचडी थीसिस (रूसी में) में अतुल्यकालिक इंटरफेस के प्रारूप पर प्रयुक्त किया गया।[3] तत्पश्चात उन्हें वर्ष 1985 में दो स्वतंत्र स्रोतों रोसेनब्लम और याकोवलेव द्वारा[4] और दूसरा टैम-अन्ह चू द्वारा[5] अंग्रेजी में प्रस्तुत किया गया (एक पुराना संस्करण ICCD'85 में प्रस्तुत किया गया था)। तब से, एसटीजी का सिद्धांत और अभ्यास में अधिक विस्तृत रूप से अध्ययन किया गया है,[6][7][8][9][10][11][12]जिसके कारण पेट्रीफाई[13](मुख्य डेवलपर: जोर्डी कोरटाडेला) और वर्कक्राफ्ट (न्यूकैसल विश्वविद्यालय से एक टूलकिट) जैसे अतुल्यकालिक नियंत्रण परिपथ के विश्लेषण और संश्लेषण के लिए प्रमुख सॉफ्टवेयर उपकरण का विकास हुआ है।[14]

अतुल्यकालिक परिपथ को रूपित करने में एसटीजी का उपयोग करने के विभिन्न उदाहरणों में से, सबसे प्रसिद्ध अतुल्यकालिक इंटरफेस, कंट्रोलर, आर्बिटर और एनालॉग-मिश्रित सिग्नल परिपथ के क्षेत्र में हैं, सीएफ।[15][9][16][17][18][19] हाल ही में एसटीजी को मॉडल कारण व्यवहार में विस्तारित किया गया है जिसमें कारण कार्य सिद्धांत सम्मिलित है कैपेसिटिव कपलिंग द्वारा मध्यस्थता, जैसे कि स्विच्ड कैपेसिटर कन्वर्टर्स (एससीसी) में उपयोग किया जाता है।[20][21]

एक्सटेंशन तथा संबंधित मॉडल

बाइनरी सिग्नल पर आधारित एसटीजी के अतिरिक्त प्रतीकात्मक एसटीजी भी हैं,[22] जहाँ सिग्नल बहु-मानी हो सकते हैं।

समय (विलंब) सूचना टिप्पणी (एनोटेशन) के साथ एसटीजी को सर्वप्रथम[4]तथा पश्चात[23] में प्रस्तुत किया गया था, जहाँ बाध्य समय के साथ परिपथ व्यवहार विश्लेषण के विचार,[24] भी सर्वप्रथम प्रस्तुत किए गए थे,[25] जिन्हें तत्पश्चात रिलेटिव टाइमिंग कहा गया।

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

एसटीजी से घनिष्ठ रूप से संबंधित मॉडलों में से एक परिवर्तन आरेख (चेंज डायग्राम्स ) है, जिसे माइकल किशिनेव्स्की, एलेक्स कोंद्रतयेव, अलेक्जेंडर तौबिन और विक्टर वार्शव्स्की द्वारा प्रस्तावित किया गया है।[31] परिवर्तन आरेखों में AND और OR कारण कार्य संबंध दोनों को एक संक्षिप्त तरीके से मॉडल करने में सक्षम होने का लाभ है। किन्तु चयन की स्थिति में उनमें वर्णनात्मक शक्ति का अभाव है। पेट्री जाल और परिवर्तन आरेखों के मध्य उनकी वर्णनात्मक शक्ति और कॉज़ल लॉजिक नेट के रूप में उनके एकीकरण के संदर्भ में तुलना प्रस्तुत की गई है।[32]

हार्डवेयर विवरण भाषाओं के साथ लिंक

अतुल्यकालिक प्रारूप का समर्थन करने के उद्देश्य से एसटीजी को विभिन्न एचडीएल[33] के साथ इंटरफेस किया गया है, उदाहरण के लिए वीएचडीएल (वर्ष 1996) और वेरिलॉग (वर्ष 2000) के साथ लिंक देखें।[34] वीएचडीएल से संश्लेषण प्रवाह में रखे गए एसटीजी और पेट्री जाल[35] को सहायक प्रदर्शित किया गया है तथा[36] इसी प्रकार वेरिलॉग के साथ जहाँ एक उपकरण वीईआरआईएसवाईएन विकसित किया गया था।[37]

हाल ही में एसटीजी को संकेत पद्धति के साथ युग्मित किया गया है जो व्यावहारिक हार्डवेयर डिजाइनरों के लिए सरल माना जाता है, इसलिए तरंग-रूप आरेख (डब्ल्यूटीजी) के मॉडल का उद्भव हुआ है।[38] इसी प्रकार, यह सिद्ध करते हुए कि डिजाइनरों के लिए फिनिट स्टेट मशीन (एफएसएम) के मॉडल को संभालना आसान हो सकता है, उदाहरण के लिए पेट्री नेट या एसटीजी,[39] फ्रंट-एंड के रूप में बर्स्ट मोड एफएसएम के साथ एक लिंक विकसित किया गया है।[40]

विश्लेषण विधियाँ

इस समय, अतुल्यकालिक परिपथ के विश्लेषण और संश्लेषण के लिए निसंदेह अत्यधिक कुशल विधि पेट्री जाल विकास पर आधारित हैं - इनका अध्ययन विक्टर खोमेंको ने अपनी पीएचडी अभिधारणा में किया था।[41] इन्हें वर्कक्राफ्ट के अंतर्गत कार्यान्वित किया जाता है।[14]

अतुल्यकालिक परिपथ के पेट्री जाल मॉडल के कुछ उपवर्गों के निष्पादन विश्लेषण की जांच एगुओ ज़ी और पीटर बीरेल द्वारा की गई है।[42]

अतुल्यकालिक परिपथ संश्लेषण

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

कम्पलीट स्टेट कोडिंग समस्या

परिपथ कार्यान्वयन के संश्लेषण में प्रमुख प्रसिद्ध समस्याओं में से एक कंप्लीट स्टेट कोडिंग (सीएससी) है। इस समस्या का निवारण करने के लिए विभिन्न तरीके विकसित किये गये हैं।[6][43][44][11]सीएससी स्पष्टीकरण के लिए विश्लेषण करने का एक विशेष रूप से मूल तरीका युग्मित संबंध या, समतुल्य रूप, लॉक रिलेशन की धारणा पर आधारित है, जिसे एलेक्स याकोवलेव[3][1]और पीटर वानबेकबर्गेन द्वारा स्वतंत्र रूप से विकसित किया गया है।[45][46] एक अन्य विधि ने क्षेत्रों के सिद्धांत का शोषण किया जो पेट्री जाल के तत्वों को स्टेट ग्राफ में स्थितियों के क्षेत्रों से संबद्ध करता है।[47]

आंशिक क्रम और पेट्री जाल विकास के आधार पर सीएससी को ज्ञात करने तथा विश्लेषण[48][49] के लिए संश्लेषण विधियां एलेक्स सेमेनोव और विक्टर खोमेंको द्वारा विकसित की गई हैं।[41][50] इन विधियों ने वर्कक्राफ्ट में कार्यान्वित सीएससी कोर के आधार पर सीएससी समस्याओं के प्रभावी दृश्यकरण के लिए एक विधि[51] को औपचारिक बनाने और कार्यान्वित करने में सहायता की है।[14]

एसटीजी-आधारित संश्लेषण के लिए संरचनात्मक एन्कोडिंग विधियाँ जोसेप कार्मोना द्वारा विकसित की गई हैं।[52]

प्रतिबंधित तर्क आधारों में संश्लेषण

स्वतंत्र गति (स्पीड-इंडिपेंडेंट) (या तुल्यतः अर्ध-विलंब-उदासीन परिपथ- क्यूडीआई) परिपथ के संश्लेषण में एक महत्वपूर्ण समस्या एक प्रतिबंधित तार्किक आधार के भीतर संश्लेषण है, उदाहरण के लिए केवल प्रतिबंधित आधार तर्क गेट जैसे कि AND और OR का उपयोग करना - उदाहरण के लिए, एलेक्स याकोवलेव का कार्य देखें,[53] जहाँ E (उत्तेजन) की स्थिति है, कार्यान्वयन में संकट से मुक्ति सुनिश्चित करने के लिए दृढ़ता आरम्भ की गई थी, जिसमें उत्तेजन फलनों के लिए द्विस्तरीय सम-ऑफ-प्रोडक्ट्स (एसओपी) तर्क तथा किसी दिए गए एसटीजी विनिर्देश के मुख्य आउटपुट संकेतों के लिए एसआर-लैच सम्मिलित थे। तत्पश्चात, एलेक्स कोंडराटयेव एट अल [54] ने इस स्थिति को मोनोटोनिक कवर की धारणा में सामान्यीकृत किया, जिसका बोध सॉफ्टवेयर उपकरण में हुआ।[13][14]नकारात्मक गेट बेस, NAND और NOR में संश्लेषण की समस्या अधिक चुनौतीपूर्ण है। इसके लिए अनेक तरीके विकसित किए गए हैं, जिनका नेतृत्व अधिकतर निकोले स्ट्रोडौबत्सेव ने किया है।[55][56]

संश्लेषण के लिए एसटीजी का अपघटन

वृहद आकार के एसटीजी के लिए संश्लेषण की मापनीयता की समस्या और स्टेट स्पेस  विस्फोट को न्यूनतम करने की आवश्यकता को अंतर्निहित पेट्री जाल के संरचनात्मक गुणों के संबंध में एसटीजी के संकुचन के आधार पर तरीकों से निपटाया गया है - जैसे कि एक फ्री-चॉइस पेट्री जाल को विभाजित करने के तरीके स्टेट मशीनों[5]या अंकित ग्राफ़ के साथ-साथ फैन-इन सिग्नल सबसेट।[57]

मापनीयता से निपटने का एक अन्य तरीका एसटीजी की अतुल्यकालिक परिपथ में प्रत्यक्ष मानचित्रण के माध्यम से है जिसकी जांच डैनिल सोकोलोव द्वारा की गई है।[58]

मध्यस्थता के साथ एसटीजी से संश्लेषण

मध्यस्थों के लिए अतुल्यकालिक परिपथ को स्वतः संश्लेषित करना विशेष रूप से एक चुनौतीपूर्ण समस्या है, क्योंकि उनके एसटीजी विनिर्देश में उनके अंतर्निहित पेट्री जाल में व्यवहारिक विरोध सम्मिलित होंगे। व्यवहार संबंधी विरोध ऐसे परिवर्तनों के अस्तित्व को दर्शाते हैं जो अस्थिर हैं। साधारणतया, ऐसे एसटीजी के तर्क आधारित कार्यान्वयन से परिपथ संकटों से ग्रस्त हो जाएगा। वर्कक्राफ्ट में म्यूटेक्स सिग्नल ट्रांज़िशन के अर्ध-स्वचालित सम्मिलन, मूल विनिर्देश को संरक्षित करने जैसी विशेष तकनीकें[59][60] विकसित और कार्यान्वित की गई हैं।[14][61]

संदर्भ

  1. ↑ 1.0 1.1 "A. Yakovlev and A. Petrov. Petri nets and parallel bus controller design. Proc. of 11th Int. Conf. on Applications and Theory of Petri Nets, Paris, France, June 1990" (PDF).{{cite web}}: CS1 maint: url-status (link)
  2. ↑ Л. Я. Розенблюм. "Язык сигнальных графов и его использование для моделирования протоколов информационного обмена и апериодических схем" (PDF). Всесоюзный семинар Моделирование дискретных управляющих и вычислительных систем, стр. 22-24, 1981.
  3. ↑ 3.0 3.1 Yakovlev, Alex. "Design and Implementation of Asynchronous Communication Protocols in Systems Interfaces" (Проектирование и реализация протоколов асинхронного обмена информацией в межмодульном интерфейсе), PhD thesis (in Russian), 1982".
  4. ↑ 4.0 4.1 Rosenblum, L.Ya. and Yakovlev, A.V. "Signal Graphs: from Self-timed to Timed ones" (PDF). Proceedings of International Workshop on Timed Petri Nets, Torino, Italy, July 1985, IEEE CS Press, Pp. 199-207.{{cite journal}}: CS1 maint: multiple names: authors list (link)
  5. ↑ 5.0 5.1 Chu, T.-A. (1986-06-01). "वीएलएसआई एसिंक्रोनस डिजिटल सिस्टम डिजाइन करने के मॉडल पर". Integration (in English). 4 (2): 99–113. doi:10.1016/S0167-9260(86)80002-5. ISSN 0167-9260.
  6. ↑ 6.0 6.1 Chu, Tam-Anh (1987). ग्राफ-सैद्धांतिक विशिष्टताओं से स्व-समयबद्ध वीएलएसआई सर्किट का संश्लेषण (Thesis thesis). Massachusetts Institute of Technology. hdl:1721.1/14794.
  7. ↑ Yakovlev, A.V. (1992). "On limitations and extensions of STG model for designing asynchronous control circuits". Proceedings 1992 IEEE International Conference on Computer Design: VLSI in Computers & Processors. Cambridge, MA, USA: IEEE Comput. Soc. Press. pp. 396–400. doi:10.1109/ICCD.1992.276300. ISBN 978-0-8186-3110-8. S2CID 47325879.
  8. ↑ Yakovlev, Alex; Kishinevsky, Michael; Kondratyev, Alex; Lavagno, Luciano (1994). Valette, Robert (ed.). "OR causality: Modelling and hardware implementation". Application and Theory of Petri Nets 1994. Lecture Notes in Computer Science (in English). Berlin, Heidelberg: Springer. 815: 568–587. doi:10.1007/3-540-58152-9_31. ISBN 978-3-540-48462-2.
  9. ↑ 9.0 9.1 Yakovlev, A.V.; Koelmans, A.M.; Lavagno, L. (1995). "High-level modeling and design of asynchronous interface logic (21/1995)". IEEE Design & Test of Computers. 12 (1): 32–40. doi:10.1109/54.350688.
  10. ↑ Yakovlev, Alexandre; Lavagno, Luciano; Sangiovanni-Vincentelli, Alberto (November 1996). "अतुल्यकालिक नियंत्रण सर्किट संश्लेषण के लिए एक एकीकृत सिग्नल संक्रमण ग्राफ मॉडल". Formal Methods in System Design (in English). 9 (3): 139–188. doi:10.1007/BF00122081. ISSN 0925-9856.
  11. ↑ 11.0 11.1 Cortadella, J.; Kishinevsky, M.; Kondratyev, A.; Lavagno, L.; Yakovlev, A. (2002). अतुल्यकालिक नियंत्रकों और इंटरफेस के लिए तर्क संश्लेषण. Springer Series in Advanced Microelectronics (in English). Vol. 8. Berlin, Heidelberg: Springer Berlin Heidelberg. doi:10.1007/978-3-642-55989-1. ISBN 978-3-642-62776-7.
  12. ↑ Lavagno, Luciano; Sangiovanni-Vincentelli, Alberto (1993). अतुल्यकालिक सर्किट के संश्लेषण और परीक्षण के लिए एल्गोरिदम (in British English). doi:10.1007/978-1-4615-3212-5. ISBN 978-1-4613-6410-8.
  13. ↑ 13.0 13.1 "Petrify: Related publications".{{cite web}}: CS1 maint: url-status (link)
  14. ↑ 14.0 14.1 14.2 14.3 14.4 "वर्कक्राफ्ट".{{cite web}}: CS1 maint: url-status (link)
  15. ↑ Yakovlev, Alex. "Designing arbiters using Petri nets. Proceedings of the 1995 Israel Workshop on Asynchronous VLSI, Nof Genossar, Israel, March 1995, VLSI Systems Research Center, Technion, Haifa, Israel, pp. 178-201" (PDF).{{cite web}}: CS1 maint: url-status (link)
  16. ↑ Yakovlev, A.V.; Koelmans, A.M.; Semenov, A.; Kinniment, D.J. (1996-12-01). "पेट्री नेट का उपयोग करके अतुल्यकालिक नियंत्रण सर्किट की मॉडलिंग, विश्लेषण और संश्लेषण". Integration (in English). 21 (3): 143–170. doi:10.1016/S0167-9260(96)00010-7. ISSN 0167-9260.
  17. ↑ Yakovlev, A.; Furber, S.; Krenz, R.; Bystrov, A. (July 2004). "स्व-समयबद्ध डुप्लेक्स संचार प्रणाली का डिज़ाइन और विश्लेषण". IEEE Transactions on Computers. 53 (7): 798–814. doi:10.1109/TC.2004.26. ISSN 1557-9956. S2CID 27216794.
  18. ↑ Sokolov, Danil; Khomenko, Victor; Mokhov, Andrey; Dubikhin, Vladimir; Lloyd, David; Yakovlev, Alex (May 2020). "एएमएस इलेक्ट्रॉनिक्स के लिए एसिंक्रोनस लॉजिक कंट्रोल के डिज़ाइन को स्वचालित करना". IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems. 39 (5): 952–965. doi:10.1109/TCAD.2019.2907905. ISSN 1937-4151. S2CID 133188921.
  19. ↑ Golubcovs, Stanislavs; Mokhov, Andrey; Bystrov, Alex; Sokolov, Danil; Yakovlev, Alex (June 2019). "Generalised Asynchronous Arbiter". 2019 19th International Conference on Application of Concurrency to System Design (ACSD). pp. 3–12. doi:10.1109/ACSD.2019.00005. ISBN 978-1-7281-3843-5. S2CID 148566115.
  20. ↑ Mileiko, Sergey (2020). "मजबूत व्यापक IoT अनुप्रयोगों के लिए पावर-कंप्यूट सह-डिज़ाइन, पीएचडी थीसिस, न्यूकैसल विश्वविद्यालय।" (PDF).{{cite web}}: CS1 maint: url-status (link)
  21. ↑ Li, Danhui (2021). "असतत इवेंट मॉडल, पीएचडी थीसिस, न्यूकैसल विश्वविद्यालय के साथ स्विच्ड-कैपेसिटर डीसी-डीसी कन्वर्टर्स का विश्लेषण और डिजाइन" (PDF).{{cite web}}: CS1 maint: url-status (link)
  22. ↑ A. Yakovlev and A. Petrov and L. Rosenblum (1993). "Synthesis of Asynchronous Control Circuits from Symbolic Signal Transition Graphs, Asynchronous Design Methodologies, 1993" (PDF).{{cite web}}: CS1 maint: url-status (link)
  23. ↑ Vanbekbergen, P.; Goossens, G.; De Man, H. (1992). "Specification and analysis of timing constraints in signal transition graphs". [1992] Proceedings the European Conference on Design Automation. Brussels, Belgium: IEEE Comput. Soc. Press. pp. 302–306. doi:10.1109/EDAC.1992.205943. ISBN 978-0-8186-2645-6. S2CID 61935560.
  24. ↑ Cortadella, Jordi; Kishinevsky, Michael; Kondratyev, Alex; Lavagno, Luciano; Taubin, Alexander; Yakovlev, Alex (1998). "Lazy transition systems". Proceedings of the 1998 IEEE/ACM international conference on Computer-aided design - ICCAD '98 (in English). San Jose, California, United States: ACM Press. pp. 324–331. doi:10.1145/288548.288633. hdl:2117/133832. ISBN 978-1-58113-008-9. S2CID 12302564.
  25. ↑ Stevens, K.; Ginosar, R.; Rotem, S. (1999). "Relative timing". कार्यवाही. एसिंक्रोनस सर्किट और सिस्टम में उन्नत अनुसंधान पर पांचवीं अंतर्राष्ट्रीय संगोष्ठी. Barcelona, Spain: IEEE Comput. Soc. pp. 208–218. doi:10.1109/ASYNC.1999.761535. ISBN 978-0-7695-0031-7. S2CID 195352018.
  26. ↑ Kishinevsky, Michael; Cortadella, Jordi; Kondratyev, Alex; Lavagno, Luciano; Taubin, Alexander; Yakovlev, Alex (1997). Azéma, Pierre; Balbo, Gianfranco (eds.). "Coupling asynchrony and interrupts: Place Chart Nets". Application and Theory of Petri Nets 1997. Lecture Notes in Computer Science (in English). Berlin, Heidelberg: Springer. 1248: 328–347. doi:10.1007/3-540-63139-9_44. ISBN 978-3-540-69187-7.
  27. ↑ Badouel, Eric; Darondeau, Philippe (1998), Reisig, Wolfgang; Rozenberg, Grzegorz (eds.), "Theory of regions", Lectures on Petri Nets I: Basic Models: Advances in Petri Nets, Lecture Notes in Computer Science (in English), Berlin, Heidelberg: Springer, pp. 529–586, doi:10.1007/3-540-65306-6_22, ISBN 978-3-540-49442-3, retrieved 2021-07-31
  28. ↑ Cortadella, J.; Kishinevsky, M.; Lavagno, L.; Yakovlev, A. (August 1998). "परिमित संक्रमण प्रणालियों से पेट्री जाल प्राप्त करना". IEEE Transactions on Computers. 47 (8): 859–882. doi:10.1109/12.707587. hdl:2117/125784. S2CID 2128502.
  29. ↑ Yakovlev, Alexandre (1998-01-01). "पेट्री नेट का उपयोग करके काउंटरफ्लो पाइपलाइन प्रोसेसर के लिए नियंत्रण तर्क डिजाइन करना". Formal Methods in System Design (in English). 12 (1): 39–71. doi:10.1023/A:1008649930696. ISSN 1572-8102. S2CID 14497213.
  30. ↑ Sproull, R.F.; Sutherland, I.E.; Molnar, C.E. (Autumn 1994). "काउंटरफ़्लो पाइपलाइन प्रोसेसर आर्किटेक्चर". IEEE Design & Test of Computers. 11 (3): 48–. doi:10.1109/MDT.1994.303847. ISSN 1558-1918. S2CID 26434994.
  31. ↑ Concurrent hardware : the theory and practice of self-timed design. M. A. Kishinevskiĭ. Chichester: Wiley. 1994. ISBN 0-471-93536-0. OCLC 28889359.{{cite book}}: CS1 maint: others (link)
  32. ↑ Yakovlev, Alexandre; Kishinevsky, Michael; Kondratyev, Alex; Lavagno, Luciano; Pietkiewicz-Koutny, Marta (1996-11-01). "OR कार्य-कारण के साथ अतुल्यकालिक सर्किट व्यवहार के लिए मॉडल पर". Formal Methods in System Design (in English). 9 (3): 189–233. doi:10.1007/BF00122082. ISSN 1572-8102. S2CID 7456859.
  33. ↑ Starodubtsev, N., Yakovlev, A., Petrov, S. "एसिंक्रोनस सर्किट के इंटरैक्टिव संश्लेषण के लिए वीएचडीएल पर्यावरण का उपयोग" (PDF). Published in Proceedings of VHDL Forum in Europe Spring Working Conference, 1996, Dresden, Germany.{{cite web}}: CS1 maint: location (link) CS1 maint: multiple names: authors list (link)
  34. ↑ Blunno, Ivan; Lavagno, Luciano (2000), Yakovlev, Alex; Gomes, Luis; Lavagno, Luciano (eds.), "Deriving Signal Transition Graphs from Behavioral Verilog HDL", Hardware Design and Petri Nets (in English), Boston, MA: Springer US, pp. 151–170, doi:10.1007/978-1-4757-3143-9_8, ISBN 978-1-4419-4969-1, retrieved 2022-05-30
  35. ↑ Shang, D.; Burns, F.; Koelmans, A.; Yakovlev, A.; Xia, F. (2004-05-01). "वीएचडीएल और पेट्री नेट का उपयोग करके प्रत्यक्ष मानचित्रण पर आधारित अतुल्यकालिक प्रणाली संश्लेषण". IEE Proceedings - Computers and Digital Techniques (in English). 151 (3): 209–220. doi:10.1049/ip-cdt:20040525. ISSN 1359-7027. S2CID 62708582.
  36. ↑ Burns, F.; Shang, D.; Koelmans, A.; Yakovlev, A. (2004). "An asynchronous synthesis toolset using Verilog". यूरोप सम्मेलन और प्रदर्शनी में कार्यवाही डिजाइन, स्वचालन और परीक्षण. Paris, France: IEEE Comput. Soc. pp. 724–725. doi:10.1109/DATE.2004.1268948. ISBN 978-0-7695-2085-8. S2CID 9219686.
  37. ↑ "अतुल्यकालिक उच्च स्तरीय संश्लेषण उपकरण (VERISYN)".
  38. ↑ Cortadella, Jordi; Moreno, Alberto; Sokolov, Danil; Yakovlev, Alex; Lloyd, David (2017). "Waveform Transition Graphs: A Designer-Friendly Formalism for Asynchronous Behaviours". 2017 23rd IEEE International Symposium on Asynchronous Circuits and Systems (ASYNC). IEEE. pp. 73–74. doi:10.1109/ASYNC.2017.24. hdl:2117/114897. ISBN 978-1-5386-2749-5. S2CID 5836204.
  39. ↑ Nowick, Steve. "बर्स्ट-मोड एसिंक्रोनस नियंत्रकों का स्वचालित संश्लेषण (पीएचडी थीसिस)" (PDF). {{cite web}}: |archive-date= requires |archive-url= (help); Check date values in: |archive-date= (help)
  40. ↑ Chan, Alex; Sokolov, Danil; Khomenko, Victor; Lloyd, David; Yakovlev, Alex (2021-02-01). "बर्स्ट-मोड विनिर्देशों से एसआई सर्किट का संश्लेषण". 2021 Design, Automation & Test in Europe Conference & Exhibition (DATE). Grenoble, France: IEEE: 366–369. doi:10.23919/DATE51398.2021.9474117. ISBN 978-3-9819263-5-4. S2CID 236150734.
  41. ↑ 41.0 41.1 Khomenko, Victor (2003). पेट्री नेट अनफोल्डिंग्स, पीएचडी थीसिस के उपसर्गों के आधार पर मॉडल जांच (PDF). Newcastle University.
  42. ↑ Xie, Aiguo; Beerel, Peter A. (2000), Yakovlev, Alex; Gomes, Luis; Lavagno, Luciano (eds.), "Performance Analysis of Asynchronous Circuits and Systems Using Stochastic Timed Petri Nets", Hardware Design and Petri Nets (in English), Boston, MA: Springer US, pp. 239–268, doi:10.1007/978-1-4757-3143-9_13, ISBN 978-1-4757-3143-9, retrieved 2021-08-01
  43. ↑ Lavagno, L.; Moon, C.W.; Brayton, R.K.; Sangiovanni-Vincentelli, A. (1992). "Solving the state assignment problem for signal transition graphs". [1992] Proceedings 29th ACM/IEEE Design Automation Conference. Anaheim, CA, USA: IEEE Comput. Soc. Press. pp. 568–572. doi:10.1109/DAC.1992.227821. ISBN 978-0-8186-2822-1. S2CID 17410812.
  44. ↑ Vanbekbergen, Peter; Lin, Bill; Goossens, Gert; De Man, Hugo (1994), Meng, Teresa H.; Malik, Sharad (eds.), "A Generalized State Assignment Theory for Transformations on Signal Transition Graphs", Asynchronous Circuit Design for VLSI Signal Processing (in English), Boston, MA: Springer US, pp. 101–115, doi:10.1007/978-1-4615-2794-7_8, ISBN 978-1-4615-2794-7, retrieved 2021-08-12
  45. ↑ Vanbekbergen, P.; Catthoor, F.; Goossens, G.; De Man, H. (1990). "Optimized synthesis of asynchronous control circuits from graph-theoretic specifications". 1990 IEEE International Conference on Computer-Aided Design. Digest of Technical Papers. Santa Clara, CA, USA: IEEE Comput. Soc. Press. pp. 184–187. doi:10.1109/ICCAD.1990.129875. ISBN 978-0-8186-2055-3.
  46. ↑ Vanbekbergen, P.; Goossens, G.; Catthoor, F.; De Man, H.J. (November 1992). "ग्राफ़-सैद्धांतिक विशिष्टताओं से अतुल्यकालिक नियंत्रण सर्किट का अनुकूलित संश्लेषण". IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems. 11 (11): 1426–1438. doi:10.1109/43.177405. S2CID 32318274.
  47. ↑ Cortadella, J.; Kishinevsky, M.; Kondratyev, A.; Lavagno, L.; Yakovlev, A. (August 1997). "गति-स्वतंत्र सर्किट में राज्य असाइनमेंट के लिए एक क्षेत्र-आधारित सिद्धांत". IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems. 16 (8): 793–812. doi:10.1109/43.644602. hdl:2117/125782.
  48. ↑ Semenov, A.; Yakovlev, A.; Pastor, E.; Pena, M.A.; Cortadella, J.; Lavagno, L. (1997). "Partial order based approach to synthesis of speed-independent circuits". एसिंक्रोनस सर्किट और सिस्टम में उन्नत अनुसंधान पर तीसरी अंतर्राष्ट्रीय संगोष्ठी की कार्यवाही. Eindhoven, Netherlands: IEEE Comput. Soc. Press. pp. 254–265. doi:10.1109/ASYNC.1997.587179. hdl:2117/129959. ISBN 978-0-8186-7922-3. S2CID 7883418.
  49. ↑ Semenov., Alexei (1997). पेट्री नेट अनफोल्डिंग का उपयोग करके अतुल्यकालिक नियंत्रण सर्किट का सत्यापन और संश्लेषण (Thesis thesis) (in English). Newcastle University.
  50. ↑ Khomenko, Victor (July 2009). "एसटीजी अनफोल्डिंग का उपयोग करके एन्कोडिंग संघर्षों का कुशल स्वचालित समाधान". IEEE Transactions on Very Large Scale Integration (VLSI) Systems. 17 (7): 855–868. doi:10.1109/TVLSI.2008.2012156. ISSN 1063-8210. S2CID 62773126.
  51. ↑ Madalinski, A.; Bystrov, A.; Khomenko, V.; Yakovlev, A. (2003). "एसिंक्रोनस सर्किट डिज़ाइन में एन्कोडिंग संघर्षों का विज़ुअलाइज़ेशन और समाधान". IEE Proceedings - Computers and Digital Techniques (in English). 150 (5): 285. doi:10.1049/ip-cdt:20030831.
  52. ↑ Carmona, J.; Cortadella, J.; Pastor, E. (2001). "A structural encoding technique for the synthesis of asynchronous circuits". सिस्टम डिज़ाइन में समवर्ती अनुप्रयोग पर दूसरे अंतर्राष्ट्रीय सम्मेलन की कार्यवाही. Newcastle upon Tyne, UK: IEEE Comput. Soc. pp. 157–166. doi:10.1109/CSD.2001.981773. hdl:2117/133434. ISBN 978-0-7695-1071-2. S2CID 16280258.
  53. ↑ Yakovlev, A.V. (1993). "Synthesis of Hazard-free Asynchronous Circuits from Generalized Signal-Transition Graphs". वीएलएसआई डिज़ाइन पर छठा अंतर्राष्ट्रीय सम्मेलन. Bombay, India: IEEE. pp. 21–24. doi:10.1109/ICVD.1993.669629. ISBN 978-0-8186-3180-1. S2CID 10434495.
  54. ↑ Kondratyev, Alex; Kishinevsky, Michael; Lin, Bill; Vanbekbergen, Peter; Yakovlev, Alex (1994-06-06). "Basic gate implementation of speed-independent circuits". Proceedings of the 31st annual conference on Design automation conference - DAC '94. DAC '94. New York, NY, USA: Association for Computing Machinery. pp. 56–62. doi:10.1145/196244.196275. ISBN 978-0-89791-653-0. S2CID 10431976.
  55. ↑ Starodoubtsev, N.; Bystrov, S.; Goncharov, M.; Klotchkov, I.; Smirnov, A. (2001). "Towards synthesis of monotonic asynchronous circuits from signal transition graphs". सिस्टम डिज़ाइन में समवर्ती अनुप्रयोग पर दूसरे अंतर्राष्ट्रीय सम्मेलन की कार्यवाही. Newcastle upon Tyne, UK: IEEE Comput. Soc. pp. 179–188. doi:10.1109/CSD.2001.981775. ISBN 978-0-7695-1071-2. S2CID 39407927.
  56. ↑ Starodoubtsev, N.; Bystrov, S.; Yakovlev, A. (2003). "Monotonic circuits with complete acknowledgement". Ninth International Symposium on Asynchronous Circuits and Systems, 2003. Proceedings. Vancouver, BC, Canada: IEEE Comput. Soc. pp. 98–108. doi:10.1109/ASYNC.2003.1199170. ISBN 978-0-7695-1898-5. S2CID 704120.
  57. ↑ Khomenko, Victor; Schaefer, Mark; Vogler, Walter; Wollowski, Ralf (2009-10-01). "खुलासा के साथ संयोजन में एसटीजी अपघटन रणनीतियाँ". Acta Informatica (in English). 46 (6): 433–474. doi:10.1007/s00236-009-0102-y. ISSN 1432-0525. S2CID 9955410.
  58. ↑ Sokolov, Danil; Bystrov, Alexander; Yakovlev, Alex (June 2007). "एसटीजी से कम-विलंबता अतुल्यकालिक नियंत्रकों की सीधी मैपिंग". IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems. 26 (6): 993–1009. doi:10.1109/TCAD.2006.884416. ISSN 0278-0070. S2CID 6811851.
  59. ↑ Cortadella, J.; Lavagno, L.; Vanbekbergen, P.; Yakovlev, A. (1994). "Designing asynchronous circuits from behavioural specifications with internal conflicts". Proceedings of 1994 IEEE Symposium on Advanced Research in Asynchronous Circuits and Systems. Salt Lake City, UT, USA: IEEE Comput. Soc. Press. pp. 106–115. doi:10.1109/ASYNC.1994.656296. hdl:2117/128605. ISBN 978-0-8186-6210-2. S2CID 14524732.
  60. ↑ Low, K-S. and Yakovlev, A. (1995). "Token Ring Arbiters: An Exercise in Asynchronous Logic Design with Petri-Nets" (PDF).{{cite web}}: CS1 maint: multiple names: authors list (link) CS1 maint: url-status (link)
  61. ↑ Sokolov, Danil; Khomenko, Victor; Yakovlev, Alex; Lloyd, David (May 2018). "Design and Verification of Speed-Independent Circuits with Arbitration in Workcraft". 2018 24th IEEE International Symposium on Asynchronous Circuits and Systems (ASYNC). pp. 30–31. doi:10.1109/ASYNC.2018.00017. ISBN 978-1-5386-5883-3. S2CID 57192066.


अग्रिम पठन

Retrieved from ‘https://www.vigyanwiki.in/index.php?title=सिग्नल_ट्रांज़िशन_ग्राफ़&oldid=268086’