اثبات بر مبنای سیستم های چندزمانه GALS. چکیده ابزارهای استاندارد EDA ABV در ارتباط با سیستم های چند زمانه تراشه ها می باشد که به نام سیستم های انسکرون و یا GALS شناخته می شوند. این مقاله روش هایی را در ارتباط با عملکرد سیستم های چند زمانه توصیف می کند که در چنین سیستم هایی از ابزارهای استاندارد PSL و ABV استتفاده می شود.ما STG ( نمودار انتقال سیگنال ها را) به عنوان یک شکل معمول برای تعیین عملکردهای اسنکرون در نظر می گیریم که در موارد مربوط به PSL ، ابزارهای استاندار ABV را مورد استفاده قرار می دهند و به این ترتیب به اثبات موارد می پردازند. الگوریتم مطرح شده ASE در ارتباط با مدل مد نظر قرار می گیرد که شبکه ها را بر روی تراشه ها به جریان می اندازند... که این موارد در ارتباط با ارتباطات درونی اسنکرون می باشد.توصیف کننده طبقات و موضوعات.الگوریتم کلیطرح ، اثبات.