지원사업
학술연구/단체지원/교육 등 연구자 활동을 지속하도록 DBpia가 지원하고 있어요.
커뮤니티
연구자들이 자신의 연구와 전문성을 널리 알리고, 새로운 협력의 기회를 만들 수 있는 네트워킹 공간이에요.
논문 기본 정보
- 자료유형
- 학술저널
- 저자정보
- 발행연도
- 2010.10
- 수록면
- 2,310 - 2,316 (7page)
이용수
초록· 키워드
오류제보하기
이 논문에서는 형식 검증(formal verification)의 한 분야인 모델 검증(model checking)에 재타이밍(retiming) 기법을 적용하는 방법에서 대해 연구하였다. 재타이밍은 주어진 회로의 레지스터들을 재배치함으로써, 입출력 동작을 바꾸지 않으면서 전이 관계(transition relation)을 변환할 수 있는 기법이다. 이러한 재타이밍을 이용하면 모델 검증을 더 효율적으로 수행하도록 회로를 바꿀 수 있다. 이 논문에서는, 레지스터의 개수와 전이 관계의 특성을 반영한 cost 함수를 제안하고, 재타이밍으로 얻을 수 있는 회로 구조들을 효율적으로 탐색하는 heuristic annealing 알고리즘을 개발한다. 제안된 방법이 모델 검증의 성능을 향상시킬 수 있음을 실험 결과를 통해 보여주었다.
목차
요약
ABSTRACT
Ⅰ. 서론
Ⅱ. 연구 배경
Ⅲ. 기호적 모델 검증을 위한 재타이밍
Ⅳ. 전체 알고리즘
Ⅴ. 실험 결과
Ⅵ. 결론
참고문헌
참고문헌 (15)
참고문헌 신청
1. [단행본] - E. M. Clarke / 1999 / Model Checking / MIT Press
2. [학술대회논문] - J. R. Burch / 1990 / Symbolic model checking: 1020 states and beyond / Proc. Symp. Logic in Comput. Sci. : 428 ~ 439
3. [학술대회논문] - I.-H. Moon / 2000 / Border-block triangular form and conjunction schedule in image computation / Proc. Int. Conf. Formal Methods in Computer Aided Design of Electron. Circuits. : 73 ~ 90
4. [학술대회논문] - I.-H. Moon / 2000 / To split or to conjoin: the question in image computation / Proc. ACM/IEEE Design Automation Conf. : 23 ~ 28
5. [학술대회논문] - R. K. Ranjan / 1995 / Efficient BDD algorithms for FSM synthesis and verification / Proc. Int. Workshop on Logic Synthesis
2. [학술대회논문] - J. R. Burch / 1990 / Symbolic model checking: 1020 states and beyond / Proc. Symp. Logic in Comput. Sci. : 428 ~ 439
3. [학술대회논문] - I.-H. Moon / 2000 / Border-block triangular form and conjunction schedule in image computation / Proc. Int. Conf. Formal Methods in Computer Aided Design of Electron. Circuits. : 73 ~ 90
4. [학술대회논문] - I.-H. Moon / 2000 / To split or to conjoin: the question in image computation / Proc. ACM/IEEE Design Automation Conf. : 23 ~ 28
5. [학술대회논문] - R. K. Ranjan / 1995 / Efficient BDD algorithms for FSM synthesis and verification / Proc. Int. Workshop on Logic Synthesis
함께 읽어보면 좋을 논문
논문 유사도에 따라 DBpia 가 추천하는 논문입니다. 함께 보면 좋을 연관 논문을 확인해보세요!
-
Sequential Logic Optimization with Implicit Retiming
대한전자공학회 토론회
1996 .01
-
Sequential Logic Optimization with Implicit Retiming
대한전자공학회 학술대회
1996 .07
-
새로운 순차적 기법에 의한 타이밍 최적화
(구)정보과학회논문지
1995 .04
-
싱글 페이즈 클락드 래치를 이용한 SoC 리타이밍
전자공학회논문지-SD
2006 .09
-
High-Speed Radix-4 Add-Compare-Select Unit for Next Generation Communication Systems
대한전자공학회 ISOCC
2013 .11
-
A metastability free retiming logic of ADPLL
ITC-CSCC :International Technical Conference on Circuits Systems, Computers and Communications
2009 .07
-
소프트웨어의 안전성 검증을 위한 모델 검증 도구
정보과학회지
2014 .04
-
Ubiquitous Application을 위한 소프트웨어 검증 기법
한국정보과학회 학술발표논문집
2004 .04
-
모델검증을 활용한 자가-적응 소프트웨어 검증 및 전략 추출 방법
한국정보과학회 학술발표논문집
2015 .12
-
모델 검증과 모델 합성을 이용한 제어기 생성 사례 연구
한국정보과학회 학술발표논문집
2015 .06
-
Using DSP Algorithms for CRC in a CAN Controller
IEIE Transactions on Smart Processing & Computing
2016 .02
-
동기 시스템의 타이밍 설계 및 검증 ( Timing Design and Verification of Synchronous Systems )
CAD 및 VLSI 설계연구회지
1995 .01
-
초집적 디지털 회로의 타이밍 검증
CAD기술특강
1989 .01
-
BIR 모델의 바운디드 모델 검증
정보과학회논문지 : 소프트웨어 및 응용
2007 .08
-
개선된 쌍 검증 방식을 이용한 지식 검증 시스템
한국지능시스템학회 논문지
2003 .10
-
High Performance Low Vcc Operation by Hiding Repair Information Access Latency
대한전자공학회 ISOCC
2013 .11
-
확률론적 모델 체킹 기법을 이용한 복수 무인기 시스템 모델링 및 검증
한국항공우주학회 학술발표회 초록집
2013 .11
-
모델 검증을 이용한 게임 풀이
정보과학회지
2003 .01
-
실시간 시스템 검증을 위한 지역모형검사
멀티미디어학회논문지
2000 .02
-
Symbolic Incremental CTL 모델 검증
한국정보과학회 학술발표논문집
2005 .07
이 논문의 저자 정보
최근 본 자료
댓글(0)
0