Sikkert EDA-verktøy i nettskyen

OneSpin Solutions, et selskapet om spant ut av Infineon Technologies i 2005, lanserer sine EDA-verktøy i nettskyen med en løsning som skal sørge for at sikkerheten er ivaretatt.

– EDA-industrien er allerede i nettskyen, men dette er den første løsningen som sikrer designsikkerhet, sier Dr. Raik Brinkmann, CEO i OneSpin Solutions.

Han hevder også at brukere uten erfaring med formell verifikasjon bare behøver å plugge inn teknologien de arbeider med og motta en omfattende verifikasjon.

Løsningen benytter en tjenerløsning fra Amazon Web Services. Man kan både bruke helautomatiske løsninger eller verktøy for avansert formell verifikasjon.

Betaling for tjenesten er basert på bruk. Tjenesten er foreløpig i betaversjon og godkjenning av betabrukere starter 4. juni og kjører fram til 30. august 2013. Fram til da er det gratis med unntak av en mindre avgift til Amazon for nettjenesten. Deretter vil prisen starte på 25 dollar pr time.

For å bruke tjenesten laster man ned en gratis klient til egen maskin. Denne inneholder blant annet sjekk av designet før data sendes til nettskytjenerne. Disse tjenerne opererer som en funksjonsutvidelse av selskapets 360-CS med 360-DV Inspect eller 360-DV Verify.

Sikkerhetsløsningen innebærer blant annet at din egen designkode ikke blir sendt ut i nettskyen. Teknologien analyserer koden lokalt og sender en kryptert, matematisk abstraksjon av verifiseringsproblemet der alle detaljerte beskrivelser er fjernet. Etter behandling sendes resultatet til den lokale maskinen der beskrivelser settes på plass igjen. De hevder også at ingen data blir igjen i nettskyen.

Løsningen vil bli presentert på Design Automation Conference (DAC) i juni.

Mer informasjon: www.onespin-solutions.com