Khám phá giải pháp tối ưu để xác minh kết nối SoC với công cụ Questa Formal Connectivity Check, giúp Microsemi giảm thiểu rủi ro, tiết kiệm thời gian, và tăng năng suất trong thiết kế vi mạch phức tạp.
Thách thức trong việc xác minh kết nối SoC
Microsemi phải đối mặt với việc xác minh các SoC ngày càng phức tạp với hơn 300.000 cổng, 530+ IO, và các mạch điện tử phức tạp khác. Quá trình xác minh thủ công dễ mắc lỗi, mất nhiều thời gian và dễ bỏ sót lỗi, dẫn đến nguy cơ phải thiết kế lại tốn kém.
Hình 1. Quy trình mô phỏng, bên trên, đòi hỏi nhiều nỗ lực hơn, nhiều bước hơn, nhiều thời gian hơn và có phạm vi bao phủ trường hợp góc thấp hơn so với quy trình ứng dụng Formal Connectivity Check, được hiển thị bên dưới
Giải pháp và lợi ích của công cụ Questa Formal Connectivity Check
Microsemi đã triển khai ứng dụng Questa Formal Connectivity Check để xác minh kết nối, giúp giảm thiểu rủi ro và tăng năng suất. Công cụ này có nhiều ưu điểm:
- Phân tích toàn diện: Phát hiện được nhiều trường hợp ngóc ngách khó tìm bằng mô phỏng.
- Thiết lập đơn giản: Không cần testbench, không yêu cầu kiến thức sâu về formal.
- Thời gian chạy ngắn hơn: Tăng hiệu quả xác minh và dễ dàng phát hiện lỗi với phản hồi từ phần mềm.
- Tạo assertion tự động: Giảm nhu cầu viết và kiểm tra lỗi cú pháp của các assertion.
- Dễ dàng gỡ lỗi: Các lỗi được chỉ ra với các ví dụ đối chiếu rõ ràng, giúp rút ngắn thời gian sửa lỗi.
Hình 2. Quy trình xác minh kết nối của Microsemi SoC Division
Quy trình xác minh kết nối tự động: Quy trình bao gồm 8 bước chính
- Bước 1: Biên dịch thiết kế.
- Bước 2: Tự động tạo các assertion từ mã RTL và thông số kỹ thuật kết nối.
- Bước 3-4: Biên dịch và chạy phân tích formal cho các assertion.
- Bước 5-8: Tạo kế hoạch kiểm thử, xem xét và gỡ lỗi các kết quả với công cụ GUI của Questa.
Hình 3. Với Questa GUI, dạng sóng đưa bạn đến đúng nguyên nhân gốc rễ
Kết quả và minh chứng thực tế
Microsemi đã sử dụng công cụ này để xác minh các khối thiết kế, cụm hệ thống và mức toàn bộ chip. Qua đó, họ phát hiện ra các lỗi nghiêm trọng như:
- Kết nối sai nguồn đến đích.
- Sắp xếp bit bị xáo trộn.
- Đứt kết nối.
Đặc biệt, công cụ cũng phát hiện các lỗi trong miền analog mà mô phỏng không làm được. Điều này rất quan trọng khi làm việc với các biến thể sản phẩm khác nhau.
Kết luận
Microsemi kết luận rằng việc sử dụng công cụ formal như Questa Formal Connectivity Check là không thể thiếu để phát hiện lỗi sớm và hiệu quả. Công cụ này vượt trội so với mô phỏng truyền thống ở tính toàn diện, dễ thiết lập, và tiết kiệm thời gian, giúp Microsemi giảm thiểu chi phí và đẩy nhanh thời gian ra thị trường.
(Nguồn: Siemens)
Tham khảo thêm:
Liên hệ với Vietbay để được tư vấn:
