40)Функционалдық модельдеу

Жүйенің функционалдық моделі – орындалатын спецификация ретінде белгілі. Жалпы бұл SystemC-да модель және модельдер иерархиясын таратқан жобалық спецификациялар мен талаптар. Функционалдық модельдер уақыттық (уақытқа тәуелді (timed)) немесе уақытқа тәуелсіз (untimed) бола алады. Біз функционалдық спецификациямен жұмыс істейтініміздіктен, бәсеңдейтін жобалау процесінде (top-down) уақытқа тәуелсіз функционалдық модельден бастап, ары қарай талдап тексеру процесінде кідіріс туралы ақпаратты кірістерген жөн.Бірақ, функционалдық модель жүзеге асыруға тәуелсіз болғандықтан, бұл кідіріс туралы ақпарат нақтылы жүзеге асырудың бөлігі ретінде қарастырылмауы керек. Функционалдық модельдер негізінен абстрактілі болғандықтан, спецификацияға бағдарланған және тез орындалуға арналған, интерфейстер абстрактілі, екі нүктелік (point-to-point), ( модульдар арасындағы аралық тасушыларсыз тура байланыс), абстрактілі мәліметтерді қолданатын (эффективтілігі үшін), және қарапайым механизмдер, оқу мен жазып алуды оқшаулайтын FIFO сияқты болады.

Транзакция деңгейінде модельдеу

Транзакция деңгейінде модельдеу модульдар арасындағы әрекеттестікті жалпылауға мүмкіндік береді. Сондықтан модульдердің функциясы нақты анықталады, ал олардың арасындағы әрекеттестік симуляцияны тездету үшін оңтайландырылған. OSCI (Open SystemC Initiative) байланысты мамандарда, транзакция типтерінің стандартты жиынтығын анықтауда үлкен қызығушылық бар. Олардың мақсаты транзакцияларды жүйелік модельдеуде қолдану және әртүрлі ІР модельдердің әрекеттестігін қамтамасыз ету. Транзакция деңгейінде модельдеу платформалы бағдарланған SoC модельдер үшін өте маңызды. Мысалы, түзетілген модельдеуді қамтамасыз ету, және шинаны жүктеу, шинадағы шиеленіс, сонымен бірге шинаның жалпы жүйенің өнімділігіне әсері сияқты жоғарғы деңгейдегі коммуникацияда әртүрлі эффекттерді зерттеу.

41)Rtl деңгейі және жүзеге асырумен байланысВерификациялық кеңейтілімдер

SCV SoC-ты жобалау үшін қажет IP ретінде де, өзге жобаларда қайталап қолдану үшін қажет IP ретінде де қарастырылатын верификациялық IP-блоктарды құруға мүмкіндік береді. Верификацияға (жобалау үрдісінде) қанша күш-жігер жұмсалатынын (бейресми көрсеткіштер бойынша –50-70%) ескеретін болсақ, верификациялық ІР құру мүмкіндігі өте маңызды болып табылады. SCV кітапхананың басты верификациялық мүмкіншіліктеріне келесілер кіреді:

• Мәліметтердің өзін диагностикалауы (introspection), және еркін типтердің мәліметтерінің элементтерін басқару мүмкіндігі. SCV осы негізде пайдаланушымен белгіленген типтерді басқарып, оларға сілтеме жасай алады – мысалға, пакеттер мен фреймдерді көрсететін құрылымдар. Бұл осындай объектілерге PLI (Programming Language Interface – Verilog) шығу мүмкіндігін қамтамасыз етеді және осындай типтердің барлық атрибуттары мен сипаттамаларын анықтауға мүмкіндік тудырады.

• Транзакциялар жазбасы, ол транзакциялар негізіндегі верификацияны (TBV) транзакциялар деңгейіндегі жүйелерді модельдеудің құрамдас бөлігі етеді. Сонымен қатар TBV оқиғалар тізбегін бір «транзакция» ретінде маркілеу арқылы, симуляцияны жекелеген оқиғалар деңгейінде жазып, нәтижені тестілік платформаның ортақ транзакциялары деңгейіне жалпылауға мүмкіндік береді, сондай-ақ осы жалпыланған деңгейде транзакцияларды жазып, маркілеуге мүмкіндік туғызады. SCV өзара байланысты транзакцияларды ағымдарға топтауға жағдай туғызады, ол өз кезегінде симуляциялар нәтижесі бойынша іздестіру жүргізуге, жоғары деңгейдегі верификациялық транзакциялар, сондай-ақ бақылаушы және қадағалаушы бағдарламалар құруға мүмкіндік туғызады.

• Рандомизация – қарапайым, өлшеулі және қойылған шектеулер негізінде. Рандомизация қазіргі заманғы функционалды верификация үрдістеріндегі күшті әдіс болып келеді. SCV қарапайым рандомизацияны (онда, мысалға алатын болсақ, мәліметтер мекенжайларының мәндері дұрыс мекенжайларды теру арқылы жүзеге асатын қарапайым интервалды функция негізінде қалыптасады) қоса алғанда, бірнеше типтермен жұмыс жасайды. Қарапайым рандомизация дұрыс интервалдарды күрделі жолмен теру арқылы мәндердің бөлінуін жасауға, сондай-ақ бос интервалдар құруға мүмкіндік береді.

• Өлшеулі рандомизация берілген аралықта мағыналары не көптеген мағыналары бар ықтималдықтар үлестірімін байланыстыруға мүмкіндік туғызады, сол себепті күрделі үлестірімдер (мысалы биноминал, Пуассон, қалыпты) тестілік платформалармен байланыстырылуы мүмкін. Бұл – тестілік платформада нақты статистикалық үлестірімдерді көрсетудің жақсы амалы.

42)Қорытынды – SystemC тілінің болашақ дамуыжәне SLD (System-Level-Design) талаптары

Қазіргі уақытта OSCI-дың тілді дамыту бойынша тобы келесідей мәселелер бойынша жұмыс жүргізуде:

• Стандарттау үшін IEEE-ге берілу жоспарланған SystemC 2.01 бойынша анықтамалық дайындау.

• Мәліметтер ағымдары мен сәйкесінше тілдік кеңейтілімдердің моделін қолдау қандай болу керектігі туралы анықтама дайындау.

• SVC кітапханасы IEEE-ге стандарттау үшін берілуі әбден мүмкін.

• SystemC-ның 3.0 нұсқасы бойынша үлкен жұмыс жүргізілді, ол бағдарламалық модельдеуді және SystemC-ның HW мен SW үлгілерінің келесідей ерекшеліктері – RTOS жоспарлаушыларды модельдеу, есептер құру және оларды басқару, ОС деңгейінде хабар алмасу – негізінде өзара әрекеттесу мүмкіндігін қолдайтын болады.