Bài giảng Thiết kế số - Các khối mạch tuần tự: 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 tuần tự Mạch tuần tư đồng bộ: Vấn đề gán trạng thái, các máy trạng thái MealyNgười trình bày: TS. Hoàng Mạnh ThắngTexPoint fonts used in EMF: AAAAAAVấn đề gán trạng tháiCác ví dụ đã xét rất đơn giản và gán thẳngVậ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ánThay đổ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óaVấn đề gán trạng tháiNhìn chung, chọn phép gán thích hợp sẽ có mạch đơn giản  low costMạch lớn sẽ rất khó tìn được phép gán tối ưu vì có quá nhiều biếnCAD 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áiCá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ếnCá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 nhauCá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ậnCá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 nhauGợ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ậnCá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 nhauVí dụ bảng trạng thái MooreNhớ 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ướcNế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 Map1 và 2 quan trọng hơn 3Bảng dịch chuyển trạng tháiMã hóa trạng thái theo hướng dẫnMealy modelĐầu ra phụ thuọc vào trạng thái hiện tại và đầu vàoSơ đồ 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áiVí dụ cho trường hợp detect w=11Bảng trạng thái mô hình MealyBảng trạng thái của Mealy model khác với Moore model chỉ ở chỗ đầu ra được view thế nàoBảng trạng thái được gánBài tậpXây dựng sơ đồ trạng thái Mealy để nhận biết chuỗi w=101