Thiết kế máy bán hàng tự động:

- Nhận đồng 5 xu, 10 xu

- Tại 1 thời điểm chỉ nạp được 1 đồng xu thôi
- Trả về 1 gói kẹo nếu số tiền nạp vào là 15 xu
- Không trả lại tiền thừa

1. Phân tích
a. Đầu vào: 5 xu, 10 xu, 0 xu => 3 đầ u vào
b. Đầu ra: mở/không mở => 2 đầu ra
c. Trạng thái: 0, 5, 10, >=15
2. Bảng chuyển trạng thái
Đầu vào TT hiện tại TT tiếp theo Đầu ra
0 0 0 Đóng
5 0 5 Đóng
10 0 10 Đóng
0 5 5 Đóng
5 5 10 Đóng
10 5 >=15 Đóng
0 10 10 Đóng
5 10 >=15 Đóng
10 10 >=15 Đóng
>=15 0 Mở

3. Thực hiện mã hoá

a. Đầu vào: 3 đầu vào thì cần phải dùng 2 bit để mã hoá
Đầu vào Đầu vào mã hoá
0 xu 00
5 xu 01
* 10
11

b. Đầu ra: 2 đầu ra thì cần phải dùng 1 bit để mã hoá

Đầu ra Đầu ra mã hoá
Đóng 0
Mở 1

c. Trạng thái: 4 trạng thái thì cần phải sử dụng 2 bit để mã hoá
Trạng thái Trạng thái mã hoá
0 xu 00
5 xu 01
10 xu 10
>=15 xu 11
 Đầu vào TT hiện tại TT tiếp theo Đầu ra
00 00 00 0
01 00 01 0
10 00 10 0
11 00 - -
00 01 01 0
01 01 10 0
10 01 11 0
11 01 - -
00 10 10 0
01 10 11 0
10 10 11 0
11 10 - -
- 11 00 1

4. Xác định số lượng FF: phụ thuộc vào số bit mà dùng để mã hoá
trạng thái.
Với 2 bit mã hoá trạng thái thì sẽ cần sử dụng 2 FF.
5. Chọn loại FF: D
Mình sẽ có DA và DB
6. Xác định đầu vào cho mỗi FF và biểu thức của đầu ra

Đầu TT hiện tại TT tiếp theo DA DB Đầu ra Đầu ra

Mealy
vào Moore
00 00 00 0 0 0 0
01 00 01 0 1 0 0
10 00 10 1 0 0 0
11 00 - - - - -
00 01 01 0 1 0 0
01 01 10 1 0 0 0
10 01 11 1 1 0 1
11 01 - - - - -
00 10 10 1 0 0 0
01 10 11 1 1 0 1
10 10 11 1 1 0 1
11 10 - - - - -
- 11 - - - 1 1

TT hiện tại TT tiếp theo D

0 0 0
0 1 1
1 0 0
1 1 1
 Cần phải tìm hàm cho các đầu vào và đầu ra như sau:
DA:
DB:
Đầu ra:

0 0 - 1
0 1 - 1
- - - -
1 1 - 1

DA= D+QA+NQB

0 1 - 0
1 0 - 1
- 0 - -
0 1 - 1

DB=

Đầu ra (Moore) = QAQB

(Theo mô hình Moore, đầu ra chỉ phụ thuộc vào trạng thái hiện tại mà
không phụ thuộc trực tiếp vào đầu vào)
Đầu ra (Mealy):

0 0 1 0
0 0 1 1
- - 1 -
0 1 1 1

7. Vẽ/thực hiện mạch

DA= D+QA+NQB
DB=