Gói BDD đa lõi dựa trên chỉ mục với quản lý bộ nhớ động & giảm phân mảnh

Một bài báo kỹ thuật có tiêu đề “EDDY: Gói BDD đa lõi với khả năng quản lý bộ nhớ động và giảm phân mảnh” đã được xuất bản bởi các nhà nghiên cứu tại Đại học Bremen.

TÓM TẮT
“Trong những năm gần đây, độ phức tạp của các hệ thống phần cứng đã tăng lên đáng kể. Do sự phức tạp ngày càng tăng, cần phải liên tục cải thiện chất lượng của quy trình thiết kế phần cứng. Điều này khiến các nhà thiết kế cố gắng tạo ra các cấu trúc dữ liệu và thuật toán hoạt động trên chúng hiệu quả hơn để đảm bảo hoạt động chính xác của các hệ thống đó thông qua các kỹ thuật xác minh như kiểm tra mô hình và đáp ứng các ràng buộc về thời gian đưa ra thị trường. Sơ đồ quyết định nhị phân (BDD) là một cấu trúc dữ liệu phù hợp vì nó cung cấp một biểu diễn nhỏ gọn chính tắc của các hàm Boolean, thứ tự các biến đã cho và các thuật toán hiệu quả để thao tác chúng. Tuy nhiên, các BDD được sắp xếp giảm cũng có những thách thức: Có mức tiêu thụ bộ nhớ lớn để xây dựng BDD của một số chức năng thực tế phức tạp và việc sử dụng các hiện thực dưới dạng các gói BDD phụ thuộc rất nhiều vào ứng dụng.

Để giải quyết những vấn đề này, bài báo này trình bày một gói đa lõi mới có tên là Bản thân sơ đồ quyết định của kỹ sư (EDDY) với khả năng quản lý bộ nhớ động và giảm phân mảnh. Các thử nghiệm về điểm chuẩn BDD của cả mạch tổ hợp và kiểm tra mô hình cho thấy rằng việc sử dụng EDDY giúp tăng hiệu suất đáng kể so với các gói hiện đại.”

Tìm kỹ thuật giấy ở đây. Xuất bản tháng 2023 năm XNUMX.

Rune Krauss, Mehran Goli và Rolf Drechsler. 2023. EDDY: Gói BDD đa lõi với khả năng quản lý bộ nhớ động và giảm phân mảnh. Tại Hội nghị Tự động hóa Thiết kế Châu Á và Nam Thái Bình Dương lần thứ 28 (ASPDAC '23), ngày 16–19 tháng 2023 năm 6, Tokyo, Nhật Bản. ACM, New York, NY, USA, 10.1145 trang. https://doi.org/3566097.3567913/XNUMX.

• Phân phối nội dung và PR được hỗ trợ bởi SEO. Được khuếch đại ngay hôm nay.
• Platoblockchain. Web3 Metaverse Intelligence. Khuếch đại kiến ​​thức. Truy cập Tại đây.
• nguồn: https://semiengineering.com/index-based-multi-core-bdd-package-with-dynamic-memory-management-reduced-fragmentation/