2008
dce
Thiết kế mạch số dùng HDL
Chương 6 Tổng hợp mạch luận lý
tổ hợp và tuần tự
Computer Engineering 2009
©2009, Pham Quoc Cuong
2
Tóm tắt các chương trước
• Các bước thiết kế ASIC
• Các khái niệm cơ bản, sử dụng bìa
Karnaugh để thiết kế bằng tay
• Dùng Verilog-HDL để thiết kế mạch số
bằng mô hình cấu trúc và mô hình hành vi
Dùng những mô hình Verilog khả tổng
hợp là cốt lỗi của phương pháp thiết kế tự
động
Thiết kế Vi mạch số dùng HDL
Computer Engineering 2009
©2009, Pham Quoc Cuong
3
Nội dung chính
1. Giới thiệu về quá trình tổng hợp (synthesis)
2. Tổng hợp mạch luận lý tổ hợp
3. Tổng hợp mạch luận lý tuần tự
4. Tổng hợp máy trạng thái tường minh (Explicit State
Machine)
5. Mạch luận lý đồng bộ
6. Mã hóa trạng thái (State Encoding)
7. Tổng hợp máy trạng thái ẩn (Implicit State Machine),
thanh ghi và bộ đếm

©2009, Pham Quoc Cuong
5
Thiết kế Vi mạch số dùng HDL
Computer Engineering 2009
Góc nhìn
• Behavioral Description
 Architectural: Algorithm
 Logical: ASM
• Structural Description
 Architectural: datapath elements (register,
memory, adders,…), STG, ASM
 Logical: Schematic of gates
• Physical Description
©2009, Pham Quoc Cuong
6
Thiết kế Vi mạch số dùng HDL
Computer Engineering 2009
©2009, Pham Quoc Cuong
7
Giới thiệu về tổng hợp
Mô tả cấu trúc
Mô tả hành vi
Mô tả vật lý

1
2
3
Giải thuật
Dòng dữ liệu/RTL
Đại số boole

• Đọc và chuyển dạng biểu diễn Verilog
 Biểu thức Boolean cho các mạch kết hợp
 Các dạng biểu diễn khác cho bộ nhớ và tín
hiệu đồng bộ
• Tạo ra các biểu thức POS
Thiết kế Vi mạch số dùng HDL
Computer Engineering 2009
©2009, Pham Quoc Cuong
10
Bộ tối ưu (optimization engine)
• Quá trình tối ưu dựa trên quá trình tìm
kiếm lặp lại
• Theo sau tối ưu ogi là quá trình tối ưu hiệu
suất (performance optimization)
• Tối ưu đồng thời một tập hợp biểu thức
boolean
 Loại bỏ dư thừa
 Xem xét các giá trị don’t care
 Dùng chung các mạch nhỏ hơn
• Expresso, misll…
Thiết kế Vi mạch số dùng HDL
Computer Engineering 2009
©2009, Pham Quoc Cuong
11
Những sự biến đổi trong tổng hợp logic
• Phân rã (decomposition)
• Gom nhóm (factoring)
• Thay thế (substitution)
• Loại bỏ (elimination)
Có thể có nhiều biểu thức Boolean tương

+


+



+
 +


F = (a + b)cd + e
G = (a + b)e’
H = cde
X = a + b
Y = cd
Thiết kế Vi mạch số dùng HDL
Computer Engineering 2009
©2009, Pham Quoc Cuong
14
Factoring
• Tìm những biểu thức dùng chung trong các hàm
boolean
F = ac + ad + bc +bd +e F = (a + b)(c + d) + e




+
+




+
F = ac + ad + ac’d
Thiết kế Vi mạch số dùng HDL
Computer Engineering 2009
©2009, Pham Quoc Cuong
17
Tổng hợp RTL
• Giả sử có sẵn một tập hợp tài nguyên phần
cứng đã được định thời và cấp phát
• Đặc tả RTL
 Máy trạng thái hữu hạn
 Toán tử Verilog và phép gán đồng thời (nonblocking)
• Tối ưu mã hóa trạng thái của máy trạng thái
• Tối ưu các biểu thức luận lý tổ hợp
• Ánh xạ kết quả vào công nghệ đích
Phát biểu mức RTL
Biểu thức boolean
tổng hợp được
Thiết kế Vi mạch số dùng HDL
Computer Engineering 2009
©2009, Pham Quoc Cuong
18
Tổng hợp mức cao
• Tổng hợp hành vi, tổng hợp cấu trúc
• Tìm ra kiến trúc để hiện thực một giải
thuật
Thiết kế Vi mạch số dùng HDL

Computer Engineering 2009
©2009, Pham Quoc Cuong
21
Tổng hợp Netlist các cấu trúc cơ bản
• Loại bỏ những dư thừa
• Bảo đảm mạch nhỏ nhất
Thiết kế Vi mạch số dùng HDL
Computer Engineering 2009
©2009, Pham Quoc Cuong
22
Tổng hợp phát biểu gán liên tục
Thiết kế Vi mạch số dùng HDL
Computer Engineering 2009
©2009, Pham Quoc Cuong
23
Tổng hợp hành vi vòng nhạy mức
• Hành vi vòng được tổng hợp thành mạch tổ hợp nếu với một giá trị
ngõ vào có thể thì mạch sẽ gán giá trị cho tất cả ngõ xuất
Thiết kế Vi mạch số dùng HDL
Computer Engineering 2009
©2009, Pham Quoc Cuong
24
Tổng hợp mạch luận lý tổ hợp
• Mô hình Verilog khả tổng hợp của mạch tổ
hợp
 Mô tả chức năng của mạch
 Độc lập kỹ thuật
 Không có vòng hồi tiếp
 Không chứa những phát biểu
• Case không hoàn chỉnh