Thiết kế số
Các khối mạch tổ hợp:
Mạch tuần tư đồng bộ:
Vấn đề gán trạng thái, các máy trạng thái Mealy
Người trình bày:
TS. Hoàng Mạnh Thắng
TexPoint fonts used in EMF: AAAAAA
Vấn đề gán trạng thái
Các ví dụ đã xét rất đơn giản và gán thẳng
Vậy có phép gán nào khác có thể làm lời giải đơn giản hơn ?
Thay đổi phép gán
Thay đổi phép gán như sau: A=00, B=01, C=11, 10 ko được dùng. Kết quả
Mạch được đơn giản hóa
Vấn đề gán trạng thái
Nhìn chung, chọn phép gán thích hợp sẽ có mạch đơn giản  low cost
Mạch lớn sẽ rất khó tìn được phép gán tối ưu vì có quá nhiều biến
CAD tools thường thực hiện gán dùng các kỹ thuật heuristic (thử từng phép)
Gợi ý cho việc gán trạng thái
Các phép gán cho trạng thái là lân cận nếu chúng khác nhau duy nhất một biến
Các trạng thái có cùng trạng thái tiếp theo đối với một đầu vào nên được gán lân cận nhau
Các trạng thái là trạng thái tiếp theo của cùng một trạng thái nên được gán lân cận
Các trạng thái có cùng đầu ra ứng với đầu vào nào đó nên được gán là lân cận nhau
Gợi ý cho việc gán trạng thái, cont.
Các trạng thái là trạng thái tiếp theo của cùng một trạng thái nên được gán lân cận
Các trạng thái có cùng trạng thái tiếp theo đối với một đầu vào nên gán lân cận nhau
Ví dụ bảng trạng thái Moore
Nhớ một số điều sau:
Gán trạng thái ban đầu bằng 0..0 (đầu ra flip-flop)
Xem xét theo 1 và 2 trước
Nếu thấy có 3 hoặc 4 trạng thái lân cận nhau, đặt các trạng thái này vào nhóm 4 ô vuông trên Map
1 và 2 quan trọng hơn 3
Bảng dịch chuyển trạng thái
Mã hóa trạng thái theo hướng dẫn
Mealy model
Đầu ra phụ thuọc vào trạng thái hiện tại và đầu vào
Sơ đồ trạng thái Mealy
Đầu ra không còn được kết hợp với trạng thái cụ thể nữa mà kết hợp với dịch chyển giữa các trạng thái
Ví dụ cho trường hợp detect w=11
Bảng trạng thái mô hình Mealy
Bảng trạng thái của Mealy model khác với Moore model chỉ ở chỗ đầu ra được view thế nào
Bảng trạng thái được gán
Bài tập
Xây dựng sơ đồ trạng thái Mealy để nhận biết chuối w=101