회로 만들기 & 알고리즘의 속성

회로 만들기

1. Specification

2. Formulation (진리표)

3. Optimization (간소화)

4. Technology Mapping, logic diagram -> net list

5. Verification

알고리즘의 속성

1. 입력

2. 출력

3. 명확성

4. 효율성

5. 종료성