ترجمه فارسی توضیحات (ترجمه ماشینی)
روشهای صحیح طراحی و تأیید سختافزار: دهمین کنفرانس کاری تحقیقاتی پیشرفته IFIP WG10.5، CHARME’99 BadHerrenalb، آلمان، 27 تا 29 سپتامبر، مجموعه مقالات 1999
CHARME’99 دهمین از مجموعه کنفرانسهای کاری است که به توسعه و استفاده از تکنیکها و ابزارهای رسمی پیشرو برای طراحی و تأیید سختافزار و سیستمها اختصاص دارد. کنفرانس های قبلی در دارمشتات (1984)، ادینبورگ (1985)، گرنوبل (1986)، گلاسکو (1988)، لوون (1989)، تورینو (1991)، آرل (1993)، فرانکفورت (1995) و مونترال (1997) برگزار شده است. . این مجموعه کارگاه و کنفرانس با همکاری IFIP WG 10 سازماندهی شده است. 5. اکنون همتای دوسالانه FMCAD است که هر سال به صورت زوج در ایالات متحده برگزار می شود. رویداد سال 1999 در بد هرنالب، دهکده تفریحی واقع در جنگل سیاه و نزدیک به شهر کارلسروهه رخ داد. اعتبارسنجی رفتار عملکردی و زمانبندی یک گلوگاه اصلی در سیستمهای طراحی فعلی VLSI است. تا چند سال پیش، یک حوزه مطالعاتی عمدتاً آکادمیک، طراحی رسمی و تکنیکهای تأیید در حال حاضر به سمت استفاده صنعتی مهاجرت میکنند. هدف CHARME’99 گرد هم آوردن محققان و کاربرانی از دانشگاه و صنعت است که در این حوزه فعال تحقیقاتی کار می کنند. دو گفتگوی دعوت شده روندهای اصلی کنونی را نشان می دهند: ارائه توسط جرارد بری (Ecole des Mines de Paris, Sophia-Antipolis, فرانسه) مربوط به استفاده از زبان های همزمان در طراحی مدار است و سخنرانی پیتر یانسن (BMW, مونیخ، آلمان) کاربرد روش های رسمی را در یک محیط صنعتی نشان می دهد. این برنامه همچنین شامل 20 ارائه منظم و 12 نمایش کوتاه/نمایشگاه پوستر است که از بین 48 مقاله ارسال شده انتخاب شده است.
CHARME’99 is the tenth in a series of working conferences devoted to the dev- opment and use of leading-edge formal techniques and tools for the design and veri?cation of hardware and systems. Previous conferences have been held in Darmstadt (1984), Edinburgh (1985), Grenoble (1986), Glasgow (1988), Leuven (1989), Torino (1991), Arles (1993), Frankfurt (1995) and Montreal (1997). This workshop and conference series has been organized in cooperation with IFIP WG 10. 5. It is now the biannual counterpart of FMCAD, which takes place every even-numbered year in the USA. The 1999 event took place in Bad Her- nalb, a resort village located in the Black Forest close to the city of Karlsruhe. The validation of functional and timing behavior is a major bottleneck in current VLSI design systems. A predominantly academic area of study until a few years ago, formal design and veri?cation techniques are now migrating into industrial use. The aim of CHARME’99 is to bring together researchers and users from academia and industry working in this active area of research. Two invited talks illustrate major current trends: the presentation by G´erard Berry (Ecole des Mines de Paris, Sophia-Antipolis, France) is concerned with the use of synchronous languages in circuit design, and the talk given by Peter Jansen (BMW, Munich, Germany) demonstrates an application of formal methods in an industrial environment. The program also includes 20 regular presentations and 12 short presentations/poster exhibitions that have been selected from the 48 submitted papers.
نقد و بررسیها
هنوز بررسیای ثبت نشده است.