상세정보

목차
1장 SIPAC 검증시스템 Flowrian = 1
 1.1 설계방법론의 진화 = 1
 1.2 인터넷 CAD 시스템 = 2
 1.3 인터넷 CAD 시스템의 구성 = 3
 1.4 클라이언트 설계 환경 = 4
 1.5 원격 서버의 서비스 = 6
 1.6 인터넷 CAD 시스템의 설계 흐름 = 8
2장 조합논리회로 = 11
 2.1 게이트 회로의 설계 및 검증 = 11
 2.2 진리표의 설계 및 검증 = 14
 2.3 기능표의 설계 및 검증 = 17
 2.4 반가산기의 설계 및 검증 = 20
 2.5 전가산기의 설계 및 검증 = 23
 2.6 멀티플렉서의 설계 및 검증 = 26
 2.7 디코더의 설계 및 검증 = 30
 2.8 인코더의 설계 및 검증 = 33
 2.9 짝수 패리티 생성기의 설계 및 검증 = 36
 2.10 3-상태 버퍼의 설계 및 검증 = 39
 2.11 연산기의 설계 및 검증 = 42
3장 순서논리회로 = 47
 3.1 D형 래치의 설계 및 검증 = 47
 3.2 초기화 단자를 가진 D형 래치의 설계 및 검증 = 52
 3.3 D형 플립플롭의 설계 및 검증 = 54
 3.4 JK형 플립플롭의 설계 및 검증 = 57
 3.5 T형 플립플롭의 설계 및 검증 = 61
 3.6 동기형 초기화 단자를 가진 D형 플립플롭의 설계 및 검증 = 64
 3.7 레지스터의 설계 및 검증 = 68
 3.8 쉬프트 레지스터의 설계 및 검증 = 72
 3.9 이진 카운터의 설계 및 검증 = 77
 3.10 링 카운터의 설계 및 검증 = 80
 3.11 존슨 카운터의 설계 및 검증 = 84
 3.12 롬의 설계 및 검증 = 87
 3.13 램의 설계 및 검증 = 90
4장 유한상태머신 = 95
 4.1 Odd Checker의 설계 및 검증 = 95
 4.2 Sequence Detector의 설계 및 검증 = 100
 4.3 Test Clock Generator의 설계 및 검증 = 106
 4.4 Traffic Light Controller의 설계 및 검증 = 111
5장 데이터패스 = 129
 5.1 Data Path 회로의 설계 및 검증 = 129
 5.2 버스를 통한 데이터 이동 회로의 설계 및 검증 = 145
 5.3 멀티플렉서를 통한 데이터 이동 회로의 설계 및 검증 = 157
6장 응용회로 설계 = 167
 6.1 Add-Shift 방식의 곱셈 회로의 설계 및 검증 = 167
 6.2 미사일 제어 회로의 설계 및 검증 = 185
 6.3 Frequency Counter 회로의 설계 및 검증 = 219
Appendix A SIPAC 검증시스템 설치 및 사용법 = 249
 A.1 설치 프로그램 = 249
 A.2 검증시스템 설치 = 251
 A.3 사용자 등록 및 인증 절차 = 252
 A.4 검증시스템 로그인 = 253
 A.5 화면의 구성 = 254
 A.6 Workspace 정의 = 256
 A.7 프로젝터 정의 = 256
 A.8 HDL 코드 작성 = 258
 A.9 HDL 코드의 프로젝트 등록 = 259
 A.10 HDL 코드 분석 = 260
Appendix B SIPAC 검증시스템의 원격 서비스 = 263
 B.1 HDL 컴파일 서비스 = 263
 B.2 HDL 시뮬레이션 서비스 = 266
 B.3 HDL 코드 커버리지 서비스 = 271
 B.4 HDL 코딩 스타일 체크 서비스 = 276
참고 서적 = 287
찾아보기 = 289