2024 Outlook med Laura Long Of Axiomise - Semiwiki

Laura Long Axiomise

Axiomisera banade väg för antagandet av formell verifiering i halvledarindustrin sedan 2017. Ledd av visionär VD, Dr Ashish Darbari, som har 63 patent inom formell verifiering, och Neil Dunlop en branschveteran med 40 års erfarenhet, har Axiomise hjälpt tjugo kunder under senaste sex åren genom att ge dem tillgång till avancerad formell verifieringsmetodik via dess utbildningsprogram, konsulttjänster och leverantörsneutrala formell verifieringsapp för end-to-end-verifiering av RISC-V-processorer.

Berätta lite om dig själv och ditt företag.
Axiomise tillhandahåller konsulttjänster och tjänster, utbildning och applikationsspecifika appar för RISC-V-verifiering såsom formalISA för att distribuera formella metoder på komplexa SoC:er. Genom våra abstraktionsdrivna metoder och sexdimensionella täckningslösningar som kan användas med alla kommersiella formella verifieringsverktyg, kan våra experter ta itu med de mest utmanande formella verifieringsproblemen på en mängd olika konstruktioner inklusive RISC-V, Arm eller x86-processorer, GPU:er eller videoblock, nätverksblock inklusive Wi-Fi, 5G och AI/ML.

Jag är affärsutvecklingsdirektör för företaget och kom med i teamet i februari förra året.

Vilken var den mest spännande höjdpunkten 2023 för ditt företag?
En av de viktigaste höjdpunkterna från förra året var att arbeta i superkomplexa projekt för några av de stora namnen från Silicon Valley. Ett anmärkningsvärt omnämnande var från AMD.

Vi är stolta över att ha uppnått 100 % konverteringar i design med över miljarder grindar, och att ha arbetat med fantastiskt begåvade team från olika delar av världen.

Vi gjorde ett stort bidrag till våra kunders projekt med några av de smartaste designerna och människorna som vi har anställt i vårt team. Dessutom kunde vi utbilda våra kunders team genom skräddarsydda träningsprogram som återigen inte bara är unika inom industrin utan också allmänt betraktas som de bästa. Vi bidrog också direkt genom våra formella metoder som tillämpades i deras design på kraften i det formella, särskilt när vi etablerade "uttömmande bevis på buggfrånvaro" genom hela den tidiga designen för att signera deras projekt.

Å andra sidan, under loppet av de senaste 18 månaderna har vårt antal anställda ökat från 1 till 15 och vårt team är stolta över att vara mycket mångsidigt och med ett förhållande mellan män och kvinnor på 50/50. Vi är övertygade om att mångfald främjar kreativitet inom vilket team som helst och med samhället runt det!

Vilken var den största utmaningen ditt företag stod inför 2023?
Berättelsen kring validering och verifiering är inte inspirerande med industrin som kämpar för att visa förbättringar i antagandet av bästa praxis enligt Harry Fosters Wilson Research Report som avslöjar ett ständigt ökande antal simuleringscykler och den astronomiska tillväxten av UVM kan inte förhindra ASIC/IC re-spin som ligger på svindlande 76 % medan 66 % av IC/ASIC-projekten fortsätter att missa scheman.

Vår breda branscherfarenhet säger oss att det bästa sättet att förbättra denna statistik är att flytta åt vänster och detta kan göras genom att anta formella metoder tidigt i DV-flödet genom att förstå dess verkliga potential. Även om användningen av formella appar verkligen har ökat under det senaste decenniet, är tillämpningen av formella fortfarande mycket på extremiteterna. Vi tycker att detta är den mest formidabla utmaningen.

Även med tanke på att vi förra året växte vårt team med mer än 50 % och vår kundkrets med en större andel, var den största utmaningen för oss att hålla tålamod med branschens takt för antagandet av formella och med tiden tar det många företag att förstå bästa praxis för att distribuera formellt effektivt och effektivt!

Hur är ditt företags arbete med att hantera denna största utmaning?
Vi strävar efter att få halvledargemenskapen att förstå att formell verifiering är en nödvändighet, inte bara en trevlig att ha; och att UVM och simulering är komplementära till formella metoder inom flera områden av många kiseldesigner. Vi gör detta naturligtvis genom praktiskt projektarbete på kunddesigner samt implementering av vår formalISA-app och utbildningsprogram.

Vad tror du att det största tillväxtområdet för 2024 kommer att vara, och varför?
Allt från nätverk (5G/6G), RISC-V och acceleratorchips för AI/ML skulle behöva rigorös verifiering som endast formella metoder som är förankrade i bra metodik kan ge. Det är här vi ser flest möjligheter till tillväxt.

Hur är ditt företags arbete för att möta denna tillväxt?
Vi tillhandahåller skräddarsydda formella verifieringstjänster till branschen genom att utnyttja vår expertis som är rotad i över 60 år av kombinerad formell verifieringserfarenhet i Axiomise, ledd av vår VD och CTO. Den hastighet med vilken vi kan förnya oss leva på ett projekt för att komma med expansiva abstraktionsdrivna metoder har ingen motsvarighet i branschen. Det är något vi får höra mer och mer från våra kunder. Vi kan knäcka de svåraste problemen som inte är möjliga för alla.

Vilka konferenser deltog du på 2023 och hur var trafiken?
Som vårt team deltog Axiomise och sponsrade några av de internationella konferenserna och toppmötena på toppnivå.

Vi hade ett intensivt fruktbart år när vi deltog i och nätverkade i följande branschevenemang: ChipEx, det första körda RISC-V Summit Europe i Barcelona, DVCon Indien, RISC-V North America och DVCon Europe.

Trafiken och engagemanget hos deltagare och arrangörer var fantastiskt! Vi njöt av att träffa och lära av många yrkesverksamma inom halvledarindustrin från hela världen!

Kommer du att delta i konferenser 2024? Samma eller fler?
Vi kommer att delta i och sponsra fler konferenser i år.

Vi är en bekräftad sponsor av DVCon USA den 4 – 6 mars 2024 och ser fram emot att koppla samman halvledarindustrin i Kalifornien nästa månad.