Id-dar > Wirja > Il-kontenut

Sistema fuq ċippa (SoCs) Metodoloġiji

Mar 08, 2019

Is-sistemi fuq iċ-ċippa huma mmudellati b'tekniki ta 'verifikazzjoni u validazzjoni ta' ħardwer standard, iżda tekniki addizzjonali huma wżati biex jimmudellaw u jottimizzaw l-alternattivi tad-disinn ta 'SoC biex is-sistema ssir ottimali fir-rigward ta' analiżi tad-deċiżjoni ta 'kriterji multipli dwar il-miri ta' ottimizzazzjoni ta 'hawn fuq.


Skedar tal-kompiti

Skedar tal-kompiti huwa attività importanti fi kwalunkwe sistema tal-kompjuter bi proċessi multipli jew ħjut li jaqsmu qalba waħda tal-proċessur. Huwa importanti li titnaqqas § Latency u tiżdied § throughput għal softwer inkorporat li jaħdem fuq SoC's § Core proċessuri. Mhux kull attività importanti tal-informatika f'sistema fuq ċippa titwettaq f'softwer li jaħdem fuq proċessuri on-chip, iżda l-iskedar jista 'jtejjeb drastikament il-prestazzjoni ta' kompiti bbażati fuq softwer u kompiti oħra li jinvolvu riżorsi kondiviżi.


SoCs spiss jiskedaw kompiti skont l-iskedar tan-netwerk u l-algoritmi tal-iskedar randomised.


Pipelining

Għal kopertura usa 'ta' dan is-suġġett, ara Pipeline (computing).

Il-ħidmiet tal-ħardwer u s-softwer ħafna drabi jitħejjew fid-disinn tal-proċessur. It-tisħin tal-pajpijiet huwa prinċipju importanti biex titħaffef l-arkitettura tal-kompjuter. Dawn huma ta 'spiss użati fil-GPUs (grafika tal-pipeline) u l-proċessuri tal-RISC (evoluzzjonijiet tal-pipeline klassiku RISC), iżda huma wkoll applikati għal kompiti speċifiċi għall-applikazzjoni bħall-ipproċessar ta' sinjali diġitali u manipulazzjonijiet multimedjali fil-kuntest ta 'sistemi fuq ċippa.


Mudellar probabilistiku

Sistemi fuq ċippa ta 'spiss jiġu analizzati għalkemm mudelli probabilistiċi, teorija tal-kju § Netwerks tal-kju u ktajjen ta' Markov. Pereżempju, il-liġi ta 'Little tippermetti lill-istati SoC u l-bafers NoC jiġu mmudellati bħala proċessi tal-wasla u analizzati permezz ta' varjabbli każwali ta 'Poisson u proċessi ta' Poisson.


Ktajjen Markov

SoCs huma ta 'spiss immudellati b'katini ta' Markov, kemm ħin diskreti kif ukoll varjanti ta 'ħin kontinwu. L-immudellar tal-katina Markov jippermetti analiżi asintotika tad-distribuzzjoni ta 'l-enerġija, tas-sħana, tal-latency u ta' fatturi oħra tas-sistema fuq iċ-ċippa biex tippermetti li d-deċiżjonijiet tad-disinn jiġu ottimizzati għall-każ komuni.