Liên hệ
Tiếng Việt
Tiếng Anh
Thứ ba, 18/08/2026
Formal Verification of Structurally Complex Multipliers
Cập nhật vào: Thứ sáu - 18/10/2024 09:56
Nhan đề chính: Formal Verification of Structurally Complex Multipliers
Nhan đề dịch: Xác minh chính thức các hệ số nhân phức tạp về mặt cấu trúc
Tác giả: Alireza Mahzoon
Nhà xuất bản: Springer, Cham
Năm xuất bản: 2023
Số trang: 130 tr.
Ngôn ngữ: Tiếng Anh
ISBN: 978-3-031-24571-8
SpringerLink
Lời giới thiệu: Cuốn sách này đề cập đến các nhiệm vụ đầy thách thức của việc xác minh và gỡ lỗi các hệ số nhân phức tạp về mặt cấu trúc. Trong lĩnh vực xác minh, trước tiên các tác giả sẽ điều tra những thách thức của việc xác minh dựa trên đại số máy tính tượng trưng (SCA), khi nói đến việc chứng minh tính đúng đắn của các hệ số nhân. Sau đó, họ mô tả ba kỹ thuật để cải thiện và mở rộng SCA: loại bỏ đơn thức biến mất, kỹ thuật đảo ngược và viết lại ngược động. Điều này cho phép người đọc xác minh nhiều loại hệ số nhân khác nhau, bao gồm các chuẩn mực công nghiệp cực kỳ phức tạp và được tối ưu hóa. Các tác giả cũng mô tả một luồng gỡ lỗi hoàn chỉnh, bao gồm xác định vị trí lỗi và sửa lỗi, để tìm vị trí lỗi trong các hệ số nhân phức tạp về mặt cấu trúc và thực hiện các sửa lỗi.
Từ khóa: Hệ số nhân. Cấu trúc. Sửa lỗi.
Nội dung cuốn sách gồm những phần sau
Giới thiệu
Bối cảnh
Những thách thức của việc xác minh dựa trên SCA
Loại bỏ đơn thức biến mất cục bộ
Kỹ thuật đảo ngược
Viết lại động ngược
Trình xác minh dựa trên SCA RevSCA-2.0
Gỡ lỗi
Kết luận và triển vọng
