Axiomase is sinds 2017 een pionier op het gebied van de adoptie van formele verificatie in de halfgeleiderindustrie. Onder leiding van de visionaire CEO, Dr. Ashish Darbari, die 63 patenten heeft op het gebied van formele verificatie, en Neil Dunlop, een veteraan uit de sector met 40 jaar ervaring, heeft Axiomise twintig klanten geholpen door hen toegang te bieden tot de modernste formele verificatiemethodologie via trainingsprogramma's, advies en diensten en een leveranciersneutrale formele verificatie-app voor end-to-end verificatie van RISC-V-processors.

Vertel ons iets over uzelf en uw bedrijf.
Axiomise biedt advies & diensten, training en applicatiespecifieke apps voor RISC-V-verificatie, zoals formalISA voor het inzetten van formele methoden op complexe SoC's. Via onze op abstractie gebaseerde methodologieën en zesdimensionale dekkingsoplossingen die kunnen worden gebruikt met elk commercieel formeel verificatietool, kunnen onze experts de meest uitdagende formele verificatieproblemen aanpakken op een breed scala aan ontwerpen, waaronder RISC-V-, Arm- of x86-processors. GPU's of videoblokken, netwerkblokken inclusief Wi-Fi, 5G en AI/ML.

Ik ben de Business Development Director van het bedrijf en kwam vorig jaar februari bij het team.

Wat was voor jouw bedrijf het spannendste hoogtepunt van 2023?
Een van de belangrijkste hoogtepunten van vorig jaar was het werken aan supercomplexe projecten voor enkele grote namen uit Silicon Valley. Een opmerkelijke vermelding was van AMD.

We zijn er trots op dat we 100% conversies hebben bereikt in ontwerpen met meer dan miljard poorten, en dat we hebben samengewerkt met ongelooflijk getalenteerde teams uit verschillende delen van de wereld.

We hebben een geweldige bijdrage geleverd aan de projecten van onze klanten met enkele van de slimste ontwerpen en mensen die we in ons team hebben aangenomen. Bovendien hebben we de teams van onze klanten kunnen opleiden op maat gemaakte trainingsprogramma’s die wederom niet alleen uniek zijn in de industrie, maar ook algemeen worden beschouwd als de beste. Via onze formele methoden die we in hun ontwerpen toepasten, hebben we ook rechtstreeks bijgedragen aan de kracht van het formele, vooral bij het vaststellen van “uitputtende bewijzen van de afwezigheid van bugs”, vanaf het begin van het ontwerp tot aan de aftekening van hun projecten.

Anders gezegd: in de loop van de afgelopen 18 maanden is ons personeelsbestand gestegen van 1 naar 15 en ons team is er trots op hyperdivers te zijn en een 50/50 man/vrouw-verhouding te hebben. Wij zijn ervan overtuigd dat diversiteit de creativiteit bevordert binnen elk team en met de gemeenschap eromheen!

Wat was de grootste uitdaging waarmee uw bedrijf in 2023 te maken kreeg?
Het verhaal rond validatie en verificatie is niet inspirerend, aangezien de industrie moeite heeft om verbeteringen in de adoptie van beste praktijken aan te tonen, zoals blijkt uit het Wilson Research Report van Harry Foster, waaruit een steeds groter aantal simulatiecycli blijkt en de astronomische groei van UVM de ASIC/IC niet kan voorkomen. re-spin die maar liefst 76% bedraagt, terwijl 66% van de IC/ASIC-projecten de planning blijft missen.

Onze brede ervaring in de sector leert ons dat de beste manier om deze statistieken te verbeteren is door naar links te verschuiven en dit kan worden gedaan door al vroeg in de DV-stroom formele methoden toe te passen en het ware potentieel ervan te begrijpen. Hoewel het gebruik van formele apps de afgelopen tien jaar zeker is toegenomen, bevindt de toepassing van formele apps zich nog steeds vooral in de extremiteiten. Wij vinden dit de grootste uitdaging.

Zelfs als we bedenken dat we vorig jaar ons team met meer dan 50% en onze klantenkring met een groter percentage hebben uitgebreid, was de grootste uitdaging voor ons om geduldig te blijven met het tempo van de industrie voor de adoptie van formele zaken. Het kost veel bedrijven tijd om de best practices om formeel efficiënt en effectief in te zetten!

Hoe pakt uw bedrijf deze grootste uitdaging aan?
Ons doel is om de halfgeleidergemeenschap te laten begrijpen dat formele verificatie een noodzaak is en niet slechts een ‘nice to have’; en dat UVM en simulatie complementair zijn aan formele methoden op verschillende gebieden van veel siliciumontwerpen. We doen dit uiteraard door middel van praktijkgericht projectwerk aan klantontwerpen en door het inzetten van onze formalISA-app en trainingsprogramma's.

Wat denkt u dat het grootste groeigebied voor 2024 zal zijn, en waarom?
Alles, van netwerken (5G/6G), RISC-V en acceleratorchips voor AI/ML zou een rigoureuze verificatie vereisen die alleen formele methoden kunnen bieden die geworteld zijn in een geweldige methodologie. Dit is waar wij de meeste groeimogelijkheden zien.

Hoe gaat uw bedrijf om met deze groei?
We bieden op maat gemaakte formele verificatiediensten aan de sector door gebruik te maken van onze expertise, geworteld in meer dan 60 jaar gecombineerde formele verificatie-ervaring in Axiomise onder leiding van onze CEO en CTO. De snelheid waarmee we live aan een project kunnen innoveren om tot uitgebreide abstractiegedreven methodologieën te komen, kent geen parallel in de industrie. Het is iets dat wij steeds vaker horen van onze klanten. Wij kunnen de moeilijkste problemen oplossen die niet voor iedereen mogelijk zijn.

Welke conferenties heb je bijgewoond in 2023 en hoe was het verkeer?
Als ons team nam Axiomise deel aan en sponsorde enkele van de internationale conferenties en topconferenties op het hoogste niveau.

We hebben een intens vruchtbaar jaar gehad met het bijwonen en netwerken van de volgende branche-evenementen: ChipEx, de eerste RISC-V Summit Europe in Barcelona, ​​DVCon India, RISC-V North America en DVCon Europe.

Het verkeer en de betrokkenheid van deelnemers en organisatoren was geweldig! We vonden het leuk om veel professionals uit de hele wereld te ontmoeten en te leren die in de halfgeleiderindustrie werken!

Ga jij naar congressen in 2024? Hetzelfde of meer?
Dit jaar zullen we meer conferenties bijwonen en sponsoren.

Wij zijn een bevestigde sponsor van DVCon VS op 4 – 6 maart 2024 en ik kijk ernaar uit om volgende maand de halfgeleiderindustrie in Californië met elkaar te verbinden.

Lees ook:

RISC-V Summit Buzz – Axiomise versnelt RISC-V-ontwerpen met de volgende generatie formalISA®

Een vijfjarig formeel feest bij Axiomise

Axiomise op #59DAC, formele update

Deel dit bericht via:

• Door SEO aangedreven content en PR-distributie. Word vandaag nog versterkt.
• PlatoData.Network Verticale generatieve AI. Versterk jezelf. Toegang hier.
• PlatoAiStream. Web3-intelligentie. Kennis versterkt. Toegang hier.
• PlatoESG. carbon, CleanTech, Energie, Milieu, Zonne, Afvalbeheer. Toegang hier.
• Plato Gezondheid. Intelligentie op het gebied van biotech en klinische proeven. Toegang hier.
• Bron: https://semiwiki.com/semiconductor-services/axiomise/341983-2024-outlook-with-laura-long-of-axiomise/