Thiết kế các hệ thống phần cứng phân tán đồng thời là một thách thức lớn đối với các kỹ sư hiện nay và chắc chắn sẽ còn gia tăng trong tương lai, nhưng giáo dục kỹ thuật vẫn tiếp tục nhấn mạnh vào các công cụ thiết kế logic truyền thống vốn không đáp ứng được yêu cầu công việc. Đối với các kỹ sư giải quyết các dự án thực tế, việc đồng bộ hóa ngẫu hứng trên nhiều miền xung nhịp từ lâu đã là một thực tế hiển nhiên. Dễ gặp rủi ro và tính siêu ổn định, những giao diện tùy biến này có thể là những khía cạnh kém tin cậy nhất của một hệ thống, và thường cũng là những giao diện ít được hưởng lợi từ bất kỳ kỹ thuật phân tích hoặc xác minh nào vốn đã quen thuộc trong sách giáo khoa. Nếu bạn đã từng dành hàng giờ để đổi tên tệp hoặc cập nhật hàng trăm ô bảng tính, bạn sẽ biết những công việc như thế này tẻ nhạt đến mức nào. Nhưng nếu bạn có thể để máy tính làm thay bạn thì sao?

Abstract:

The design of concurrent distributed hardware systems is a major challenge for engineers today and is bound to escalate in the future, but engineering education continues to emphasize traditional tools of logic design that are just not up to the job. For engineers tackling realistic projects, improvised attempts at synchronization across multiple clock domains have long been a fact of life. Prone to hazards and metastability, these ad hoc interfaces could well be the least trustworthy aspects of a system, and typically also the least able to benefit from any readily familiar textbook techniques of analysis or verification.If you've ever spent hours renaming files or updating hundreds of spreadsheet cells, you know how tedious tasks like these can be. But what if you could have your computer do them for you?

Ngôn ngữ:	eng
Tác giả:	Furey, Dennis
Thông tin nhan đề:	Delay Insentitive Circuits -- Structures, Semantics, and Strategies
Nhà xuất bản:	OpenTextbook
Loại hình:	Tài nguyên giáo dục mở / Bộ sưu tập: Công nghệ thông tin
Bản quyền:	https://creativecommons.org/licenses/by-nc-sa/4.0/
Nguồn gốc:	https://oercommons.org/courses/delay-insentitive-circuits-structures-semantics-and-strategies
Mô tả vật lý:	652p.
Năm xuất bản:	2019