Elektroniikan suunnittelut täytyy ennen toteutusta varmentaa eli verifioida. Formaali verifiointi eli todentaminen matemaattisesti on hyvin hankalaa ja on edellyttänyt erittäin syviä tietoja työkaluista. Nyt saksalainen Onespin on tehnyt formaalista verifioimisesta hyvin helppoa.
Onespin on julkistanut 360 Launchpad -alustan. Kyse on joustavasta alustasta, jolla yritykset voivat kehittää omia formaalin verifioinnin sovelluksiaan kehitystyötä varten.
360 Launchpadilla sovellusten teko onnistuu Onespinin mukaan ilman, että kehittäjill on kokemusta tai tietämystä formaaleista menetelmistä.
Työkaluvalmistaja voi integroida Launchpadin osaksi omaa pakettiaan. Toinen tapa on liittää Launchpad-sovellus osaksi kirjastoa, joka toimii yrityksen formaalien työkalujen kanssa.
Onespin on Infineonin entinen suunnittelun työkaluja kehittänyt osa, joka irroitettiin omaksi yrityksekseen 10 vuotta sitten. Launchpadilla on jo kaksi lisenssiasiakasta, Agnisys ja Tortuga Logic.