Perspectivas para 2024 con Laura Long de Axiomise - Semiwiki

Laura Long Axiomise

axiomiar fue pionero en la adopción de la verificación formal en la industria de semiconductores desde 2017. Dirigido por el visionario director ejecutivo, el Dr. Ashish Darbari, que tiene 63 patentes en verificación formal, y Neil Dunlop, un veterano de la industria con 40 años de experiencia, Axiomise ha ayudado a veinte clientes a lo largo del año. los últimos seis años brindándoles acceso a una metodología de verificación formal de vanguardia a través de sus programas de capacitación, consultoría y servicios y una aplicación de verificación formal neutral para el proveedor para la verificación de extremo a extremo de procesadores RISC-V.

Cuéntenos un poco sobre usted y su empresa.
Axiomise ofrece consultoría y servicios, capacitación y aplicaciones específicas de aplicaciones para la verificación RISC-V, como formalISA para implementar métodos formales en SoC complejos. A través de nuestras metodologías basadas en abstracciones y soluciones de cobertura de seis dimensiones que se pueden utilizar con cualquier herramienta comercial de verificación formal, nuestros expertos pueden abordar los problemas de verificación formal más desafiantes en una amplia variedad de diseños, incluidos procesadores RISC-V, Arm o x86. GPU o bloques de video, bloques de redes que incluyen Wi-Fi, 5G y AI/ML.

Soy el Director de Desarrollo de Negocios de la firma y me uní al equipo en febrero del año pasado.

¿Cuál fue el punto culminante más emocionante de 2023 para su empresa?
Uno de los aspectos más destacados del año pasado fue trabajar en proyectos súper complejos para algunos de los grandes nombres de Silicon Valley. Una mención notable fue de AMD..

Estamos orgullosos de haber logrado conversiones del 100 % en diseños con más de mil millones de puertas y de haber trabajado con equipos increíblemente talentosos de diferentes partes del mundo.

Hicimos una gran contribución a los proyectos de nuestros clientes con algunos de los diseños y personas más brillantes que hemos contratado en nuestro equipo. Además, pudimos educar a los equipos de nuestros clientes a través de programas de formación a medida que, una vez más, no sólo son únicos en la industria sino que también son ampliamente considerados como los mejores. También contribuimos directamente a través de nuestros métodos formales aplicados en sus diseños al poder de lo formal, particularmente al establecer "pruebas exhaustivas de ausencia de errores" desde el diseño inicial hasta la aprobación de sus proyectos.

Por otra parte, en el transcurso de los últimos 18 meses nuestra plantilla aumentó de 1 a 15 y nuestro equipo se enorgullece de ser muy diverso y con una proporción de 50/50 hombres/mujeres. ¡Creemos firmemente que la diversidad promueve la creatividad dentro de cualquier equipo y con la comunidad que lo rodea!

¿Cuál fue el mayor desafío que enfrentó su empresa en 2023?
La historia en torno a la validación y verificación no es inspiradora, ya que la industria lucha por mostrar mejoras en la adopción de mejores prácticas según el Informe de investigación Wilson de Harry Foster que revela un número cada vez mayor de ciclos de simulación y el crecimiento astronómico de UVM no puede evitar el ASIC/IC. volver a girar, que se encuentra en un asombroso 76%, mientras que el 66% de los proyectos IC/ASIC continúan sin cumplir con los cronogramas.

Nuestra amplia experiencia en la industria nos dice que la mejor manera de mejorar estas estadísticas es desplazarse hacia la izquierda y esto se puede hacer adoptando métodos formales en las primeras etapas del flujo de DV y comprendiendo su verdadero potencial. Si bien el uso de aplicaciones formales ciertamente ha aumentado en la última década, su aplicación todavía está en los extremos. Consideramos que este es el desafío más formidable.

Incluso considerando que el año pasado aumentamos nuestro equipo en más de un 50% y nuestra clientela en un porcentaje mayor, el mayor desafío para nosotros fue mantenernos pacientes con el ritmo de la industria para la adopción de lo formal y con el tiempo que les está tomando a muchas empresas comprender el ¡Mejores prácticas para implementar formalmente de manera eficiente y efectiva!

¿Cómo aborda el trabajo de su empresa este mayor desafío?
Nuestro objetivo es hacer que la comunidad de semiconductores comprenda que la verificación formal es una necesidad, no sólo algo agradable de tener; y que UVM y la simulación son complementarios a los métodos formales en varias áreas de muchos diseños de silicio. Por supuesto, estamos haciendo esto a través de proyectos prácticos en diseños de clientes, así como implementando nuestra aplicación formalISA y programas de capacitación.

¿Cuál cree que será el área de mayor crecimiento para 2024 y por qué?
Todo, desde redes (5G/6G), RISC-V y chips aceleradores para AI/ML, necesitaría una verificación rigurosa que solo pueden proporcionar métodos formales basados en una excelente metodología. Aquí es donde vemos más oportunidades de crecimiento.

¿Cómo está abordando el trabajo de su empresa este crecimiento?
Brindamos servicios de verificación formal personalizados a la industria aprovechando nuestra experiencia basada en más de 60 años de experiencia combinada en verificación formal en Axiomise, liderada por nuestro CEO y CTO. La velocidad a la que podemos innovar en vivo en un proyecto para crear metodologías expansivas basadas en la abstracción no tiene paralelo en la industria. Es algo que escuchamos cada vez más de nuestros clientes. Podemos resolver los problemas más difíciles que no son posibles para todos.

¿A qué conferencias asististe en 2023 y cómo estuvo el tráfico?
Como nuestro equipo, Axiomise participó y patrocinó algunas de las conferencias y cumbres internacionales de primer nivel.

Tuvimos un año intenso y fructífero mientras asistíamos y establecimos contactos en los siguientes eventos de la industria: ChipEx, la primera Cumbre Europea RISC-V celebrada en Barcelona, DVCon India, RISC-V Norteamérica y DVCon Europa.

¡El tráfico y la participación de los asistentes y organizadores fueron fantásticos! ¡Disfrutamos conocer y aprender de muchos profesionales que trabajan en la industria de semiconductores de todo el mundo!

¿Asistirás a conferencias en 2024? ¿Igual o más?
Asistiremos y patrocinaremos más conferencias este año.

Somos patrocinador confirmado de DVCon EE. UU. del 4 al 6 de marzo de 2024 y esperamos conectar la industria de semiconductores en California el próximo mes.