Valtrix và Codasip hợp tác về việc xác minh hệ thống RISC-V

BANGALORE, Ấn Độ và MUNICH, ngày 25 tháng 3 năm 2021 /PRNewswire/ -- Valtrix Systems, nhà cung cấp các sản phẩm xác minh thiết kế để xây dựng việc triển khai CPU và hệ thống trên chip đúng chức năng, và Codasip, nhà cung cấp hàng đầu về IP bộ xử lý nhúng RISC-V® có thể tùy chỉnh, đã thông báo hôm nay rằng họ đang hợp tác xác minh hệ thống RISC-V-based.

Sự hợp tác này dựa trên việc áp dụng sản phẩm Valtrix STING để bổ sung vào các phương pháp luận mở rộng của Codasip để xác minh bộ xử lý. Khả năng xác minh thiết kế của STING hoàn toàn phù hợp để xác minh bộ xử lý, nhờ khả năng tạo kích thích tự kiểm tra di động trên nhiều môi trường kiểm tra thiết bị và cho phép người dùng thực hiện các tính năng kiến trúc và vi kiến trúc bằng cách sử dụng khung lập trình kích thích kiểm tra của nó.

"Việc triển khai CPU và SoC phức tạp đòi hỏi phải xác minh kỹ lưỡng trước khi sản phẩm được phát hành cho người dùng cuối," Shubhodeep Roy Choudhury, Giám đốc điều hành Valtrix cho biết. "STING cung cấp một phương pháp xác minh thiết kế mạnh mẽ và đã được chứng minh để kiểm tra tính tuân thủ về mặt kiến trúc và tính đúng đắn về chức năng của các tính năng và tiện ích mở rộng RISC-V. Chúng tôi rất tự hào được hợp tác với Codasip và hỗ trợ nhóm kỹ sư của họ với STING cho các nhu cầu xác minh của họ. "

"Codasip thực hiện xác minh nghiêm ngặt để đảm bảo chất lượng của các sản phẩm IP bộ xử lý của mình," Philippe Luc, Giám đốc xác minh tại Codasip cho biết. "Codasip luôn sử dụng nhiều phương pháp tiếp cận trong chiến lược xác minh của mình và việc tương tác với Valtrix và sử dụng các công cụ STING mang lại một nguồn kích thích bộ xử lý bổ sung khác. STING sản xuất các thử nghiệm theo một cách độc nhất trên thị trường và có thể giúp phát hiện ra các lỗi trước khi phát hành sản phẩm của chúng tôi. "

Codasip sử dụng sự kết hợp của Codasip Studio, các công cụ nội bộ và các công cụ của bên thứ ba để xác minh bộ xử lý. Ví dụ: bộ xử lý được xác minh ở cấp độ thành phần bằng cách sử dụng tạo mẫu ngẫu nhiên chuyên dụng và các thử nghiệm trực tiếp. Ở cấp cao nhất, các bài kiểm tra kiến trúc được sử dụng trên các trình tạo chương trình nội bộ. Bộ kiểm tra tính nhất quán đảm bảo thực thi giống hệt nhau giữa tham chiếu vàng và RTL. Các kỹ thuật chính thức cũng được sử dụng để đảm bảo chất lượng. Việc sử dụng sản phẩm Valtrix STING trong hợp tác này sẽ bổ sung thêm một cấp độ thử nghiệm khác cho các bộ xử lý RISC-V của Codasip.

Giới thiệu về Công cụ xác minh thiết kế STING của Valtrix

STING là một nền tảng xác minh thiết kế để triển khai dựa trên RISC-V. Nó có thể được cấu hình để tạo ra các chương trình kim loại trần di động có chứa kích thích kiểm tra chính xác về mặt kiến trúc, sau đó có thể được kích hoạt trên mô phỏng, nguyên mẫu FPGA, mô phỏng hoặc silicon. Để biết thêm thông tin về công nghệ xác minh thiết kế và sản phẩm của Valtrix, hãy truy cập www.valtrix.in.

Về Codasip

Codasip cung cấp IP bộ xử lý RISC-V tiên tiến hàng đầu và các công cụ thiết kế bộ xử lý cấp cao, cung cấp cho các nhà thiết kế vi mạch tất cả các lợi thế của ISA mở RISC-V, cùng với khả năng độc đáo để tùy chỉnh IP bộ xử lý. Là thành viên sáng lập của RISC-V Foundation và là nhà cung cấp lâu dài các giải pháp xử lý dựa trên LLVM và GNU, Codasip cam kết thực hiện các tiêu chuẩn mở cho các bộ xử lý nhúng và ứng dụng. Được thành lập vào năm 2014 và có trụ sở chính tại Munich, Đức, Codasip hiện có các trung tâm R & D ở Châu Âu và các đại diện bán hang trên toàn thế giới. Để biết thêm thông tin về các sản phẩm và dịch vụ của chúng tôi, hãy truy cập www.codasip.com. Để biết thêm thông tin về RISC-V, hãy truy cập www.riscv.org.

Liên hệ truyền thông

    Shubhodeep Roy Choudhury, Giám đốc điều hành, Valtrix

    E-mail: deepsrc@valtrix.in

    Roddy Urquhart, Giám đốc tiếp thị cấp cao, Codasip

    E-mail: rurquhart@codasip.com