assumed that the clock cycle-times

assumed that the clock cycle-times are a rational multiple of a basic system clock.
Further it is assumed that different models supply (latch) data at the interface using
flip-flops at the interface edge-triggered by their respective clock signals.
2. Model interconnections: The interface between different system components is
specified by connections among models. A connection between two models may be
either a direct connection through a wire, or a port connection through a register or
a queue. Queues can have multiple fanins and fanouts. Signal assignments indicate
direct connections between respective models. For connections such as queues that
require existence of additional control signals for synchronization, it is possible to
group signals having identical synchronization requirements together for a given
set of synchronization signals.
3. Communication protocols: Interface protocol for data-transfer is specified via
guarded commands [Dij75]. A guarded command is a command which is executed
only when some precondition is true. Each precondition is specified as a logic

Kết quả (Việt) 1:

giả định rằng các đồng hồ thời gian chu kỳ là một nhiều hợp lý của một chiếc đồng hồ hệ thống cơ bản.Hơn nữa nó giả định rằng mô hình khác nhau cung cấp dữ liệu (chốt) sử dụng giao diệnflip-flops tại giao diện cạnh kích hoạt bởi tín hiệu đồng hồ tương ứng của họ.2. mô hình interconnections: giao diện giữa các thành phần hệ thống khác nhauđược chỉ định bởi các kết nối giữa các mô hình. Một kết nối giữa hai mô hình có thểkết nối trực tiếp thông qua một dây hoặc kết nối cổng thông qua một đăng ký hoặcmột hàng đợi. Hàng đợi có thể có nhiều fanins và fanouts. Tín hiệu tập chỉ rakết nối trực tiếp giữa các mô hình tương ứng. Kết nối chẳng hạn như hàng đợi đóđòi hỏi sự tồn tại của các điều khiển tín hiệu để đồng bộ hóa, ta có thểNhóm tín hiệu có yêu cầu đồng bộ hóa giống hệt nhau với nhau cho một nhất địnhtập hợp các tín hiệu đồng bộ hóa.3. truyền thông giao thức: giao thức giao diện để truyền dữ liệu được chỉ định thông quabảo vệ lệnh [Dij75]. Một lệnh bảo vệ là một lệnh được thực thichỉ khi một số điều kiện tiên quyết là đúng sự thật. Mỗi điều kiện tiên quyết được quy định như một logic

Kết quả (Việt) 2:

giả định rằng đồng hồ chu kỳ thời gian là bội lý trí của một đồng hồ hệ thống cơ bản.
Hơn nữa nó được giả định rằng mô hình cung cấp khác nhau (chốt) dữ liệu vào giao diện sử dụng
flip-flops tại giao diện cạnh kích hoạt bởi các tín hiệu đồng hồ của mình.
2. Mối liên kết mô hình: Các giao diện giữa các thành phần hệ thống khác nhau được
quy định bởi các kết nối giữa các mô hình. Một kết nối giữa hai mô hình này có thể là
một kết nối trực tiếp thông qua một dây, hoặc một cổng kết nối thông qua một thanh ghi hoặc
một hàng đợi. Hàng đợi có thể có nhiều fanins và fanouts. Bài tập tín hiệu cho thấy
các kết nối trực tiếp giữa các mô hình tương ứng. Đối với các kết nối như hàng đợi mà
đòi hỏi sự tồn tại của các tín hiệu điều khiển bổ sung cho đồng bộ, có thể
tín hiệu nhóm có yêu cầu đồng bộ hóa giống hệt nhau cho một định
tập hợp các tín hiệu đồng bộ.
3. Giao thức truyền thông: giao thức giao diện cho dữ liệu chuyển nhượng được xác định thông qua
các lệnh bảo vệ [Dij75]. Một lệnh bảo vệ là một lệnh được thực hiện
chỉ khi một số điều kiện tiên quyết là đúng. Mỗi điều kiện tiên quyết được quy định như một logic