Tổng quan
Trình kiểm tra thiết kế máy phóng
Catapult mang đến phân tích xơ và chính thức để xác nhận các thiết kế C++/SystemC của bạn về tính chính xác trước khi tổng hợp. Tránh các vấn đề thiết kế liên quan đến việc đọc bộ nhớ chưa được khởi tạo, truy cập ngoài mảng bị ràng buộc, câu lệnh chuyển mạch không đầy đủ và các vấn đề QoR có thể xảy ra khi mã hóa cho HLS.
Xác minh tại C ++ cắt giảm chi phí lên đến 80%
Lint chính thức & tĩnh cho C ++/SystemC
Catapult Design Checker cung cấp nhiều chế độ kiểm tra giúp loại bỏ nhu cầu gỡ lỗi dựa trên mô phỏng các vấn đề trong thiết kế của bạn. Các vấn đề về mã hóa, vấn đề QoR và sự không phù hợp và mơ hồ tiềm ẩn của C ++/SystemC đến RTL, được phát hiện nhanh chóng đưa ra phản hồi chính xác về nguồn và nguyên nhân.
Static Lint cho QoR
Tìm các vấn đề phổ biến trong mã hóa trước khi tổng hợp rất dễ dàng với Catapult Design Checker.
Tập trung vào các vấn đề cụ thể
Catapult Design Checker cho phép người dùng tùy chỉnh và ưu tiên kiểm tra để tập trung vào các vấn đề cấp bách trong khi giảm tiếng ồn từ các vấn đề đã biết.
Đào tạo Catapult theo yêu cầu
Thư viện đào tạo theo yêu cầu Catapult High-Level Synthesis (HLS) chứa một tập hợp các lộ trình học tập với các mô-đun để giới thiệu các kỹ sư về HLS và xác minh cấp cao.
Nhóm tổng hợp và xác minh cấp cao
Một nhóm thảo luận về các điểm thiết kế và xác minh chi tiết hơn bằng cách sử dụng các công cụ Siemens EDA HLS và HLV. Tham gia thảo luận về các chủ đề, tính năng, nội dung và chuyên gia kỹ thuật mới.
HLSLIB
Một bộ thư viện miễn phí và mở được triển khai trong C ++ tiêu chuẩn để thiết kế phần cứng và phần mềm chính xác bit. Đó là một cộng đồng mở để trao đổi kiến thức và IP cho HLS có thể được sử dụng để đẩy nhanh cả nghiên cứu và thiết kế.
Blog Thiết kế và Xác minh HLS
Blog bao gồm các phương pháp và kỹ thuật thiết kế và xác minh tổng hợp cấp cao (HLS) thế hệ tiếp theo.
Hỗ trợ máy phóng
Truy cập tài liệu chi tiết, bản phát hành, tài nguyên và hơn thế nữa.
Tư vấn EDA
Giúp bạn đạt được tác động kinh doanh tối đa bằng cách giải quyết các thách thức phức tạp về công nghệ và doanh nghiệp với sự pha trộn độc đáo giữa kinh nghiệm phát triển và thiết kế và chuyên môn về phương pháp luận.