Diskretnee matemaatika (Arvutid) Skeem

1.Aine eesmärk
Õppida tundma ja kasutama digitaalskeemide disaini- ja diagnostikavahendeid konkreetse digitaalskeemi sünteesil ja katsetamisel, tutvuda digitaalsüsteemide testitavuse mõõtmise, hindamise ja parandamise ning hästikontrollitavate skeemide projekteerimise meetoditega, tutvuda testide genereerimise meetoditega ning isetestivate süsteemide projekteerimise meetoditega, rakendada saadud teadmisi praktikas projekteerides digitaalskeemi, mis oleks hästikontrollitav ja ise ennast testiv, hinnata praktiliselt skeemi testitavust ja isetestimise kvaliteeti.

2. Kursuse ajakava (õppenädalate kaupa):

Sissejuhatus. Digitaalsüsteemide projekteerimise kriteeriumid. Testitavus kui kompromiss süsteemi kvaliteedi ja hinna vahel

Testitavuse määramise kriteeriumid ja meetodid. Kvalitatiivsed ja kvantitatiivsed meetodid.

Signaalide juhitavus ja jälgitavus, nende arvutamine.

Heuristilised ja tõenäosuslikud meetodid testitavuse hindamiseks

Loogikasignaalide tõenäosusarvutus. Parker-McCluskey algoritm. Piiride meetod. Tinglike tõenäosuste meetod. Simuleerimismeetod.

Hästikontrollitavate skeemide disain. Ad hoc meetodid, nende tähendus ja põhimõtted.

Hästikontrollitavate skeemide disain. Kontrollpunktide süntees ja kasutamine.

Hästikontrollitavate skeemide disain. Dekompositsioon, testsignaalide multipleksimine ja demultipleksimine, sisend/väljundite ajajaotus testimisel

Hästikontrollitavate skeemide disain. Skaneerimisprintsiip. Skaneerimisahelad signaalide juhtimise/jälgimise parandamiseks

Skaneerimise suvapöördusmeetod. Skaneerimine PLA-disainides. Skaneerimisprintsiibi tõhustamise meetodid.

Isetestimise kontseptsioon. Sardtestrite kasutamise motivatsioonidest. Puudused ja eelised.

Sardtestigeneraatorid (LFSR). Triviaalsed ja pseudotriviaalsed testid. Testide sohhastiline genereerimine. Juhuslikkus ja pseudojuhuslikkus testide genereerimisel.

Testi tulemuste kompressiooni meetodid. Signatuuranalüsaator ja polünoomide jagamine. Paralleelsed signatuuranalüsaatorid

Sardtestrite arhitektuurid. BILBO-meetod. Tsirkulaartestimine. Isetestimise universaalne arhitektuur.

Hästitestitavate skeemide süntees. Reed-Muller’i arendus.

Rahvusvahelised standardid. Boundary Scan. Testimagistraalid ja testikontrollerid

3. Laboritööde loetelu

Laboratoorne töö nr. 1. Digitaalskeemide testitavus ja selle parandamine.

Laboratoorne töö nr. 2. Isetestimise meetodid ja sardtestrite arhitektuurid.

4. Iseseisva töö ülesannete loetelu

Sünteesida operatsioonautomaat etteantud funktsioonidele

Sisestada skeem arvutisse, kasutades professionaalse disainitarkvara CADENCE skeemiredaktorit.

Genereerida testvektorid, kasutades diagnostikasüsteemi Turbo-Tester erinevaid testide generaatoreid. Leida kõrgeim saavutatud rikete kate, mis iseloomustab skeemi testitavust.

Resünteesida skeem eesmärgil saavutada 100%-line testitavus.

Genereerida testid pseudojuhusliku generaatori erinevate struktuuride juures ja leida parim isetestiva skeemi struktuur.

Sünteesida optimaalne sardtester universaalmeetodil tagades 100%-line rikete kate ning minimiseerides salvestatavate vektorite arvu.

5. Eeldusõppeainete loetelu:

Elementaarteadmised arvutite riistvarast ja diskreetsest matemaatikast. Soovitavateks läbitud õppeaineteks oleksid:

IAY3310 Diskreetne matemaatika

IAF3011 Arvutid I

6. Eksamieeldused:

Laboratoorsete tööde arvestus ja iseseisva töö ülesannete sooritamine koos aruande esitamisega.

7. Õppekirjanduse loetelu:

S.Mourad, Y.Zorian. Principles of Testing Electronic Systems. J.Wiley & Sons, Inc. New York, 2000, 420 p.

R.Rajsuman. System-on-a-Chip. Design and Test. Artech House, Boston, London, 2000, 277 p.

M.L.Bushnell, V.D.Agrawal. Essentials of Electronic testing. Kluwer Acad. Publishers, 2000, 690 p.

M. Abramovici et. al. Digital Systems Testing and Testable Designs. Computer Science Press, 1998.

A. L. Crouch. Design for Test for Digital IC’s and Embedded Core Systems. Prentice Hall Press, 1999. 349 p.

R.Ubar. Hästikontrollitavate digitaalsüsteemide projekteerimine. TTÜ,1988.68 lk.(vene k)

Lektor: prof. Raimund Ubar

asdasd