موضوع فارسی :در معناشناسی ارتباط فرآیندهای سخت افزار و خود
ترجمه به LOTOS برای تایید آسنکرون
مدارهای با CADP
موضوع انگلیسی :On the semantics of communicating hardware processes and their
translation into LOTOS for the verification of asynchronous
circuits with CADP
تعداد صفحه :28
فرمت فایل :PDF
سال انتشار :2009
زبان مقاله : انگلیسی
سنگ روند سخت افزار، مانند CHP (ارتباط فرایندهای سخت افزار)، بالسا، یا عجله
(که قبلا به معمای چینی)، یک روش طبیعی برای توصیف سخت افزار آسنکرون
معماری. این سنگ پسوند سنگ فرآیند استاندارد با خاص
ویژگی های هماهنگ سازی اجرا با استفاده از پروتکل های دست دادن. در این مقاله، ما برای اولین بار
یک معانی عملیاتی ساختاری برای ارزش عبور CHP. در مقایسه با موجود
معناشناسی CHP با ترجمه تعریف به شبکه های پتری، معناشناسی ما به اندازه کافی است
که مسئولیت رسیدگی به ارزش عبور CHP با کانال های ارتباطی باز به محیط زیست، و
همچنین مستقل از هر خاص (2- یا 4 فاز) پروتکل مورد استفاده برای دست دادن مدار
پیاده سازی. پس از آن ما توصیف ترجمه CHP به حساب روند ها Lotos
(ISO استاندارد 8807)، به منظور اجازه معماریهای سخت افزاری ناهمزمان بیان شده در
CHP به استفاده از جعبه ابزار تایید Cadp برای Lotos و تأیید شده است. مترجم از ChP
به Lotos و اجرا شده است و با موفقیت مورد استفاده برای تأیید ترکیبی
دو مورد صنعتی، از جمله یک پیاده سازی ناهمگام از دس (داده
استاندارد رمزگذاری) و یک اتصال آسنکرون از کمیته ملی المپیک (شبکه بر روی تراشه).
