동적 메모리 관리 및 조각화 감소가 포함된 인덱스 기반 멀티 코어 BDD 패키지

"EDDY: A Multi-Core BDD Package with Dynamic Memory Management and Reduced Fragmentation"이라는 제목의 기술 문서가 브레멘 대학의 연구원들에 의해 출판되었습니다.

추상
“최근 몇 년 동안 하드웨어 시스템의 복잡성이 크게 증가했습니다. 복잡성이 증가함에 따라 하드웨어 설계 프로세스의 품질을 지속적으로 개선해야 합니다. 이로 인해 설계자는 모델 검사와 같은 검증 기술을 통해 이러한 시스템의 올바른 동작을 보장하고 시장 출시 시간 제약을 충족하기 위해 보다 효율적인 데이터 구조 및 알고리즘을 위해 노력해야 합니다. BDD(Binary Decision Diagram)는 주어진 변수 순서와 이를 조작하기 위한 효율적인 알고리즘이 있는 부울 함수의 정식 압축 표현을 제공하므로 적합한 데이터 구조입니다. 그러나 감소된 순서의 BDD에도 문제가 있습니다. 일부 복잡한 실제 기능의 BDD 구성에는 많은 메모리가 사용되며 BDD 패키지 형태의 구현 사용은 응용 프로그램에 크게 의존합니다.

이러한 문제를 해결하기 위해 이 백서에서는 동적 메모리 관리 및 조각화 감소 기능을 갖춘 EDDY(Engineer Decision Diagrams Yourself)라는 새로운 멀티 코어 패키지를 제시합니다. 조합 회로와 모델 검사 모두의 BDD 벤치마크에 대한 실험은 EDDY를 사용하면 최신 패키지에 비해 성능이 크게 향상된다는 것을 보여줍니다.”

기술 찾기 여기에 종이. 2023년 XNUMX월 발행.

Rune Krauss, Mehran Goli 및 Rolf Drechsler. 2023. EDDY: 동적 메모리 관리 및 조각화 감소를 갖춘 멀티 코어 BDD 패키지. 28년 23월 16~19일 일본 도쿄에서 열리는 제2023회 아시아 및 남태평양 디자인 자동화 컨퍼런스(ASPDAC '6). ACM, New York, NY, USA, 10.1145페이지. https://doi.org/3566097.3567913/XNUMX.

• SEO 기반 콘텐츠 및 PR 배포. 오늘 증폭하십시오.
• 플라토 블록체인. Web3 메타버스 인텔리전스. 지식 증폭. 여기에서 액세스하십시오.
• 출처: https://semiengineering.com/index-based-multi-core-bdd-package-with-dynamic-memory-management-reduced-fragmentation/