controller responds with three outp

controller responds with three outputs: candy_out, to dispense a candy bar, plus
nickel_out and dime_out, asserted when change is due.
Figure 9.11 also shows the states of the corresponding FSM. The numbers inside
the circles represent the total amount deposited by the customer (only nickels, dimes,
andquarters are accepted). State 0 is the idle state. From it, if a nickel is deposited,
the machine moves to state 5; if a dime, to state 10; or if a quarter, to state 25. Similar situations are repeated for all states, up to state 20. If state 25 is reached, then a
candy bar is dispensed, with no change. However, if state 40 is reached, for example,
then a nickel is delivered, passing therefore the system to state 35, from which a dime
is delivered and a candy bar dispensed. The three states marked with double circles
arethose from which a candy bar is delivered and the machine returns to state 0.
This problem will be divided into two parts: in the first, thefundamental aspects
related to the design of the vending machine controller (figure 9.11) are treated; in
the second, additional (andindispensable)features are added. The first part is studied
in this section, while the second is proposed as a problem ( problem 9.3). The introduction of such additional features is necessary for safety reasons; since we are dealing with money, we must assure that none of the parts (machine or customer) will be
hurt in the transaction.
AVHDLcode, treating only the basic features of the problem depicted in figure
9.11, is presented below. We have assumed that the additional features proposed in
problem 9.3 will indeed be implemented, in which case glitches are acceptable in the
first part of the solution. Therefore, design style #1 (section 8.2) can be employed.
The enumerated typestate(line 12) contains a list of all states shown in the FSM
diagram of figure 9.11. There are ten states, so four bits are necessary to encode them
(so four flip-flops will be inferred). Recall that the compiler encodes such states in the
order that they are listed, so st0¼‘‘0000’’ (decimal 0), st5 ¼‘‘0001’’ (decimal 1), ...,
st45¼‘‘1001’’ (decimal 9). Therefore, in the simulations, such numbers are shown
instead of the state names.

Kết quả (Việt) 1:

bộ điều khiển phản ứng với ba đầu ra: candy_out, để phân chia một thanh kẹo, cộng vớinickel_out và dime_out, khẳng định khi thay đổi là do.Con số 9,11 cũng cho thấy các tiểu bang FSM tương ứng. Những con số bên trongcác vòng tròn đại diện cho tổng số tiền gửi của khách hàng (chỉ nickels, dimes,andquarters được chấp nhận). Bang 0 là trạng thái nhàn rỗi. Từ đó, nếu một nickel được gửi,máy di chuyển sang trạng thái 5; Nếu một xu, trạng thái 10; hoặc nếu một phần tư, trạng thái 25. Tình huống tương tự được lặp đi lặp lại cho tất cả các tiểu bang, lên đến bang 20. Nếu nhà nước 25 được đạt tới, sau đó athanh kẹo dispensed, với không có thay đổi. Tuy nhiên, nếu nhà nước 40 nhanh, ví dụ,sau đó một nickel được phân phối, đi qua do đó hệ thống về trạng thái 35, từ đó một hàođược phân phối và một thanh kẹo phân phát. Ba tiểu bang được đánh dấu bằng đôi vòng trònarethose từ đó một thanh kẹo được phân phối và máy tính trở về trạng thái 0.Vấn đề này sẽ được chia thành hai phần: các khía cạnh đầu tiên, thefundamentalliên quan đến thiết kế của tiệc điều khiển (hình 9,11) đang được điều trị; ởThứ hai, tính năng bổ sung (andindispensable) được thêm vào. Phần đầu tiên nghiên cứutrong phần này, trong khi thứ hai đề xuất như là một vấn đề (vấn đề 9.3). Giới thiệu các tính năng bổ sung là cần thiết vì lý do an toàn; kể từ khi chúng tôi đang đối phó với tiền, chúng ta phải đảm bảo rằng không ai trong số các bộ phận (máy hoặc khách hàng) sẽđau trong giao dịch.AVHDLcode, điều trị chỉ có các tính năng cơ bản của vấn đề được mô tả trong hình9,11, được trình bày dưới đây. Chúng tôi đã giả định rằng các tính năng bổ sung đề xuất nămvấn đề 9.3 sẽ thực sự được thực hiện, trong trường hợp lỗi này được chấp nhận trong cácphần đầu tiên của giải pháp. Do đó, phong cách thiết kế #1 (phần 8.2) có thể được sử dụng.Enumerated typestate(line 12) chứa một danh sách tất cả tiểu bang Hiển thị trong FSMSơ đồ của con số 9,11. Có mười Kỳ, do đó, bốn bit là cần thiết để mã hóa chúng(vì vậy bốn flip-flops sẽ được suy ra). Nhớ lại rằng trình biên dịch mã hóa các tiểu bang trong cácThứ tự chúng được liệt kê, do đó st0¼'' 0000'' (0 thập phân), st5 ¼'' 0001'' (1 thập phân),...,ST45¼'' 1001'' (thập phân 9). Do đó, trong các mô phỏng, con số đó được hiển thịthay vì tên tiểu bang.

Kết quả (Việt) 2:

bộ điều khiển phản ứng với ba đầu ra: candy_out, có thể pha chế một thanh kẹo, cộng với
nickel_out và dime_out, khẳng định khi thay đổi là do.
Hình 9.11 cũng cho thấy các trạng thái của FSM tương ứng. Những con số bên trong
các vòng tròn đại diện cho tổng số tiền gửi của khách hàng (chỉ nickels, mưu sinh,
andquarters được chấp nhận). Nhà nước 0 là trạng thái nhàn rỗi. Từ đó, nếu một nickel được lắng đọng,
máy chuyển sang trạng thái 5; nếu một đồng xu, để nhà nước 10; hoặc nếu quý, để tiểu bang 25. Tình huống tương tự được lặp đi lặp lại cho tất cả các quốc gia, đến nhà nước 20. Nếu nhà nước 25 được đạt tới, sau đó một
thanh kẹo được phân phối, không có thay đổi. Tuy nhiên, nếu nhà nước 40 đạt được, ví dụ,
sau đó một nickel được giao, do đó đi qua hệ thống với nhà nước 35 tuổi, từ đó một đồng xu
được giao và một thanh kẹo phân phát. Ba quốc gia đánh dấu bằng vòng tròn đôi
arethose từ đó một thanh kẹo được phân phối và lợi nhuận máy về trạng thái 0.
Vấn đề này sẽ được chia thành hai phần: trong, các khía cạnh thefundamental đầu tiên
liên quan đến việc thiết kế các bộ điều khiển máy bán hàng tự động (hình 9.11 ) đang được điều trị; trong
lần thứ hai, bổ sung (andindispensable) tính năng được thêm vào. Phần đầu tiên được nghiên cứu
trong phần này, trong khi thứ hai được đề xuất như là một vấn đề (vấn đề 9.3). Việc giới thiệu các tính năng bổ sung như thế là cần thiết vì lý do an toàn; vì chúng ta đang đối phó với tiền bạc, chúng ta phải đảm bảo rằng không ai trong số các bộ phận (máy hoặc khách hàng) sẽ được
làm tổn thương trong các giao dịch.
AVHDLcode, điều trị chỉ có các tính năng cơ bản của vấn đề mô tả trong hình
9.11, được trình bày dưới đây. Chúng tôi đã giả định rằng các tính năng bổ sung đề xuất trong
vấn đề 9.3 sẽ thực sự được thực hiện, trong đó có trường hợp trục trặc là chấp nhận được trong
phần đầu tiên của giải pháp. Vì vậy, phong cách thiết kế # 1 (phần 8.2) có thể được sử dụng.
Các typestate liệt kê (dòng 12) có chứa một danh sách của tất cả các quốc gia thể hiện trong các FSM
sơ đồ hình 9.11. Có mười tiểu bang, vì vậy bốn bit cần thiết để mã hóa chúng
(vì vậy bốn flip-flops sẽ được suy ra). Nhớ lại rằng các trình biên dịch mã hóa trạng thái đó trong
thứ tự mà chúng được liệt kê, vì vậy st0¼''0000 '' (số thập phân 0), ST5 ¼''0001 '' (thập phân 1), ...,
st45¼''1001 '' ( số thập phân 9). Vì vậy, trong các mô phỏng, con số như vậy được hiển thị
thay vì các tên nhà nước.