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

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

Applying an SMT Solver to Coverage-Driven Design Verification 커버리지 중심 설계 검증에 SMT 솔버 적용

Kiyoharu HAMAGUCHI

  • 조회수

    0

  • 이것을 인용

요약 :

하드웨어 설계, 특히 RTL(Register-Transfer-level) 설계의 시뮬레이션 기반 검증이 널리 사용되어 왔으며 설계 프로세스의 주요 병목 현상 중 하나였습니다. 접근 방식 중 하나는 커버리지 기반 검증이며, 그 목표는 커버리지라는 일부 측정항목을 개선하는 것입니다. 이전 연구에서 무작위로 생성된 시뮬레이션 패턴과 SAT(satisfiability) 솔버에서 생성된 패턴을 모두 사용하는 Coverage-Driven 검증을 제안하고 그 효율성을 보여주었습니다. 본 논문에서는 정수, 부동 소수점 또는 비트 벡터 변수 간의 산술 관계를 처리할 수 있는 SMT(만족도 모듈로 이론) 솔버를 사용하여 이 접근 방식을 확장합니다. 실험 결과, 산술 모듈을 많이 포함할수록 SMT 기반 방법이 SAT 솔버만 사용하는 방법보다 더 우수한 것으로 나타났습니다.

발행
IEICE TRANSACTIONS on Fundamentals Vol.E101-A No.7 pp.1053-1056
발행일
2018/07/01
공개일
온라인 ISSN
1745-1337
DOI
10.1587/transfun.E101.A.1053
원고의 종류
Special Section LETTER (Special Section on Design Methodologies for System on a Chip)
범주

작성자

Kiyoharu HAMAGUCHI
  Shimane University

키워드