Bosh sahifa > Ko'rgazma > Kontent

Chipdagi tizim (SoCs) metodologiyasi

Mar 08, 2019

Chipdagi tizimlar standart apparatni tekshirish va tasdiqlash metodlari bilan modellashtirilgan, ammo yuqorida ko'rsatilgan maqbul optimallash maqsadlarida tizimni ko'p o'lchovli qarorlarni tahlil qilish bo'yicha optimallashtirish uchun SoC dizayn variantlarini modellash va optimallashtirish uchun qo'shimcha texnikalar qo'llaniladi.


Vazifa rejalashtirish

Vazifani rejalashtirish jarayoni har qanday kompyuter tizimida bir nechta jarayon yoki bitta protsessor yadrosini ulashuvchi zarrachalar bilan ishlaydi. § Geciktirmeyi kamaytirish va SoC'nin § Protsessor yadrosi ustida ishlaydigan ko'milgan dasturiy ta'minot uchun § oshirish. Chip-protsessorlarda ishlaydigan dasturiy ta'minotda tizimdagi barcha muhim hisoblash ishlari amalga oshirilmaydi, biroq rejalashtirish dasturiy vazifalar va umumiy resurslarni o'z ichiga olgan boshqa vazifalarni bajarish darajasini sezilarli darajada oshirishi mumkin.


SoCs tez-tez tarmoq rejalashtirish va randomizatsiyalashgan rejalashtirish algoritmlariga ko'ra vazifalarni rejalashtirish.


Pipelining

Ushbu mavzuni kengroq yoritish uchun Quvur (hisoblash) bo'limiga qarang.

Uskuna va dasturiy ta'minot vazifalari ko'pincha protsessor dizaynida o'tkaziladi. Pipelining - kompyuter arxitekturasidagi tezlashtirish uchun muhim printsipdir. Ular tez-tez GPUlarda (grafik quvurlari) va RISC protsessorlarida (klassik RISC quvvati evolyutsiyalari) ishlatiladi, lekin ular tizimga chiplar asosida raqamli signallarni qayta ishlash va multimedia manipulyatsiyasi kabi dasturga xos vazifalarga ham qo'llaniladi.


Probabilistik modellash

Tizimli chiplar ko'p hollarda probabilistik modellar, navbatning nazariyasi va tahlillari, § Markov tarmoqlari va Markov tarmog'i. Masalan, Little qonuni SoC davlatlari va NoC buferlarini kelish jarayonlari sifatida modellashtirilishiga va Poissonning tasodifiy o'zgaruvchilari va Poisson jarayonlari bilan tahlil qilinishiga imkon beradi.


Markov zanjirlari

SoCs odatda Markov zanjirlari bilan, shuningdek diskret vaqt va doimo vaqt varyantlari bilan modellashtirilgan. Markov zanjiri modellashtirish tizimni chipning barqaror holatda taqsimlanishini asimptotik tahlil qilishga imkon beradi, bu esa energiya, issiqlik, kechikish va boshqa omillar bilan bog'liq.