Yhä monimutkaisemmaksi käyvät järjestelmäpiirit ovat hankalia suunnitella. Projektit vievät kuukausia aikaa ja suurin osa niistä epäonnistuu ensimmäisellä kerralla. Siemens EDA uskoo nyt löytäneensä tekniikan, jolla piirien logiikan verifiointi eli sen toiminnallisuuden varmistaminen nopeutuu merkittävästi.
Kyse on tekoälyn hyödyntämisestä uudessa Questa Verification IQ -työkalussa. Tuotepäällikkö Darron Mayn mukaan kyse on uudenlaisesta paradigmasta EDA-suunnittelussa eli datavetoisesta suunnittelusta.
Uusi työkalu on webbipohjainen ja integroituu saumattomasti suunnittelun vaatimustenmukaisuuden Polarion REQUIREMENTS -työkaluun. Dataa kerätään suunnittelun kaikissa vaiheissa ja Questa Verification IQ lyhentää sen avulla verifiointiin kuluvaa aikaa, parantaa testien kattavuutta ja ennen kaikkea saa logiikan toimimaan nopeammin oikein piillä.
- Data ennustaa, mitä testeissä tapahtuu ja data ohjaa analytiikkaa kaikilla osa-alueilla. Oikeastaan kyse on ohjelmistokehityksen menetelmien tuomisesta ensimmäistä kertaa rauta- eli piirisuunnitteluun, May muotoili.
Uuden alusta myötä suunnittelijat voivat hallita vaatimuksia, koodausta, testausta ja julkaisunhallintaa. Questa Verification IQ yhdistää datan formaalisen verifioinnin ja simuloinnin työkaluista, kuten Questa, OneSpin, Symphony ja myös emuloinnin Veloce-työkaluista. Koneoppiminen analysoi dataa ennustaakseen kuviot ja aukot koodissa, tunnistaa juuritason syyt logiikkaongelmille ja ehdottaa ratkaisuja ongelmiin.
Asiakkaiden mukaan työkalun avulla logiikkaa voidan varmentaa yli viidenneksen aiempaa nopeammin. Joissakin tapauksissa verifioinnin aika oli pudonnut puoleen. - Käytännössä suunnittelijat säästävät viikkoja ja suunnittelut voidaan viedä piille nopeammin, Darron May kehuu.
LIiätietoja uudesta Questa Verification IQ:sta löytyy täältä.