"Pentium-koodissa pian miljoonia virheitä"
0
Suunnittelujen koon kasvaessa myös koodiin sisältyvien virheiden määrä uhkaa kasvaa Mooren lain mukaisesti. "Nykymenolla Pentium 10 -prosessorin koodissa tulee olemaan kuusi miljoonaa bugia", varoitti Mentorin pääjohtaja Wally Rhines eilen yhtiönsä vuotuisessa Nokia-tapaamisessa. Rhines puhuu koodinvirheistä, jotka löytyvät koodista ennen piille viemistä. Pentium 4:ssa näiden bugien määrä oli 7855, ja seuraavan sukupolven siruilla niitä on arvioitu olevan jo 25 tuhatta.
Yksi viime vuosina nousuun lähtenyt suuntaus piirien suunnittelussa on assertioiden käyttö. Nämä ovat sirun toivotun tai epätoivotun käyttäytymisen kuvauksia. Ne sisällytetään piirin koodiin, ja yksittäinen assertio sopii koodissa tyypillisesti 10–30 riville.
Aika kypsä assertioon
Assertio ei ole mikään uusi keksintö, mutta tähän asti suunnittelun kielet eivät ole soveltuneet niiden hyödyntämiseen. Nyt kun Verilog- ja VHDL-kielistä ollaan siirtymässä korkeamman tason kieliin, kuten C++:aan tai System Verilogiin, aika alkaa olla kypsä assertiopohjaiselle suunnittelulle.
"Uskoisin, että seuraavan viiden vuoden aikana assertioiden kirjoittamisesta koodin sekaan tulee peruskäytäntö elektroniikkasuunnittelussa. Niiden myötä koodiin saadaan sisällytettyä toiminnallisuuden kattavuuden tarkistus ja tämä muuttaa suunnittelujen verifointia perustavalla tavalla", Rhines ennusti. (Prosessori)
