مدلسازی و سنتز معماری ارتباطات در سطح سیستم

با گسترش دامنه استفاده از مدارهای الکترونیکی و افزایش روز افزون پیچیدگی مدارهای مذکور، زمان مورد نیاز برای طراحی و ساخت اینگونه مدارها به یکی از دغدغه های چالش برانگیز برای پژوهش گران و متخصصین این زمینه تبدیل شده است. طبق پیش بینی های itrc تعداد پردازنده ها در mpsoc در هر گره تکنولوژی چهار برابر می شود و از این رو در آینده نزدیک طراحی معماری ارتباطات در سیستم های بر چیپ مهمترین مسئله این حوزه از علم خواهد بود. لذا در این پایان نامه در مورد مدلسازی معماری ارتباطات و ارائه راهکارهایی برای تسریع روند طراحی بحث شده است. در این راستا ابتدا محیطی مبتنی بر osci tlm-2.0 ارائه شده است که امکان ایجاد خودکار و دینامیک یک معماری ارتباطی را به صورت مجرد فراهم می کند. در این محیط بدون اینکه نیازی به مدلسازی جداگانه حالات مختلف باشد، مشخصات معماری مورد مطالعه در قالب فایلهایی با فرمت مشخص گرفته شده و به صورت خودکار مدل مجرد بر مبنای فایلهای دریافتی ایجاد شده، شبیه سازی می شود. محیط پیاده شده امکان بررسی حالات مختلف و کاوش فضای حالت معماری های ارتباطات در سطح چیپ را فراهم می سازد. در فاز بعدی از این پایان نامه روشی برای مدلسازی معماری ارتباطات توسط شبکه های پتری به نام capn ارائه شده است. در این روش که از امکانات شبکه های پتری زمانی و رنگی استفاده شده است امکان مدلسازی فرمال معماری ارتباطات در سطح سیستم و بدون بیان جزییات محاسباتی فراهم شده است. روش ارائه شده دارای ویژگی سلسله مراتبی می باشد که این ویژگی امکان بیان قسمت هایی و یا کل سیستم را در سطوح تجرید پایین تر و با جزیات بیشتر فراهم می سازد. مقایسه نتایج حاصل از مدل های capn با شبیه سازی مدل های tlm نشان می دهد پاسخ های حاصل از مدل های capn تقریبا بیش از 80% با نتایج شبیه سازی tlm شباهت دارد و از این رو از دقت و صحت کافی برخوردار است. هدف نهایی در این پایان نامه ، سنتز ارتباطات سطح بالا برای soc ها می باشد. در این راستا با بهره گیری از ساختار ارائه شده و امکانات مانیتورینگ و تحلیل کارایی نرم افزار cpn tools ، اطلاعاتی برای سنتز معماری ارتباطی برای soc استخراج شده است. در این قسمت فرض بر آن است که بر اساس نیاز های ارتباطی، ساختار اولیه ای توسط کاربر ارائه شده است و پس از آن با راهکارهایی و با پالایش مدل اولیه ساختار اولیه بهبود یافته است