Bài giảng 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 - Hoàng Mạnh Thắng

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: A A A A A A 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