검색 기능은 준비 중입니다.
검색 기능은 준비 중입니다.

The original paper is in English. Non-English content has been machine-translated and may contain typographical errors or mistranslations. ex. Some numerals are expressed as "XNUMX".
Copyrights notice

The original paper is in English. Non-English content has been machine-translated and may contain typographical errors or mistranslations. Copyrights notice

A Unified Framework for Equivalence Verification of Datapath Oriented Applications 데이터 경로 지향 애플리케이션의 동등성 검증을 위한 통합 프레임워크

Bijan ALIZADEH, Masahiro FUJITA

  • 조회수

    0

  • 이것을 인용

요약 :

본 논문에서는 알고리즘 설명부터 게이트 수준 구현에 이르기까지 다양한 설계 단계에서 데이터 경로 지향 하드웨어 설계의 동등성 검사를 목적으로 Horner Expansion Diagram(HED)[1]이라는 표준 결정 다이어그램을 기반으로 하는 통합 프레임워크를 소개합니다. . HED는 모듈로 동등성을 갖춘 다항식의 관점에서 알고리즘 사양을 표현하고 조작할 수 있을 뿐만 아니라 게이트 수준 구현의 비트 수준 가산기(BLA) 설명도 표현할 수 있습니다. 우리의 HED는 다음 형식의 정수 링에 대한 모듈러 산술 연산을 지원할 수 있습니다. Z2n. 제안된 기법은 산업 벤치마크의 동등성 검사에 성공적으로 적용되었습니다. 다양한 애플리케이션에 대한 실험 결과는 기존 비트 수준 및 단어 수준 동등성 검사 기술에 비해 상당한 이점을 보여주었습니다.

발행
IEICE TRANSACTIONS on Information Vol.E92-D No.5 pp.985-994
발행일
2009/05/01
공개일
온라인 ISSN
1745-1361
DOI
10.1587/transinf.E92.D.985
원고의 종류
Special Section PAPER (Special Section on Formal Approach)
범주
하드웨어 검증

작성자

키워드