FormalPro sử dụng các kỹ thuật xác minh chính thức tĩnh để chứng minh rằng một thiết kế có chức năng giống hệt với tham chiếu vàng của nó. Điều này nhanh hơn so với mô phỏng cấp cổng truyền thống - các thiết kế mất nhiều ngày hoặc vài tuần có thể được xác minh trong vài giờ hoặc thậm chí vài phút bằng cách sử dụng FormalPro.
Nhanh chóng chứng minh rằng một thiết kế giống hệt nhau về mặt chức năng - so sánh RTL với cổng netlist để tổng hợp, danh sách mạng cổng đến cổng cho các vòng quay bố trí. Sử dụng một công cụ và quy trình cho tất cả các thiết kế của bạn.
Xác minh nhanh chóng các thiết kế cổng hàng triệu và giảm đáng kể thời gian xác minh bằng cách sử dụng các kỹ thuật xác minh chính thức tĩnh. Lộ trình nhanh nhất để sửa thiết kế với công cụ gỡ lỗi toàn diện xác định vị trí/nguyên nhân của lỗi và khả năng “điều gì nếu” duy nhất để điều tra các sửa đổi thiết kế trong phiên xác minh hiện có.
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.
Truy cập các ghi chú ứng dụng người dùng chi tiết, tài nguyên đào tạo và hơn thế nữa.
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.
