|
Dòng
|
Nội dung
|
|
1
|
Exact Design of Digital Microfluidic Biochips / Oliver Keszocze, Robert Wille, Rolf Drechsler.
Cham : Springer International Publishing, 2019
138 pages
Trình bày các giải pháp chính xác, tức là tối thiểu, cho từng bước trong quy trình thiết kế cho Vi mạch sinh học vi lưu kỹ thuật số (DMFB), cũng như phương pháp tiếp cận một lần kết hợp tất cả các bước này trong một quy trình duy nhất. Tất cả các phương pháp được thảo luận đều dựa trên một mô hình chính thức có thể dễ dàng mở rộng để giải quyết các vấn đề thiết kế tiếp theo. Ngoài các phương pháp chính xác, các phương pháp tiếp cận theo kinh nghiệm được cung cấp và các lớp phức tạp của các vấn đề thiết kế khác nhau được xác định. Trình bày các phương pháp chính xác để giải quyết nhiều vấn đề thiết kế cho Vi mạch sinh học vi lưu kỹ thuật số (DMFB); Mô tả một phương pháp tiếp cận toàn diện, một lần giải quyết các bước thiết kế khác nhau cùng một lúc; Dựa trên một mô hình chính thức của DMFB có thể dễ dàng thích ứng để xử lý các nhiệm vụ thiết kế tiếp theo.
Đầu mục:0
(Lượt lưu thông:0)
Tài liệu số:1
(Lượt truy cập:0)
|
|
2
|
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)
|
|
|
|
|