Technology Mapping for LUT-Based FPGA
Cập nhật vào: Thứ năm - 24/08/2023 16:04
Nhan đề chính: Technology Mapping for LUT-Based FPGA
Nhan đề dịch: Lập bản đồ công nghệ cho FPGA dựa trên LUT
Tác giả: Marcin Kubica
Nhà xuất bản: Springer Cham
Năm xuất bản: 2020
Số trang: 207 tr.
Ngôn ngữ: Tiếng Anh
ISBN: 978-3-030-60488-2
SpringerLink
Lời giới thiệu: Cuốn sách này trình bày các chủ đề chọn lọc về tổng hợp logic tự động dành riêng cho FPGA. Các tác giả tập trung vào hai vấn đề chính: phân tích các chức năng đa đầu ra và ánh xạ công nghệ. Ngoài ra, ý tưởng sử dụng sơ đồ quyết định nhị phân (BDD) trong các quy trình này đã được trình bày. Cuốn sách là một chuyên khảo khoa học tổng kết công trình nghiên cứu trong nhiều năm của tác giả. Do đó, nó chứa một số lượng lớn các kết quả thử nghiệm, khiến nó trở thành một nguồn có giá trị cho các nhà nghiên cứu khác. Sự sắp xếp của nó cho phép chuyển đổi dần dần từ những điều cơ bản (ví dụ: mô tả các chức năng logic) sang các vấn đề phức tạp hơn nhiều. Cách tiếp cận này cho phép người đọc trình độ thấp hiểu rõ hơn các vấn đề được mô tả. Ngoài ra, các tác giả đảm bảo rằng các vấn đề được mô tả trong cuốn sách được hỗ trợ bởi các ví dụ thực tế, nhờ đó người đọc có thể phân tích độc lập ngay cả những vấn đề phức tạp nhất được mô tả trong cuốn sách.
Từ khóa: Logic tổng hợp. Bản đồ công nghệ. Logic tự động. FPGA. BDD.
Nội dung cuốn sách gồm những phần sau:
Giới thiệu
Phương pháp biểu diễn hàm Boolean-Định nghĩa cơ bản
Sơ đồ quyết định nhị phân
Cơ sở lý thuyết của sự phân rã
Phân tách các chức năng được mô tả bằng BDD
Thứ tự các biến trong sơ đồ BDD
Phân hủy không liên tục
Phân tách chức năng đa đầu ra được mô tả bằng BDD
Chia sẻ một phần tài nguyên logic
Khả năng cấu hình của các khối logic có thể cấu hình
Công nghệ lập bản đồ các chức năng logic trong các khối LUT
Công nghệ ánh xạ các hàm logic trong các khối logic phức tạp
Phương pháp phân tách thực hiện FSM
Các thuật toán để phân tách và lập bản đồ công nghệ
Kết quả thí nghiệm
Bản tóm tắt