In Moscone Center, San Francisco, wordt DAC gehouden van 25-28 juni

OneSpin Solutions en Austemper Design Systems zullen beide tools uitlichten voor functionele veiligheidsverificatie. Austemper zal zich richten op missiekritieke systeemontwikkeling, met de KaleidoScope-tool suite die analoog ontwerp ondersteunt voor gelijktijdige foutspreiding met gemengde signalen. De geautomatiseerde tool suite heeft veiligheidsanalyse-, synthese- en verificatiemogelijkheden voor certificatiegerichte toepassingen. 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 de ASIL-vereisten.

Het bedrijf is onlangs een partnerschap aangegaan met OneSpin Solutions om een ​​tool-ondersteunde methodologie voor functionele veiligheidstoepassingen toe te passen, waarbij een ontwerp- en verificatiestroom wordt gecombineerd, die zal worden gedemonstreerd op de OneSpin-stand. Hardwareveiligheidsmechanismen worden ingebouwd in chipontwerpen en de tools van OneSpin Solutions verifiëren formeel de hardwareveiligheidslogica. Gelijkwaardigheidscontrole zorgt ervoor dat de ingevoegde veiligheidslogica geen invloed heeft op de normale functionaliteit en analyse van foutdetectie verifieert of veiligheidsmechanismen naar behoren werken in het geval van willekeurige fouten.

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

FPGA-inzichten

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

Het bedrijf zal ook verbeteringen aan de InTime-software voor tijdsafsluiting demonstreren om de FPGA-timing in de cloud te optimaliseren (Figuur 1). InTime Optimization Methodology kan de klokfrequentie met 20 tot 80% verbeteren en in dagen in plaats van weken voldoen aan de timingvereisten via machine learning. De software versnelt ook het sluiten en optimaliseren van de timing en is toegankelijk via de cloud.

Achronix Semiconductor promoot eFPGA-technologie en werkt samen met IP-specialist CAST om de doorvoer te verhogen en besparingen te realiseren in geheugenopslag.

De twee exposanten zullen uitleggen hoe CAST's lossless compressie-IP is overgezet naar het Achronix FPGA-portfolio voor gebruik in datacenter- en mobiele edge-gegevensoverdrachttoepassingen. De hardware-implementatie van de lossless compressiestandaard voor Deflate, GZIP en ZLIB, is compatibel met software-implementaties die worden gebruikt voor compressie of decompressie om tot 100 Gbit / s doorvoer te bieden met lage compressie en lage latentie, in combinatie met Speedcore eFPGA-technologie om groot te verplaatsen en op te slaan gegevens met een laag stroomverbruik.

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

Energiezuinig

Over energiebeheer gesproken, een andere exposant, Baum, identificeert energie-efficiëntie als het meest onderontwikkelde gebied in chipontwerp. De geautomatiseerde tool voor energieanalyse en -modellering is ontworpen voor auto-, IoT-, mobiele, netwerk- en serverprojecten. PowerBaum 2.0 (Figuur 3) ondersteunt dynamisch en statisch vermogen, neemt RTL- en netlijstbeschrijvingen op en voegt ondersteuning toe voor vermogensanalyse met hardware-emulatie. Dit stelt ingenieurs in staat om power bugs op te lossen in realistische softwarescenario's. De tool ondersteunt ook analyse met willekeurige temperaturen die door ontwerpers zijn gespecificeerd, om de effecten van temperatuur op het energieverbruik van een ontwerp te beoordelen.

Bij DAC zal het bedrijf ook PowerWurzel introduceren, een engine voor energieanalyse op poortniveau die wordt geïntegreerd met PowerBaum voor vermogensmodellering.

Figuur 3 Baum's tools analyseren energie-efficiëntie

Cloudgebaseerde SoC-ontwerp- en verificatietools voor IC-ontwerp van Metrics omvatten de Cloud Simulator en Verification Manager, ontworpen om simulatie-eisen en middelen te beheren, en ze elke minuut omhoog of omlaag aan te passen. Het bedrijf beweert dat Google Cloud onbeperkte UVM-compatibele SystemVerilog-simulatiecapaciteit en native, webgebaseerd verificatiebeheer mogelijk maakt voor snellere regressietijden, verminderde trunkcodefouten en voorspelbare codedekking.

Afgezien van exposanten, organiseert het evenement technische sessies en een programma met keynotes over actuele gebieden. Dit jaar organiseert Cadence bijvoorbeeld een tutorial over ‘Functionele veiligheid en betrouwbaarheid voor automotive toepassingen’ en een over machine learning (‘Machine learning tilt spraakherkenning naar een hoger niveau’). Een keynote van Anna-Katrina Shedletsky, Instrumental, op maandag 25 juni, zal in het teken staan ​​van ‘Automating Intelligence: Machine Learning and the Future of Manufacturing’. Het gebruik van ML en AI voor sociaal ondersteunende robotica (SAR) wordt donderdag onderzocht in de keynote van 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 gepatenteerde instructiesetarchitecturen (ISA's). David A Patterson, Google en University of California, presenteren 'A New Golden Age for Computer Architecture: Domain Specific Accelerators and Open RISC-V'.

Een nieuw gebied dit jaar bij DAC is de Design Infrastructure Alley. Het initiatief van de ESD Alliance and Association for High-Performance Computing Professionals is een gebied dat zich toelegt op de IT-infrastructuur voor het ontwerp van elektronische systemen en componenten. Naast computer- en opslagvereisten voor ontwerp en beheer van het gebruik van de cloud, is er een speciaal Design-on-the-Cloud paviljoentheater dat licentiebeheer, grid computing en gegevensbeveiliging bespreekt.