설계 검증

주 교재 :

없음

참고 서적 :

디지털 시스템 테스팅, 테스트 가능한 설계, 디지털 논리 회로 테스팅 및 시뮬레이션, 그리고 논리 회로 설계 및 시뮬레이션 등과 관련된 모든 자료.

주요 주제 :

설계 방법론과 CAD
모델링과 모델 생성
논리 회로 시뮬레이션
Formal 검증
하드웨어 가속기

설계 오류 모델링과 시뮬레이션
고장 모델링과 고장 시뮬레이션
지연 고장 테스팅
Iddq 테스팅
메모리 테스팅

학점 평가 :

기말 고사
중간 고사
프로젝트

40%
30%
30%

자료 :
  •  

 

 

[시스템 테스팅 |설계 검증 |C 프로그램밍]
[CAD |테스트 용이화 설계 |디지털 논리 회로 |컴퓨터 구조 ]