공리화 Axiomise는 2017년부터 반도체 업계에서 공식 검증 채택을 개척했습니다. 공식 검증 분야에서 63개의 특허를 보유한 비전 있는 CEO Ashish Darbari 박사와 40년 경력의 업계 베테랑인 Neil Dunlop이 이끄는 Axiomise는 지난 XNUMX년 동안 XNUMX명의 고객을 도왔습니다. 지난 XNUMX년 동안 교육 프로그램, 컨설팅 및 서비스, RISC-V 프로세서의 엔드투엔드 검증을 위한 공급업체 중립적 공식 검증 앱을 통해 최첨단 공식 검증 방법론에 대한 액세스를 제공했습니다.
귀하와 귀하의 회사에 대해 간략하게 알려주십시오.
Axiomise는 복잡한 SoC에 정형 방법을 배포하기 위한 formatISA와 같은 RISC-V 검증을 위한 컨설팅 및 서비스, 교육 및 애플리케이션별 앱을 제공합니다. 모든 상용 공식 검증 도구와 함께 사용할 수 있는 추상화 기반 방법론과 86차원 커버리지 솔루션을 통해 당사 전문가는 RISC-V, Arm 또는 x5 프로세서를 포함한 다양한 설계에서 가장 까다로운 공식 검증 문제를 해결할 수 있습니다. GPU 또는 비디오 블록, Wi-Fi, XNUMXG, AI/ML을 포함한 네트워킹 블록.
저는 회사의 사업 개발 이사이며 작년 2월에 팀에 합류했습니다.
귀사의 2023년 가장 흥미로운 고점은 언제였나요?
작년의 주요 하이라이트 중 하나는 실리콘 밸리의 일부 유명 기업을 위한 매우 복잡한 프로젝트에 참여했다는 것입니다. 주목할만한 언급은 AMD였습니다..
우리는 수십억 개 이상의 게이트가 있는 설계에서 100% 전환을 달성하고 세계 각지의 놀랍도록 재능 있는 팀과 협력했다는 것을 자랑스럽게 생각합니다.
우리는 우리 팀에서 고용한 가장 뛰어난 디자인과 사람들과 함께 고객의 프로젝트에 큰 공헌을 했습니다. 또한, 우리는 다음을 통해 고객 팀을 교육할 수 있었습니다. 맞춤형 교육 프로그램 이는 업계에서 유일할 뿐만 아니라 널리 최고로 간주됩니다. 우리는 또한 그들의 디자인에 형식의 힘을 적용한 형식적 방법을 통해 직접적으로 기여했습니다. 특히 초기 디자인에서 프로젝트 승인까지 작업하는 "버그 부재에 대한 철저한 증거"를 확립할 때 더욱 그렇습니다.
다른 말로, 지난 18개월 동안 우리 직원 수는 1명에서 15명으로 늘어났으며 우리 팀은 매우 다양하고 남성/여성 비율이 50/50이라는 점을 자랑스럽게 생각합니다. 우리는 다양성이 모든 팀과 주변 커뮤니티의 창의성을 촉진한다고 굳게 믿습니다!
2023년에 귀사가 직면한 가장 큰 과제는 무엇이었나요?
점점 늘어나는 시뮬레이션 주기와 UVM의 천문학적인 성장이 ASIC/IC를 막을 수 없다는 것을 보여주는 Harry Foster의 Wilson 연구 보고서에 따라 업계가 모범 사례 채택의 개선 사항을 보여주기 위해 고군분투하고 있기 때문에 검증 및 검증에 관한 이야기는 고무적이지 않습니다. IC/ASIC 프로젝트의 76%가 계속해서 일정을 놓치고 있는 반면, 리스핀은 무려 66%에 달합니다.
우리의 광범위한 업계 경험에 따르면 이러한 통계를 개선하는 가장 좋은 방법은 왼쪽으로 이동하는 것이며 이는 DV 흐름의 진정한 잠재력을 이해하여 초기에 공식적인 방법을 채택함으로써 수행될 수 있습니다. 공식 앱의 사용은 지난 10년 동안 확실히 증가했지만, 공식 앱의 적용은 여전히 극한 수준입니다. 우리는 이것이 가장 어려운 도전이라고 생각합니다.
작년에 우리 팀이 50% 이상, 고객 수가 더 크게 성장했다는 점을 고려하더라도, 우리에게 가장 큰 과제는 업계의 공식 채택 속도를 참을성 있게 유지하는 것이었고, 시간이 지남에 따라 많은 기업이 이를 이해하는 데 시간이 걸립니다. 공식을 효율적이고 효과적으로 배포하는 모범 사례!
귀사는 이 가장 큰 과제를 어떻게 해결하고 있습니까?
우리는 공식적인 검증이 단지 있으면 좋은 것이 아니라 필수라는 점을 반도체 커뮤니티가 이해하도록 하는 것을 목표로 합니다. UVM과 시뮬레이션은 많은 실리콘 설계의 여러 영역에서 공식적인 방법을 보완합니다. 물론 우리는 고객 디자인에 대한 실습 프로젝트 작업과 formatISA 앱 배포 및 교육 프로그램을 통해 이를 수행하고 있습니다.
2024년 가장 큰 성장 영역은 어디일 것이라고 생각하시나요? 그 이유는 무엇인가요?
네트워킹(5G/6G), RISC-V, AI/ML용 가속기 칩 등 모든 것에는 훌륭한 방법론에 기반을 둔 공식적인 방법만이 제공할 수 있는 엄격한 검증이 필요합니다. 이것이 우리가 가장 많은 성장 기회를 볼 수 있는 곳입니다.
귀사의 업무는 이러한 성장을 어떻게 해결하고 있나요?
우리는 CEO와 CTO가 이끄는 Axiomise에서 60년 이상 통합된 공식 검증 경험에 뿌리를 둔 전문 지식을 활용하여 업계에 맞춤형 공식 검증 서비스를 제공하고 있습니다. 광범위한 추상화 기반 방법론을 마련하기 위한 프로젝트에서 실시간으로 혁신할 수 있는 속도는 업계에서 비교할 수 없습니다. 이는 고객들로부터 점점 더 많이 듣고 있는 내용입니다. 우리는 모든 사람이 할 수 없는 가장 어려운 문제를 해결할 수 있습니다.
2023년에는 어떤 컨퍼런스에 참석하셨고, 교통상황은 어땠나요?
우리 팀인 Axiomise는 최고 수준의 국제 회의 및 정상 회담에 참여하고 후원했습니다.
우리는 바르셀로나에서 최초로 개최된 RISC-V Summit Europe, DVCon India, RISC-V North America 및 DVCon Europe과 같은 업계 행사에 참석하고 네트워킹하면서 매우 유익한 한 해를 보냈습니다.
참석자와 주최자의 교통과 참여가 훌륭했습니다! 우리는 전 세계에서 반도체 산업에 종사하는 많은 전문가들을 만나서 즐거운 시간을 보냈습니다!
2024년에 컨퍼런스에 참석하시겠습니까? 같거나 그 이상인가요?
우리는 올해 더 많은 컨퍼런스에 참석하고 후원할 것입니다.
우리는 확인된 후원자입니다 DVCon 미국 4년 6월 2024~XNUMX일에 개최되며 다음 달 캘리포니아에서 반도체 산업을 연결할 수 있기를 기대합니다.
또한 읽기 :
RISC-V Summit Buzz – Axiomise, 차세대 formatISA®로 RISC-V 설계 가속화
다음을 통해이 게시물 공유 :
- SEO 기반 콘텐츠 및 PR 배포. 오늘 증폭하십시오.
- PlatoData.Network 수직 생성 Ai. 자신에게 권한을 부여하십시오. 여기에서 액세스하십시오.
- PlatoAiStream. 웹3 인텔리전스. 지식 증폭. 여기에서 액세스하십시오.
- 플라톤ESG. 탄소, 클린테크, 에너지, 환경, 태양광, 폐기물 관리. 여기에서 액세스하십시오.
- PlatoHealth. 생명 공학 및 임상 시험 인텔리전스. 여기에서 액세스하십시오.
- 출처: https://semiwiki.com/semiconductor-services/axiomise/341983-2024-outlook-with-laura-long-of-axiomise/
