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.
Saksalaislähtöinen Ubitium on kehittänyt innovatiivisen prosessoriarkkitehtuurin, joka yhdistää eri suorittimien (CPU, GPU, DSP, FPGA) toiminnot yhteen siruun. Yrityksen mukaan tämä uusi RISC-V-arkkitehtuuriin perustuva ratkaisu mullistaa yli 50 vuotta vanhan suorittimien suunnittelun.
Moni uusi sähköauton omistaja kokee toimintasädeahdistusta. Tätä ongelmaa autonvalmistajat voivat helpottaa siirtymällä piipohjaista IGBT-piireissä piikarbidiopohjaisiin siruihin. auton vetoinvertterissä.
