Modelling Hardware Verification Concerns Specified in the e Language: An Experience Report

ABSTRACT

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.

INTRODUCTION

 Infineon Technologies  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. 

چکیده

یک زبان تایید سخت افزاری جنبه گرا است که به طور گسترده ای برای تأیید طراحی مدارهای الکترونیکی از طریق توسعه و اجرای آزمایشگاه ها مورد استفاده قرار می گیرد. در سال های اخیر، رشد مداوم آزمایشگاه های فن آوری Infineon Technologies باعث شده است که آنها درک، نگهداری و گسترش پیدا کنند. درنتیجه، تصمیم گرفت تا تست های تست را در سطحی بالاتر از انتزاع ثبت کند. به این ترتیب، ما تلاش کردیم مجموعه سوالات آزمایشی ما را با رویکرد مدل سازی موجود جنبه ای موجود مدل کنیم. در این مقاله ما تجربیات ما در مورد استفاده از Theme / UML، رویکرد مدل سازی انحصاری، به تجربیات آزمایشگاه های متشکل از پیاده سازی در e را شرح می دهیم. به نظر می رسد مفاهیم متداول جنبه گرا که توسط Theme / UML پشتیبانی می شوند، به اندازه کافی برای نشان دادن زبان الکترونیکی کافی نیستند، که عمدتا به دلیل ماهیت دینامیکی و زمانی است. بر اساس این تجربه، ما تعدادی از الزامات را پیشنهاد می کنیم که باید پیش از آنکه رویکرد مدل سازی جنبه ی گوناگون مانند Theme / UML قادر به ارائه سیستم های جنبه گرا در اجرا باشد.

مقدمه

Infineon Technologies ارائه می دهد نیمه هادی ها و راه حل های سیستم برای خودرو، الکترونیک صنعتی، کارت تراشه و حوزه های امنیتی، و همچنین برنامه های کاربردی در ارتباطات. این محصولات براساس توسعه سیگنال نوآورانه آنالوگ و مخلوط، فرکانس رادیویی، قدرت و فن آوری کنترل تعبیه شده است. این شرکت در حال حاضر حدود 22،900 پتنت مربوط به این فن آوری ها را نگه می دارد. Specman یک ابزار تأیید صحت سخت افزاری است که توسط Infineon مورد استفاده قرار می گیرد تا طراحی مدارهای الکترونیکی را بررسی کند. Testbenches Specman در یک زبان جنبه گرا به نام e نوشته شده است. e در ابتدا توسط Infineon برای ساخت تست های است که تزریق محرک ها را به یک طراحی سخت افزار و بررسی اقدامات / پاسخ معتبر استفاده می شود. رشد مداوم آزمایشگاه ها در سال های اخیر باعث شده است که نحوه نگهداری و استفاده مجدد از کد آزمون میراث را افزایش دهد، زیرا پیچیدگی آن افزایش می یابد. Testbenches در پروژه های متعدد استفاده مجدد می شوند، با فرمت های گوناگون جنبه گرا اضافه شده بر اساس هر پروژه. هنگامی که تلاش برای اتخاذ testbench میراثی که توسط یکی دیگر از توسعه دهنده ها نوشته شده است، تعدادی از افزونه های جنبه ی گرا دشوار است که دقیقا مشخص شود چه رفتاری تعریف شده است، به خصوص وقتی که روش های فردی را می توان در زیر انواع مختلفی گسترش داد. برای ترکیب این مشکل، شناخت جزئیات هر طراحی خاص پروژه به صورت جزئی یا به طور کامل از بین می رود زیرا مردم از Infineon خارج می شوند.

Year: 2016

Publisher: IEEE

By : Darren Galpin , Cormac Driver , Siobhán Clarke

File Information: English Language/ 6 Page / size: 179 KB

Download

سال : 1395

ناشر : IEEE

کاری از : دارن گالپین، راننده Cormac، Siobhán Clarke

اطلاعات فایل : زبان انگلیسی / 6 صفحه / حجم : KB 179

لینک دانلود