haku: @keyword object oriented / yhteensä: 4
viite: 2 / 4
| Tekijä: | Enkovaara, Kim |
| Työn nimi: | Object Oriented ASIC test benches |
| Oliopohjaiset ASIC testipenkit | |
| Julkaisutyyppi: | Diplomityö |
| Julkaisuvuosi: | 2001 |
| Sivut: | 68 Kieli: eng |
| Koulu/Laitos/Osasto: | Sähkö- ja tietoliikennetekniikan osasto |
| Oppiaine: | Piiritekniikka (S-87) |
| Valvoja: | Halonen, Kari |
| Ohjaaja: | Tyrkkö, Olli |
| Digitoitu julkaisu: | https://aaltodoc.aalto.fi/handle/123456789/88751 |
| OEVS: | Digitoitu arkistokappale on julkaistu Aaltodocissa
|
| Sijainti: | P1 Ark S80 | Arkisto |
| Avainsanat: | ASIC verification object oriented verification language verification methodology ATM traffic management Synopsys VERA ASIC varmennus olio-ohjelmointi olioteknologia varmennuskieli varmennusmetodologia ATM-liikenteenhallinta Synopsys VERA |
| Tiivistelmä (fin): | ASIC piirien monimutkaisuus kasvaa niin nopeasti, että suunnittelijoiden tuottavuus ei pysy enää kasvun mukana. Piirien varmennus vie jo noin 60-70% koko suunnitteluajasta, ja vain varmennusmenetelmien kehittämisen kautta voidaan saavuttaa merkittäviä parannuksia tuotteen markkinoillepääsyn nopeuttamisessa. Tässä diplomityössä esitellään nykyisiä HDL-kieliin sekä perinteisiin ohjelmointikieliin perustuvia ASIC varmennusmenetelmiä, sekä niiden ongelmia. Olioteknologia ja metodologia esitellään sekä se, miten niitä voidaan soveltaa ASIC varmennukseen. Oliopohjaisen varmennuksen vaikutukset ASIC varmennusmetodologiaan isoissa monimutkaisissa testipenkkiprojekteissa esitetään. Oliopohjaisten varmennuskielien yleiset ominaisuudet sekä niiden sovellukset esitellään. Synopsys VERA kieli esitellään esimerkkinä oliopohjaisesta varmennuskielestä. Oliopohjaisen verifiointikielen ja metodologian käytännön esimerkkinä esitetään monimutkainen testipenkki, ja se miten olioteknologiaa hyödynnettiin siinä. Testipenkki varmentaa ATM liikenteenhallintaspiiriä, joka on osa isompaa piirisarjaa. |
| ED: | 2001-04-10 |
INSSI tietueen numero: 16335
+ lisää koriin
INSSI