Formell verifiering blir app

Posted on maj 22nd, 2015 by Göte Fagerfjäll

EDA-företaget OneSpin Solutions tar nu ytterligare ett steg för förenkla användningen av formell verifiering. En ny plattform, OneSpin 360 LaunchPad, kan licensieras av tredjepartstillverkare och ingå som del av applikationsspecifika verifieringsappar.


– Det finns massor av företag som tillverkar domänspecifika verifieringslösningar och kan dra nytta av formell verifiering, säger Dave Kelf, marknadschef för Onespin Solutions
Läs mer..

Ladda ner instrumentöversikten

Läs temaartiklarna om mätteknik

Läs temaartiklarna om analogteknik

Klicka här för att prenumerera på
Elektronik i Nordens Nyhetsbrev

Läs nyhetsbreven på webben

Filed under: Temapuff

« »

Comments are closed.

  •

  • Kommentaren

    Allt är förbjudet

    En gång i tiden brukade vi skämta om det välordnade tyska samhället där det tänkta ledordet var ”Alles ist verboten!”. Naturligtvis var det inte ett dugg sant men den senaste tidens diskussion om eldningsförbud i trädgårdar kan få vem som helst att fundera på i vilken riktning Sverige är på väg. Har vi verkligen myndigheter som anser att förbud är normaltillstånd och att allt som inte är påbjudet bör ses som förbjudet? Eller gäller det ”bara” inom miljö- och klimatområdet där aktivisterna numera lyckats ta över makten och ägnar sig åt att överimplementera allt som är möjligt att övertolka.

    Läs hela krönikan

    Bläddra bland mina andra krönikor (811 stycken)

  • Gästkommentaren



    Ramine Roane, Xilinx
    Pandemin tar fortfarande mycket av vår uppmärksamhet, men samtidigt förändrar AI hur vi arbetar, hela vägen från molnet till Edge och slutpunkter.
    Ramine Roane, vice president of software and AI product marketing, Xilinx, gör här en prognos för elektronikåret 2022.
    .

    I periferin

    Gunnar Englund
    1940 – 2021
    Om strömtänger för AC och DC kan sägas vara väl utredda och kända av alla så är det kanske inte så vanligt att rogowskispolar är riktigt lika välkända. Väl utredda kan man utan vidare säga att de är men ändå är principen för hur de faktiskt fungerar och vilka begränsningar de har inte alls välkända. Det har gjort att totalt felaktiga mätningar med rogowskispolar har lett till likaledes totalt felaktiga och ineffektiva ”lösningar” på det förmodade problemet.
    Gunnar Englund gick bort 14 juni 2021. Läs mer om det här. Men hans krönikor lever och kommer förhoppningsvis att uppdateras med några till.