Leksiya vlsi sistemaların joybarlaw. Tiykarǵı túsinikler. Integral sxemalardı (IS) joybarlaw evolyuciyası. Ierarxiyalıq joybarlaw hám kóp dárejeli abstrakciyalar túsinikleri. Is bahası, isenimliligi hám tezligin muǵdarlıq bahalaw

Lekciya 12. Joybardı verifikaciyalaw. Verifikaciyalaw boyınsha tiykarǵı túsinikler. Joybarlaw usılların izertlew. Waqıt xarakteristikaların verifikaciyalaw. Funkcional verifikaciyalaw.
Interaktiv usil programmistke grafik displeyde vizual tekseriw menen adimlar boyinsha asbaplar jolin quriwǵa imkan beredi. Process kesiw ásbabiniń baslanǵish poziciyasin aniqlaw menen baslanadi. Keyinshelli, programmist asbapti bólektiń málim geometric sirtlari boylap háreketlendiriw buyriǵin beredi. Ásbapti display ekraninda háreketlendirgenimizde sistema avtomatik ráwishte ART tiline tiyisli háreket bayanatlarin kiritiw imkanin beredi. Usi operatorlar mashinaga besleme hám kesiw tezligi siyaqli buyriqlar beredi hám suwitiw emmulyaciyasi aǵimin baqlap baradi.
P-AD 2004 sistemasiniń baspa platalardi proektlestiriwdegi imkániyatlari usinis etilgen. Basilǵan electron platalardi proektlestiriwdiń tiykarǵi usillari kórsetilgen, sxemani muharrirni ornatiw, formatlar hám komponentler belgilerin jaratiw, kóp betli sxemalardi kiritiw, sxemalardi tekseriw hám baspadan shiǵariw maǵliwmatlardi sxematik muharrirdan baspa plata muharririga ótkiziw. Qolda hám interaktiv mashrutlaw, dizayn hám texnologik standartlardi belgilew hám tekseriw, baspa platalar sizilmalarin baspadan shiǵariw ushin hár túrli qurallar kórip shiǵiladi. Biblyotekalardi saqlaw hám hár túrli komponentlerdi jaratiwǵa úlken itibar qaratilmaqta sol tiykarda birdey hám haterojen bólimli kóp qismli, uliwma qos pinli, bir neshe ayaq izleri bolǵan komponentler. Belgilengen kriteriyalar boyinsha biblyotekalarda komponentlerdi izlew usillari, komponentlerdiń tekst atributlarin qosiw hám tahrirlash, sistemaniń aldinǵI versiyalarinda jaratilǵan biblyotekalardi ózgerttiriw usillari kórip shiǵiladi.
Programmalardi tezlik penen visual tekseriw. Grafik terminal texnolog-programmist tárepinen tezlik penen tekseriw ushin ásbap joliniń súwretin usinis etedi. Programmadaǵi kóp ǵana qáteler paydalaniwshi tárepinen aniqlaniwi hám olar payda boliwi menen-aq dúzetiliwi múmkin. APT yaki basqa ádettegi CNC tillerinen paydalanganda programmani jaziw hám oni tekseriw hám dúzetiw processi ortasinda keshigiw bar.
Programmaniń bunday imkaniyatlari aqir-aqibet oni universal quralǵa aylantiradi, oniń járdeminde siz jańa processlerdiń qásiyetlerin aldinnan aytip beriwińiz hám qurilmalardiń islewi hám isenimliligi menen baylanisli payda bolǵan problemalardi tez sheshiwińiz múmkin. Dizayn processi kóbinshe sinew hám qátelikti óz ishine aladi. Processti modellestiriw hám ásbaplardi analiz qiliwdiń maqseti proektlew waqtin qisqarttiriw hám optimal islep shiǵilǵan processlerge erisiw itimalliǵin asiradi. Esap-kitaplar ushin zárúr bolǵan onshelli úlken bolmaǵan esaplaw qárejetleri modellestiriwdiń júdá abzalliqlarin kórsetedi, sebebi esap-kitaplar processinde birinshi jumisshi jaratiw ushin eń masin tanlaw ushin texnologik processtiń kóplep variantlarin hám proektlestirilgen qurilma topologiyasin analiz qiliw múmkin. Ózgerttiriwler kiritiw qábileti dizayni optimallastiriw, sonińday, texnologik processtiń dáslepki versiyasin tańlaw ushin zárurdir. Esaplaw qurilmalariniń ishki dúzilisin analiz qiliw imkanin beredi, buniń nátiyjesinde dizayndi rawajlandiriw mashqalasina orginal sheshimler kóbinshe payda boladi. Táriyplengen FEDSS programmasinda álleqashan kóp isler qilinǵanina qaramay, modellerdi jánede tereńrek tekseriw, sonińday olardi rawajlandiriw kerek, bul ásirese aktiv emes konsentraciyasi profiling lateral aralastiriwdi esaplaw ushin áhimiyetlidir. Qayta bólistiriw modellerin tastiyqlaw ushin bunday profillerdiń isenimli ólshewlerida kerek.
Búgingi kúnde logikaliq modelllestiriw injenerdiń arsenalindaǵi tiykarǵi tastiyqlaw yaki tekseriw qurallarinan biridur. Logikaliq modellestiriwdiń eń keń tarqalǵan formasi hádiyselerge tiykarlanǵan modellestiriwdir.
Verifikaciya proekt - proektlestirilgen sxemada fizikaliq hám logikaliq jalǵaniwlardiń durisliǵin tekseriw ushin tiykarǵi operaciya. Sxematik diagramma muharririda tekseriw modulin iske túsiriwde esabatlardi jaratiw processinde elektr jalǵaniwlardiń durisliǵin tekseriw múmkin.
Proektti hám oniń prezentaciyasin baqlaw ham analiz qiliw ushin ekran ham baspa formalardi korsetiw ushin qurallar. Tómende ekran hám basip shiǵariw formalari usinis etiledi: kontekst diagrammasi, maǵliwmatlar aǵimi diagrammasi, basqariw aǵimi diagrammasi, maǵliwmatlar strukturasi, maǵliwmatlar sózligi obiektleri dizimi, túrli jollar menen saralanǵan hám tańlanǵan maǵliwmatlar sózligi elementlriniń mazmuni, process logikasiniń mini specifikaciyasi, proektti tekseriw protokollari, proekt esabatlari.