Moscone Center, San Francisco, organiseert DAC van 25-28 juni

OneSpin-oplossingen en Austemper Design Systems zullen beide hulpmiddelen voor functionele veiligheidsverificatie benadrukken. Austemper zal zich concentreren op bedrijfskritieke systeemontwikkeling, met de KaleidoScope-toolreeks die analoog ontwerp ondersteunt voor gelijktijdige vermenigvuldiging van signaalstoringen met gemengde signalen. De geautomatiseerde tool suite heeft veiligheidsanalyse, synthese en verificatie mogelijkheden voor certificatiegerichte applicaties. Het wordt gebruikt voor grootschalige auto-ontwerpen in ADAS en autonoom rijden. De gelijktijdige foutsimulatie omvat simulaties die worden aanbevolen door ISO 26262 om te voldoen aan ASIL-vereisten.

Onlangs is het bedrijf een samenwerking aangegaan met OneSpin Solutions om een ​​tool-ondersteunde methodologie voor functionele veiligheidstoepassingen te implementeren, die een ontwerp en verificatiestroom combineert, die zal worden gedemonstreerd op de OneSpin-stand. Hardware-beveiligingsmechanismen worden in chipontwerpen ingevoegd en de tools van OneSpin Solutions controleren formeel de hardware-veiligheidslogica. Gelijkwaardigheidscontrole zorgt ervoor dat de ingebrachte veiligheidslogica geen invloed heeft op de reguliere functionaliteit en foutdetectie-analyse verifieert dat veiligheidsmechanismen correct presteren in geval van willekeurige fouten.

OneSpin promoot ook zijn toolkwalificatiekit, na verificatie door TÜV SÜD van zijn ontwikkelingsprocessen voor tools. De eerste kit is beschikbaar voor de 360-cm FPGA EDA-tool van het bedrijf, een automatische sequentiële equivalentiecontrole die voorkomt dat FPGA-ontwerpstromen implementatiefouten introduceren. De set is gecertificeerd volgens ISO 26262, IEC 61508 en EN 50128.

FPGA-inzichten

Nog steeds met FPGA-ontwerp, Plunify heeft samengewerkt met Xilinx om het Vivado-ontwerppakket in de cloud aan te bieden, via het Plunify Cloud-platform. Ontwerpers betalen slechts 50 cent om een ​​Vivado-project te compileren in de Amazon Web Services (AWS) -wolk, inclusief licenties.

Het bedrijf zal ook verbeteringen aan de InTime-timing closure-software laten zien om de FPGA-timing in de cloud te optimaliseren (Figuur 1). InTime Optimization Methodology kan de klokfrequentie verbeteren met 20 tot 80% en voldoen aan de timingvereisten in dagen, in plaats van weken via machine learning. De software versnelt tevens de sluiting en optimalisatie van de timing en is toegankelijk via de cloud.

Bevordering van eFPGA-technologie, Achronix Semiconductor werkt samen met IP-specialist GEGOTEN om de doorvoer te vergroten en te besparen op geheugenopslag.

De twee exposanten zullen uitleggen hoe de verliesvrije compressie-IP van CAST is geporteerd naar de ACHTAIX FPGA-portfolio voor gebruik in datacenter- en mobiele data-overdrachtsapplicaties. De hardware-implementatie van de verliesvrije compressiestandaard voor Deflate, GZIP en ZLIB, is compatibel met software-implementaties die worden gebruikt voor compressie of decompressie om een ​​doorvoercapaciteit tot 100 Gbit / s te bieden met lage compressie en lage latentie, in combinatie met Speedcore eFPGA-technologie om groot te verplaatsen en op te slaan gegevens bij een laag stroomverbruik.

CAST heeft zijn IP geport naar de FPGA's van Achronix

Energie-efficiëntie

Over energiebeheer gesproken, een andere exposant, Baum, identificeert energie-efficiëntie als het meest onderontwikkelde gebied in chipontwerp. De geautomatiseerde analyse en modellering van energie is ontworpen voor auto-, IoT-, mobiele, netwerk- en serverprojecten. PowerBaum 2.0 (figuur 3) ondersteunt dynamische en statische energie, neemt RTL- en netlistbeschrijvingen op en voegt ondersteuning toe voor energieanalyse met hardware-emulatie. Volgens het bedrijf kunnen ingenieurs powerbugs in realistische softwarescenario's oplossen. De tool ondersteunt ook analyse met willekeurige temperaturen die zijn gespecificeerd door ontwerpers, om de effecten van temperatuur op het energieverbruik van een ontwerp te beoordelen.

Bij DAC zal het bedrijf ook PowerWurzel introduceren, een power-analysemotor op gate-niveau die moet worden geïntegreerd met PowerBaum voor vermogensmodellering.

Figuur 3 De tools van Baum analyseren de energie-efficiëntie

Cloudgebaseerde SoC-ontwerp- en verificatietools voor IC-ontwerp van metriek omvatten de Cloud Simulator en Verification Manager, ontworpen om simulatie-eisen en hulpmiddelen te beheren, deze elke minuut hoger of lager aan te passen. Het bedrijf beweert dat Google Cloud een onbeperkte UVM-compatibele SystemVerilog-simulatiecapaciteit en native, webgebaseerd verificatiebeheer biedt voor snellere regressietijden, minder trunk-codefouten en voorspelbare codedekking.

Afgezien van exposanten, organiseert het evenement technische sessies en een programma met keynotes over actuele onderwerpen. Dit jaar zal Cadence bijvoorbeeld een tutorial organiseren over 'Functionele veiligheid en betrouwbaarheid voor automotive-toepassingen' en een over machinaal leren ('Machine-learning neemt spraakherkenningsprestaties naar het volgende niveau'). Een keynote van Anna-Katrina Shedletsky, Instrumental, zal op maandag 25 juni focussen op 'Automatising Intelligence: Machine Learning and the Future of Manufacturing'. Het gebruik van ML en AI voor sociaal assisterende robotica (SAR) wordt verkend in de keynote van donderdag door Maja Matarić, University of Southern California, die 'Automation vs Augmentation: Socially Assistive Robotocs and the Future of Work' zal presenteren.

Een andere keynote pleit voor RISC-V als een middel om architecten te bevrijden van bedrijfseigen instructieset-architecturen (ISA's). David A Patterson, Google en University of California, zullen 'A New Golden Age for Computer Architecture: Domain Specific Accelerators and Open RISC-V' presenteren.

Een nieuw gebied dit jaar op DAC is de Design Infrastructure Alley. Het initiatief van de ESD Alliance en vereniging voor professionele gebruikers van hoge prestaties is een gebied gewijd aan de IT-infrastructuur voor het ontwerpen van elektronische systemen en componenten. Naast computer- en opslagvereisten voor het ontwerp en het beheer van het gebruik van de cloud, is er een speciaal Design-on-the-Cloud paviljoentheater over licentiebeheer, grid computing en gegevensbeveiliging.