|
Dòng
|
Nội dung
|
|
1
|
Towards a design flow for reversible logic / Robert Wille, Rolf Drechsler.
Dordrecht ; Springer Verlag, 2010.
xiii, 184 p. : ; cm.
Trình bày quy trình thiết kế logic thuận nghịch, bao gồm các phương pháp tiên tiến để tổng hợp, tối ưu hóa, xác minh và gỡ lỗi. Các phương pháp hình thức như tính thỏa mãn Boolean và sơ đồ quyết định được khai thác. Bằng cách kết hợp các kỹ thuật được đề xuất trong sách, có thể tổng hợp các mạch thuận nghịch biểu diễn các hàm lớn. Các phương pháp tối ưu hóa đảm bảo rằng các mạch thu được có chi phí thấp. Cuối cùng, một phương pháp kiểm tra tương đương và gỡ lỗi tự động cho phép xác minh các kết quả thu được và giúp tăng tốc độ tìm kiếm lỗi trong trường hợp có sai sót trong thiết kế. Bằng cách kết hợp các phương pháp tương ứng, một quy trình thiết kế đầu tiên cho các mạch thuận nghịch có kích thước đáng kể được hình thành. Tài liệu dành cho các nhà khoa học máy tính và kiến trúc sư máy tính và không yêu cầu kiến thức trước đó về vật lý của logic thuận nghịch hoặc tính toán lượng tử.
Đầu mục:0
(Lượt lưu thông:0)
Tài liệu số:1
(Lượt truy cập:0)
|
|
|
|
|