tiên đề đi tiên phong trong việc áp dụng xác minh chính thức trong ngành bán dẫn kể từ năm 2017. Được dẫn dắt bởi Giám đốc điều hành có tầm nhìn, Tiến sĩ Ashish Darbari, người có 63 bằng sáng chế về xác minh chính thức và Neil Dunlop, một chuyên gia kỳ cựu trong ngành với 40 năm kinh nghiệm, Axiomise đã giúp đỡ XNUMX khách hàng trong suốt thời gian qua. trong sáu năm qua bằng cách cung cấp cho họ quyền truy cập vào phương pháp xác minh chính thức tiên tiến thông qua các chương trình đào tạo, tư vấn & dịch vụ cũng như ứng dụng xác minh chính thức trung lập với nhà cung cấp để xác minh từ đầu đến cuối các bộ xử lý RISC-V.

Hãy cho chúng tôi biết một chút về bản thân và công ty của bạn.
Axiomise cung cấp tư vấn & dịch vụ, đào tạo và các ứng dụng dành riêng cho ứng dụng để xác minh RISC-V, chẳng hạn như formalISA để triển khai các phương pháp chính thức trên SoC phức tạp. Thông qua các phương pháp dựa trên sự trừu tượng và giải pháp bao quát sáu chiều có thể được sử dụng với bất kỳ công cụ xác minh chính thức thương mại nào, các chuyên gia của chúng tôi có thể giải quyết các vấn đề xác minh chính thức thách thức nhất trên nhiều thiết kế khác nhau, bao gồm bộ xử lý RISC-V, Arm hoặc x86, GPU hoặc khối video, khối mạng bao gồm Wi-Fi, 5G và AI/ML.

Tôi là Giám đốc Phát triển Kinh doanh của công ty và gia nhập nhóm vào tháng 2 năm ngoái.

Đỉnh cao thú vị nhất trong năm 2023 đối với công ty của bạn là gì?
Một trong những điểm nổi bật chính của năm ngoái là được làm việc trong các dự án siêu phức tạp cho một số tên tuổi lớn từ Thung lũng Silicon. Một đề cập đáng chú ý là từ AMD.

Chúng tôi tự hào đã đạt được 100% chuyển đổi trong thiết kế với hơn tỷ cổng và được làm việc với các đội ngũ tài năng đáng kinh ngạc từ nhiều nơi trên thế giới.

Chúng tôi đã đóng góp rất lớn cho các dự án của khách hàng với một số thiết kế sáng giá nhất và những con người mà chúng tôi đã thuê trong nhóm của mình. Hơn nữa, chúng tôi có thể đào tạo đội ngũ của khách hàng thông qua chương trình đào tạo riêng một lần nữa, nó không chỉ độc đáo trong ngành mà còn được nhiều người đánh giá là tốt nhất. Chúng tôi cũng đóng góp trực tiếp thông qua các phương pháp chính thức được áp dụng trong các thiết kế của họ dựa trên sức mạnh của hình thức, đặc biệt khi thiết lập “bằng chứng đầy đủ về việc không có lỗi” trong suốt quá trình thiết kế ban đầu cho đến khi phê duyệt dự án của họ.

Một lưu ý khác, trong suốt 18 tháng qua, số lượng nhân viên của chúng tôi đã tăng từ 1 lên 15 và nhóm của chúng tôi tự hào là siêu đa dạng với tỷ lệ nam/nữ là 50/50. Chúng tôi tin tưởng mạnh mẽ rằng sự đa dạng sẽ thúc đẩy sự sáng tạo trong bất kỳ nhóm nào và với cộng đồng xung quanh đó!

Thử thách lớn nhất mà công ty bạn phải đối mặt vào năm 2023 là gì?
Câu chuyện xung quanh việc xác nhận và xác minh không gây cảm hứng khi ngành đang nỗ lực thể hiện những cải tiến trong việc áp dụng phương pháp tốt nhất theo Báo cáo nghiên cứu Wilson của Harry Foster tiết lộ số lượng chu kỳ mô phỏng ngày càng tăng và sự phát triển vượt bậc của UVM không thể ngăn cản ASIC/IC quay lại ở mức đáng kinh ngạc 76% trong khi 66% dự án IC/ASIC tiếp tục bị trễ lịch trình.

Kinh nghiệm rộng lớn trong ngành cho chúng tôi biết rằng cách tốt nhất để cải thiện những số liệu thống kê này là dịch chuyển sang trái và điều này có thể được thực hiện bằng cách sớm áp dụng các phương pháp chính thức trong luồng DV bằng cách hiểu được tiềm năng thực sự của nó. Mặc dù việc sử dụng các ứng dụng chính thức chắc chắn đã tăng lên trong thập kỷ qua, nhưng việc áp dụng các ứng dụng chính thức vẫn còn rất nhiều ở các phần cực đoan. Chúng tôi thấy đây là thách thức ghê gớm nhất.

Ngay cả khi xem xét rằng năm ngoái chúng tôi đã tăng đội ngũ của mình lên hơn 50% và lượng khách hàng của chúng tôi cũng tăng theo tỷ lệ phần trăm lớn hơn, thách thức lớn nhất đối với chúng tôi là phải kiên nhẫn với tốc độ áp dụng chính thức của ngành và thời gian mà nhiều công ty đang phải hiểu các phương pháp hay nhất để triển khai chính thức một cách hiệu quả và hiệu quả!

Công việc của công ty bạn giải quyết thách thức lớn nhất này như thế nào?
Chúng tôi mong muốn làm cho cộng đồng bán dẫn hiểu rằng việc xác minh chính thức là điều cần thiết chứ không chỉ là điều tốt đẹp cần có; và UVM và mô phỏng là bổ sung cho các phương pháp chính thức trong một số lĩnh vực của nhiều thiết kế silicon. Tất nhiên, chúng tôi đang thực hiện điều này thông qua dự án thực hành về thiết kế của khách hàng cũng như triển khai các chương trình đào tạo và ứng dụng ISA chính thức của chúng tôi.

Bạn nghĩ lĩnh vực tăng trưởng lớn nhất cho năm 2024 sẽ là gì và tại sao?
Mọi thứ từ mạng (5G/6G), RISC-V và chip tăng tốc cho AI/ML sẽ cần được xác minh nghiêm ngặt mà chỉ các phương pháp chính thức bắt nguồn từ phương pháp tuyệt vời mới có thể cung cấp. Đây là nơi chúng tôi nhìn thấy nhiều cơ hội phát triển nhất.

Công việc của công ty bạn giải quyết sự tăng trưởng này như thế nào?
Chúng tôi đang cung cấp các dịch vụ xác minh chính thức tùy chỉnh cho ngành bằng cách tận dụng chuyên môn của chúng tôi bắt nguồn từ hơn 60 năm kinh nghiệm xác minh chính thức kết hợp trong Axiomise do Giám đốc điều hành và CTO của chúng tôi lãnh đạo. Tốc độ mà chúng tôi có thể đổi mới trực tiếp trên một dự án để đưa ra các phương pháp mở rộng dựa trên sự trừu tượng hóa là chưa từng có trong ngành. Đó là điều mà chúng tôi ngày càng nhận được nhiều hơn từ khách hàng của mình. Chúng tôi có thể giải quyết những vấn đề khó khăn nhất mà không phải ai cũng làm được.

Bạn đã tham dự những hội nghị nào vào năm 2023 và giao thông thế nào?
Với tư cách là nhóm của chúng tôi, Axiomise đã tham gia và tài trợ cho một số hội nghị và hội nghị thượng đỉnh quốc tế cấp cao nhất.

Chúng tôi đã có một năm thành công rực rỡ khi tham dự và kết nối với các sự kiện trong ngành sau: ChipEx, Hội nghị thượng đỉnh RISC-V Châu Âu lần đầu tiên diễn ra tại Barcelona, ​​DVCon Ấn Độ, RISC-V Bắc Mỹ và DVCon Châu Âu.

Lưu lượng truy cập và sự tham gia của những người tham dự và ban tổ chức thật tuyệt vời! Chúng tôi rất vui được gặp gỡ và học hỏi từ nhiều chuyên gia làm việc trong ngành bán dẫn từ khắp nơi trên thế giới!

Bạn sẽ tham dự hội nghị vào năm 2024? Giống hay nhiều hơn?
Chúng tôi sẽ tham dự và tài trợ cho nhiều hội nghị hơn trong năm nay.

Chúng tôi là nhà tài trợ được xác nhận của DVCon US vào ngày 4 – 6 tháng 2024 năm XNUMX và mong muốn kết nối ngành bán dẫn ở California vào tháng tới.

Cũng đọc:

Buzz của Hội nghị thượng đỉnh RISC-V – Tiên đề tăng tốc các thiết kế RISC-V với formalISA® thế hệ tiếp theo

Lễ kỷ niệm chính thức XNUMX năm tại Axiomise

Axiomise tại # 59DAC, Cập nhật chính thức

Chia sẻ bài đăng này qua:

• Phân phối nội dung và PR được hỗ trợ bởi SEO. Được khuếch đại ngay hôm nay.
• PlatoData.Network Vertical Generative Ai. Trao quyền cho chính mình. Truy cập Tại đây.
• PlatoAiStream. Thông minh Web3. Kiến thức khuếch đại. Truy cập Tại đây.
• Trung tâmESG. Than đá, công nghệ sạch, Năng lượng, Môi trường Hệ mặt trời, Quản lý chất thải. Truy cập Tại đây.
• PlatoSức khỏe. Tình báo thử nghiệm lâm sàng và công nghệ sinh học. Truy cập Tại đây.
• nguồn: https://semiwiki.com/semiconductor-services/axiomise/341983-2024-outlook-with-laura-long-of-axiomise/