Perspectives 2024 avec Laura Long d'Axiomise - Semiwiki

Laura Long Axiome

Axiomiser a été le pionnier de l'adoption de la vérification formelle dans l'industrie des semi-conducteurs depuis 2017. Dirigé par le PDG visionnaire, le Dr Ashish Darbari, qui détient 63 brevets en matière de vérification formelle, et Neil Dunlop, un vétéran de l'industrie avec 40 ans d'expérience, Axiomise a aidé vingt clients au fil des ans. au cours des six dernières années en leur donnant accès à une méthodologie de vérification formelle de pointe via ses programmes de formation, ses conseils et services et son application de vérification formelle indépendante du fournisseur pour la vérification de bout en bout des processeurs RISC-V.

Parlez-nous un peu de vous et de votre entreprise.
Axiomise fournit des conseils et des services, des formations et des applications spécifiques aux applications pour la vérification RISC-V, telles que formalISA, pour le déploiement de méthodes formelles sur des SoC complexes. Grâce à nos méthodologies basées sur l'abstraction et à nos solutions de couverture en six dimensions qui peuvent être utilisées avec n'importe quel outil de vérification formelle commercial, nos experts peuvent résoudre les problèmes de vérification formelle les plus difficiles sur une grande variété de conceptions, notamment les processeurs RISC-V, Arm ou x86, GPU ou blocs vidéo, blocs réseau, notamment Wi-Fi, 5G et AI/ML.

Je suis le directeur du développement commercial du cabinet et j'ai rejoint l'équipe en février de l'année dernière.

Quel a été le moment le plus excitant de l’année 2023 pour votre entreprise ?
L'un des principaux moments forts de l'année dernière a été de travailler sur des projets très complexes pour certains des grands noms de la Silicon Valley. Une mention notable est venue d'AMD.

Nous sommes fiers d'avoir réalisé 100 % de conversions dans des conceptions comportant plus d'un milliard de portes et d'avoir travaillé avec des équipes incroyablement talentueuses de différentes parties du monde.

Nous avons apporté une grande contribution aux projets de nos clients grâce à certains des designs les plus brillants et aux personnes que nous avons embauchées dans notre équipe. De plus, nous avons pu sensibiliser les équipes de nos clients à travers programmes de formation sur mesure qui, encore une fois, sont non seulement uniques dans l'industrie, mais également largement considérés comme les meilleurs. Nous avons également contribué directement à travers nos méthodes formelles appliquées dans leurs conceptions sur la puissance du formel, en particulier lors de l'établissement de « preuves exhaustives d'absence de bugs » tout au long de la conception initiale jusqu'à la signature de leurs projets.

Dans un autre registre, au cours des 18 derniers mois, nos effectifs sont passés de 1 à 15 et notre équipe se targue d'être hyper diversifiée et avec un ratio hommes/femmes 50/50. Nous croyons fermement que la diversité favorise la créativité au sein de toute équipe et avec la communauté qui l'entoure !

Quel a été le plus grand défi auquel votre entreprise a été confrontée en 2023 ?
L'histoire autour de la validation et de la vérification n'est pas inspirante, l'industrie ayant du mal à montrer des améliorations dans l'adoption des meilleures pratiques, selon le rapport de recherche Wilson de Harry Foster, révélant un nombre toujours croissant de cycles de simulation et la croissance astronomique de l'UVM est incapable d'empêcher l'ASIC/IC. re-spin qui atteint un taux stupéfiant de 76 %, tandis que 66 % des projets IC/ASIC continuent de manquer les calendriers.

Notre vaste expérience du secteur nous indique que le meilleur moyen d'améliorer ces statistiques est de se déplacer vers la gauche et cela peut être fait en adoptant des méthodes formelles dès le début du flux DV et en comprenant son véritable potentiel. Même si l’utilisation d’applications formelles a certainement augmenté au cours de la dernière décennie, l’application du formel reste encore très marginale. Nous estimons que c'est là le défi le plus redoutable.

Même si l'on considère que l'année dernière, nous avons augmenté notre équipe de plus de 50 % et notre clientèle d'un pourcentage plus élevé, le plus grand défi pour nous était de rester patients face au rythme d'adoption du secteur formel et au temps qu'il faut à de nombreuses entreprises pour comprendre le bonnes pratiques pour déployer le formel de manière efficace et efficiente !

Comment le travail de votre entreprise relève-t-il ce plus grand défi ?
Notre objectif est de faire comprendre à la communauté des semi-conducteurs que la vérification formelle est une nécessité, et pas seulement un plaisir ; et que l'UVM et la simulation sont complémentaires aux méthodes formelles dans plusieurs domaines de nombreuses conceptions de silicium. Nous le faisons bien sûr grâce à un travail de projet pratique sur les conceptions des clients ainsi qu'au déploiement de notre application formalISA et de nos programmes de formation.

Selon vous, quel sera le plus grand domaine de croissance pour 2024, et pourquoi ?
Tout, depuis les réseaux (5G/6G), RISC-V et les puces accélératrices pour l'IA/ML, nécessiterait une vérification rigoureuse que seules des méthodes formelles ancrées dans une excellente méthodologie peuvent fournir. C’est là que nous voyons le plus d’opportunités de croissance.

Comment le travail de votre entreprise répond-il à cette croissance ?
Nous fournissons des services de vérification formelle personnalisés à l'industrie en tirant parti de notre expertise ancrée dans plus de 60 ans d'expérience combinée en vérification formelle dans Axiomise, dirigée par notre PDG et notre CTO. La vitesse à laquelle nous pouvons innover en direct sur un projet pour proposer des méthodologies expansives basées sur l'abstraction n'a pas d'équivalent dans l'industrie. C’est quelque chose que nous entendons de plus en plus de la part de nos clients. Nous pouvons résoudre les problèmes les plus difficiles qui ne sont pas possibles pour tout le monde.

À quelles conférences avez-vous assisté en 2023 et quel a été le trafic ?
En tant que notre équipe, Axiomise a participé et sponsorisé certaines des conférences et sommets internationaux de haut niveau.

Nous avons eu une année intense et fructueuse en participant et en réseautant aux événements de l'industrie suivants : ChipEx, le premier RISC-V Summit Europe à Barcelone, DVCon India, RISC-V North America et DVCon Europe.

Le trafic et l’engagement des participants et des organisateurs ont été formidables ! Nous avons eu plaisir à rencontrer et à apprendre de nombreux professionnels travaillant dans l’industrie des semi-conducteurs du monde entier !

Assisterez-vous à des conférences en 2024 ? Pareil ou plus ?
Nous assisterons et parrainerons davantage de conférences cette année.

Nous sommes un sponsor confirmé de DVCon US du 4 au 6 mars 2024 et nous avons hâte de connecter l'industrie des semi-conducteurs en Californie le mois prochain.