Liên hệ
Tiếng Việt
Tiếng Anh
Thứ năm, 19/06/2025
Advanced Boolean Techniques
Cập nhật vào: Chủ nhật - 13/10/2024 23:56
Nhan đề chính: Advanced Boolean Techniques
Nhan đề dịch : Kỹ thuật Boolean nâng cao
Tác giả : Rolf Drechsler, Sebastian Huhn
Nhà xuất bản: Springer Cham
Năm xuất bản: 2023
Số trang: 180tr.
Ngôn ngữ: Tiếng Anh
ISBN : 978-3-031-28916-3
SpringerLink
Lời giới thiệu:
Cuốn sách này mô tả những phát hiện gần đây trong lĩnh vực logic Boolean và đại số Boolean, bao gồm các lĩnh vực ứng dụng trong thiết kế mạch và hệ thống, nhưng cũng bao gồm nghiên cứu cơ bản về toán học và khoa học máy tính lý thuyết. Nội dung bao gồm các chương được mời và một số bài báo hay nhất được trình bày tại Hội thảo quốc tế thường niên lần thứ 15 về các vấn đề Boolean.
Từ khóa: Tổng hợp logic; Logic ; Đại số ; Mô hình.
Nội dung cuốn sách gồm những phần sau:
Phần đầu
Giải quyết lý thuyết modulo về khả năng thỏa mãn số học ứng dụng cho các bài toán phân tích phi chuẩn của hệ thống mạng vật lý
Tổng hợp Logic xấp xỉ nhanh dựa trên AIG
Những điều không quan tâm bên ngoài trong tổng hợp logic
Các hàm Boolean Bent Maiorana-McFarland được đặc trưng bởi phổ Reed-Muller của chúng
Hướng tới các khẳng định cấp hệ thống cho các hệ thống không đồng nhất
Tấn công xác định khóa dựa trên SAT để cải thiện đánh giá chất lượng của cơ chế khóa logic
Hàm tự đối xứng và hàm D-reducible: Lý thuyết và ứng dụng cho bảo mật
Phép nhân mô-đun hai toán hạng thành phạm vi bit nhỏ
Suy luận thời gian thực độ trễ thấp cho các Perceptron đa lớp trên FPGA
Ba mươi sáu sĩ quan của Euler-New Insights được tính toán bằng XBOOLE
Bắt đầu nhỏ nhưng mơ lớn: Về việc lựa chọn thứ tự biến tĩnh cho BDD nhân
Nhan đề dịch : Kỹ thuật Boolean nâng cao
Tác giả : Rolf Drechsler, Sebastian Huhn
Nhà xuất bản: Springer Cham
Năm xuất bản: 2023
Số trang: 180tr.
Ngôn ngữ: Tiếng Anh
ISBN : 978-3-031-28916-3
SpringerLink
Lời giới thiệu:
Cuốn sách này mô tả những phát hiện gần đây trong lĩnh vực logic Boolean và đại số Boolean, bao gồm các lĩnh vực ứng dụng trong thiết kế mạch và hệ thống, nhưng cũng bao gồm nghiên cứu cơ bản về toán học và khoa học máy tính lý thuyết. Nội dung bao gồm các chương được mời và một số bài báo hay nhất được trình bày tại Hội thảo quốc tế thường niên lần thứ 15 về các vấn đề Boolean.
Từ khóa: Tổng hợp logic; Logic ; Đại số ; Mô hình.
Nội dung cuốn sách gồm những phần sau:
Phần đầu
Giải quyết lý thuyết modulo về khả năng thỏa mãn số học ứng dụng cho các bài toán phân tích phi chuẩn của hệ thống mạng vật lý
Tổng hợp Logic xấp xỉ nhanh dựa trên AIG
Những điều không quan tâm bên ngoài trong tổng hợp logic
Các hàm Boolean Bent Maiorana-McFarland được đặc trưng bởi phổ Reed-Muller của chúng
Hướng tới các khẳng định cấp hệ thống cho các hệ thống không đồng nhất
Tấn công xác định khóa dựa trên SAT để cải thiện đánh giá chất lượng của cơ chế khóa logic
Hàm tự đối xứng và hàm D-reducible: Lý thuyết và ứng dụng cho bảo mật
Phép nhân mô-đun hai toán hạng thành phạm vi bit nhỏ
Suy luận thời gian thực độ trễ thấp cho các Perceptron đa lớp trên FPGA
Ba mươi sáu sĩ quan của Euler-New Insights được tính toán bằng XBOOLE
Bắt đầu nhỏ nhưng mơ lớn: Về việc lựa chọn thứ tự biến tĩnh cho BDD nhân
