• Tìm ra tất cả các trạng thái trong đó Qj =1. • Đối với mỗi trạng thái này, tìm ra tất cả các • Đối với mỗi trạng thái này, tìm ra tất cả các đường dẫn liên kết mà dẫn đến trạng thái đó.
• Với mỗi đường dẫn liên kết này, tìm ra một số hạng là 1 khi đi theo đường dẫn liên kết này. Nghĩa là, hạng là 1 khi đi theo đường dẫn liên kết này. Nghĩa là, với đường dẫn liên kết từ Sa đến Sb, số hạng sẽ là 1 tích số của các biến trạng thái ở trạng thái Sa và các biến điều kiện để có thể dẫn đến Sb.
• Biểu thức Q+j được tạo thành bằng cách lấy tổng (OR) các tích số được tìm thấy ở bước trên lại với nhau (OR) các tích số được tìm thấy ở bước trên lại với nhau
Ví dụ: Thực hiện lưu đồ SM sau bằng cổng logic và kích cạnh lên D-FF
+ Gán trạng thái: AB = 00 cho S0, AB = 01 cho S1, và AB = 11 cho S2.
+ Phương trình của các biến ra:
Biến ra Moore: Za = A’B’ (chỉ có trong trạng thái S0) Zb = A’B (chỉ có trong trạng thái S1)
Zc = A B (chỉ có trong trạng thái S2)
Biến ra Mealy: Z1 = A B X’ (tại trạng thái S2 và điều kiện X = 0)
Z2 = A B X (tại trạng thái S2 và điều kiện X = 1)
+ Phương trình các biến trạng thái kế:
Có 3 đường dẫn liên kết (link1, link2 và link3) trạng thái có B =1:
B+ = A’B’X (link 1) + A’BX (link 2) + ABX (link 3) = (A’ + B) X
Có 2 đường dẫn liên kết dẫn tới trạng thái có A=1:
Các phương trình biến ra và trạng thái kế có thể được đơn giản hóa hơn bằng bảng Karnaugh với trạng thái không sử giản hóa hơn bằng bảng Karnaugh với trạng thái không sử dụng (AB=10) làm điều kiện “don’t care”, khi đó:
Za = A’B’ + (AB’) = B’ Zb = A’B Zb = A’B
Zc = AB + (AB’) = A
Z1 = ABX’ + (AB’X’) = AX’
Z2 = ABX + (AB’X) = AX
A+ = BX
DA QA CK QA CK QA X Z1 Clock DB QB CK QB Zb Z2 Zc Za