Nhan đề chính: Enhanced Virtual Prototyping for Heterogeneous Systems

Nhan đề dịch: Tạo mẫu ảo nâng cao cho các hệ thống không đồng nhất

Tác giả: Muhammad Hassan, Daniel Große, Rolf Drechsler

Nhà xuất bản: Springer Cham

Năm xuất bản: 2023

Số trang: 186 tr.

Ngôn ngữ: Tiếng Anh

ISBN: 978-3-031-05574-4

SpringerLink

  Lời giới thiệu: Cuốn sách mô tả sự kết hợp toàn diện các phương pháp giúp tăng cường mạnh mẽ quy trình xác minh dựa trên nguyên mẫu ảo (VP) hiện đại cho các hệ thống trên chip (SOC) không đồng nhất. Đặc biệt, cuốn sách kết hợp các khía cạnh xác minh và phân tích qua các giai đoạn khác nhau của luồng xác minh dựa trên VP, cung cấp một góc nhìn mới về xác minh bằng cách tận dụng các kỹ thuật nâng cao, như thử nghiệm biến chất, thử nghiệm luồng dữ liệu và thử nghiệm luồng thông tin. Ngoài ra, cuốn sách còn nhấn mạnh vào các phương pháp tiên tiến dựa trên phạm vi bảo hiểm để xác minh hoạt động chức năng của SOC cũng như đảm bảo tính bảo mật của nó.

- Cung cấp phần giới thiệu sâu rộng về quy trình xác minh dựa trên VP hiện đại cho các SOC không đồng nhất;

- Giới thiệu một kỹ thuật thử nghiệm biến chất mới cho các SOC không đồng nhất không yêu cầu mô hình tham chiếu;

- Bao gồm các phương pháp dựa trên phạm vi bao phủ luồng dữ liệu nâng cao tự động được thiết kế riêng cho các VP dựa trên SystemC/AMS;

- Mô tả các phương pháp nâng cao dựa trên phạm vi chức năng để xác minh các hoạt động chức năng khác nhau của bộ khuếch đại RF.

  Từ khóa: Nguyên mẫu ảo ở cấp độ hệ thống điện tử; nguyên mẫu ảo dựa trên SystemC/AMS; xác minh chính thức các nguyên mẫu ảo; kiểm tra xác minh nguyên mẫu ảo; xác minh bằng nguyên mẫu ảo

Nội dung cuốn sách gồm những phần sau:

- Giới thiệu

- Vòng sơ loại

- Môi trường thử nghiệm biến chất AMS

- Môi trường xác minh phạm vi mã nâng cao AMS

- Môi trường xác minh phạm vi chức năng nâng cao của AMS

- Xác thực bảo mật sớm kỹ thuật số

- Phần kết luận