| دانلود رایگان مقاله انگلیسی + خرید ترجمه فارسی
|
|
| عنوان فارسی مقاله: |
مسائل مرتبط به مدل سازی تایید سخت افزاری در زبان برنامه نویسی الکترونیک |
| عنوان انگلیسی مقاله: |
Modelling Hardware Verification Concerns Specified in the e Language |
|
|
| مشخصات مقاله انگلیسی و ترجمه فارسی | |
| سال انتشار مقاله | 2009 |
| تعداد صفحات مقاله انگلیسی | 6 صفحه با فرمت pdf |
| تعداد صفحات ترجمه مقاله | 14 صفحه با فرمت word به صورت تایپ شده با قابلیت ویرایش |
| رشته های مرتبط با این مقاله | مهندسی کامپیوتر و مهندسی فناوری اطلاعات |
| گرایش های مرتبط با این مقاله | سخت افزار، طراحی و تولید نرم افزار، برنامه نویسی کامپیوتر و مهندسی نرم افزار |
| مجله مربوطه | مجموعه مقالات کنفرانس بین المللی در توسعه نرم افزار(Proceedings of the 8th ACM international conference on software development) |
| دانشگاه تهیه کننده | بریستول، بریتانیا |
| کلمات کلیدی این مقاله | تایید سخت افزاری، زبان برنامه نویسی e، مدل سازی جنبه گرا، موضوع/UML |
| لینک مقاله در سایت مرجع | لینک این مقاله در سایت ACM |
| نشریه | ACM |
- بخشی از ترجمه:
چکیده ترجمه:
زبان الکترونیک (زبان برنامه نویسی e) به عنوان زبان اثبات شده سخت افزاری می باشد که به صورت گسترده ای برای مشخص کردن طرح های جریانات الکترونیکی از طریق توسعه و اجرای برنامه، مورد استفاده قرار می گیرد. در سال های اخیر، رشد مستمر این تست ها در فناوری اطلاعات باعث ایجاد مشکلاتی در درک، حفظ و گسترش آن ها شده است. در نتیجه تصمیماتی برای مستند ساختن این تست ها در سطح بالاتر گرفته شده است. بر این اساس، تلاشی را به منظور ایجاد تطبیق با رویکردهای مدلسازی جنبه گرا کنونی، انجام می دهیم. در این مقاله، تجارب خود را در ارتباط با کاربرد این درون مایه/ زبان های برنامه نویسی یکپارچه که به عنوان یک رویکرد جنبه گرا می باشد،در ارائه تست های جنبه گرا که در زبان برنامه نویسی e، مد نظر قرار می دهیم. مشخص شده است که مفاهیم جنبه گرا که توسط موضوعات/زبان های برنامه نویسی یکپارچه مورد حمایت قرار می گیرند، برای به ارائه زبان برنامه نویسی e به دلیل پویا بودن این زبان و ماهیت زمانی آن، مناسب نمی باشند. بر مبنای چنین تجربیاتی، ما مجموعه ای از شرایطی را مطرح می کنیم که می بایست قبل از رویکردهای طراحی جنبه گرا همانند موضوعات و زبان های برنامه نویسی یکپارچه که دارای قابلیت عرضه سیستم های جنبه گرا در زبان e می باشند، مد نظر قرار می دهیم.
مقدمه
فناوری اطلاعات به ارائه مواد نیمه سانا در ارتباط با تکنولوژی وسایل نقلیه موتوری، ابزارهای الکترونیک صنعتی، ریزتراشه های کوچک و بخش های امنیتی و همچنین برنامه های کاربردی در ارتباطات می پردازد.
این اطلاعات برمبنای حق کپی رایت ACM ٢٠٠٩ می باشد. این نسخه ای از کتاب این محقق می باشد. آن در اینجا به اجازه ACM برای استفاده شما قرار داده شده است و هدف انتشار مجدد آن نمی باشد. نسخه نهایی آن در AOSD ٠٩ در کنفرانس بین المللی ACM در ارتباط با توسعه نرم افزاری جنبه گرا منتشر شده است.
این محصولات بر مبنای نوع آوری های آنالوگ و سیگنال های ترکیبی، فرکانس رادیویی، و تکنولوژی کنترل توان می باشد. این شرکت در حال حاضر تقریبا ٢٢٩٠٠ حق ثبت را در این فناوری ها دارا می باشد.
اسپکمن به عنوان یک ابزار تثبیت سخت افزارهای جنبه گرای می باشد که توسط اطلاعات موجود برای تایید طرح های جریانات الکترونیکی مورد استفاده قرار می گیرد. این فناوری به زبان برنامه نویسی جنبه گرای نوشته شده است که به نام e می باشد. این زبان توسط اینفینئون برای ساخت برنامه ای که باعث ایجاد محرک هایی در درون طرح های سخت افزاری و بررسی فعالیت های خاص می شود، نوشته می شود. پیشرفت مستمر این برنامه ها در سال های اخیراین مسئله را ایجاد کرده است که چگونه می توان به حفظ و استفاده از این کدها با توجه به پیچیدگی های روزافزون آن ها پرداخت. این بررسی ها در پروژه های چند منظوره با توجه به ویژگی های مختلفی که به این پروژه ها اضافه می گردد، مد نظر قرار می گیرند.
- بخشی از مقاله انگلیسی:
ABSTRACT
e is an aspect-oriented hardware verification language that is widely used to verify the design of electronic circuits through the development and execution of testbenches. In recent years, the continued growth of the testbenches developed at Infineon Technologies has resulted in their becoming difficult to understand, maintain and extend. Consequently, a decision was taken to document the testbenches at a higher level of abstraction. Accordingly, we attempted to model our legacy test suites with an existing aspect-oriented modelling approach. In this paper we describe our experience of applying Theme/UML, an aspectoriented modelling approach, to the representation of aspectoriented testbenches implemented in e. It emerged that the common aspect-oriented concepts supported by Theme/UML were not sufficient to adequately represent the e language, primarily due to e’s dynamic, temporal nature. Based on this experience we propose a number of requirements that must be addressed before aspect-oriented modelling approaches such as Theme/UML are capable of representing aspect-oriented systems implemented in e. Categories and Subject Descriptors D.3.3 [Programming Languages]: Language Constructs and Features; D.2.10 [Software Engineering]: Design; D.2.2 [Software Engineering]: Design Tools and Techniques General Terms Design, Languages, Verification Keywords Hardware verification, e, aspect-oriented modelling, Theme/UML
1. INTRODUCTION Infineon Technologies [1] offers semiconductors and system solutions for automotive, industrial electronics, chip card and security domains, as well as applications in communications.These products are based on development of innovative analog and mixed signal, radio frequency, power and embedded control technologies. The company currently holds approximately 22,900 patents related to these technologies. Specman is an aspect-oriented hardware verification tool employed by Infineon to verify the design of electronic circuits. Specman testbenches are written in an aspect-oriented language called e. e is primarily used by Infineon to construct testbenches that inject stimuli into a hardware design and check for valid actions/responses. The continued growth of the testbenches in recent years has raised the issue of how to maintain and reuse legacy test code as it increases in complexity. Testbenches are reused across multiple projects, with different aspect-oriented extensions being added on a per-project basis. When attempting to adopt a legacy testbench written by another developer, the number of aspect-oriented extensions makes it difficult to determine exactly what behaviour has been defined, particularly when individual methods can be extended and overwritten in different sub-types. To compound this problem, knowledge of the particulars of each project-specific design is partially or completely lost as people move out of Infineon. It was decided that using a high-level, graphical design language to visualise the testbenches would speed up knowledge transfer and project understanding, and thereby aid with maintaining and reusing existing code.
| دانلود رایگان مقاله انگلیسی + خرید ترجمه فارسی
|
|
| عنوان فارسی مقاله: |
نگرانی تایید مدلینگ سخت افزاری در زبان الکترونیکی |
| عنوان انگلیسی مقاله: |
Modelling Hardware Verification Concerns Specified in the e Language |
|
|