PowerPoint Präsentation 1 Mạch tổ hợp nhiều mức Trần Anh Điền 10070475 Hoàng Văn Long 10070485 Võ Bảo Hùng 09070441 2 Outline • Giới thiệu BDD • Tính chất BDD, toán tử bù, cofactor, cạnh đảo trên BDD[.]
Mạch tổ hợp nhiều mức Trần Anh Điền Hoàng Văn Long Võ Bảo Hùng 10070475 10070485 09070441 Outline • Giới thiệu BDD • Tính chất BDD, tốn tử bù, cofactor, cạnh đảo BDD • Tốn tử APPLY, Multiplexor-based network Cây định nhị phân thứ tự • OBDD (Order Binary Decision Diagram) – – – – – Là đồ thị khơng có chu trình Đỉnh terminal biểu diễn hình vng Đỉnh nonterminal biểu diễn hình trịn Đỉnh low trỏ đến cạnh Đỉnh high trỏ đến cạnh • OBDD biểu diễn OFF-set ON-set hàm dạng cover tách biệt – Mỗi cube cover: đường từ đỉnh gốc đến đỉnh terminal Cây định nhị phân thứ tự • Thứ tự a=1, b=2 Cây định nhị phân thứ tự • Thứ tự a = 1, b = 2, c = Thứ tự c = 1, a = 2, b =3 Khai triển Shannon • Khai triển Shannon hàm F F(x, y, z) = x’.F0 + x.F1 • Khai triển Shannon chuẩn tắc – Cho hàm F biến x hàm F, phần phụ đại số F0 F1 đơn định • Định nghĩa khơng hình thức cho BDD – Khai triển Shannon áp dụng đệ quy hàm phần phụ đại số – Một node thêm vào khai triển Shannon – Thứ tự biến cố định tất nhánh – Rút gọn đồ thị Xây dựng BDD dùng khai triển Shannon Xây dựng BDD từ bảng thực trị Rút gọn OBDD Các định nghĩa • Đẳng cấu (isomorphism): OBDD G1 G2 gọi đẳng cấu tồn hàm ánh xạ 1-1 σ từ tập đỉnh G1 sang tập đỉnh G2 cho với đỉnh v, σ (v) = w – v w đỉnh terminal với value(v) = value(w) – v w đỉnh nonterminal với index(v) = index(w) • σ (low(v)) = low(w) • σ (high(v)) = high(w) 10