This input is first compiled into a

This input is first compiled into a sequencing graph model (SIF) using the program
Hercules [KM90b] by applying a series of compiler-like transformations. The sequencing
graph model is then translated into the bilogic flow graph model by performing
the following operations:
1. Identify signal wait operations: these operations are specified as loop operations
with an empty loop body, e.g., “while(reset);” which defines just a (busywait)
implementation of the corresponding wait operation. The signal wait operations
are unimplemented by defined as an atomic wait operations.
2. Merge SIF graphs on conditional hierarchies.
3. Identify storage variables for each graph body.
4. Classify loop operations as pre- or post-indexed.
Some guidelines must be observed when specifying HardwareC inputs for cosynthesis
purposes. The arithmetic operations must be bound to resources in order to prevent
Hercules from generating combinational logic operations to implement the respective
operations. This can be done by mapping and binding arithmetic operations to specific
library functions or to ‘dummy’ operators which are translated into respective operators
without associated function calls. This limitation has to do with the fact that even though
the semantics of SIF is general enough to support arithmetic operations on multi-bit
variables, the hardware synthesis of these operations must be carried out by explicit
function/procedure calls to specific library modules.

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

Đầu vào này lần đầu tiên được đưa vào trong một trình tự đồ thị mẫu (SIF) bằng cách sử dụng chương trìnhHercules [KM90b] bằng cách áp dụng một loạt các biến đổi giống như trình biên dịch. Trình tựbiểu đồ mô hình sau đó được dịch sang mô hình biểu đồ dòng chảy của bilogic bằng cách thực hiệncaùc thao taùc sau:1. xác định tín hiệu chờ hoạt động: các hoạt động này được quy định như vòng lặp hoạt độngvới một cơ thể sản phẩm nào vòng lặp, ví dụ như, "while(reset);" đó xác định chỉ là một (busywait)thực hiện các hoạt động tương ứng của chờ đợi. Chờ đợi tín hiệu hoạt độngđược unimplemented bởi định nghĩa là một hoạt động nguyên tử chờ đợi.2. nhập SIF đồ thị trên có điều kiện phân cấp.3. xác định lí biến cho mỗi cơ thể đồ thị.4. phân loại vòng lặp hoạt động như trước hoặc sau khi được lập chỉ mục.Một số nguyên tắc phải được quan sát thấy khi xác định HardwareC đầu vào cho cosynthesismục đích. Số học hoạt động phải bị ràng buộc tài nguyên để ngăn chặnHercules từ tạo ra các hoạt động luận logic để thực hiện các tương ứnghoạt động. Điều này có thể được thực hiện bằng cách lập bản đồ và ràng buộc số học hoạt động để cụ thểchức năng thư viện hoặc để vận hành 'giả' được dịch sang quốc gia sử dụng tương ứngmà không có liên quan đến chức năng cuộc gọi. Giới hạn này đã làm với thực tế là ngay cả mặc dùngữ nghĩa của SIF là chung chung, đủ để hỗ trợ các hoạt động số học trên đa bitbiến, phần cứng tổng hợp của các hoạt động này phải được thực hiện bởi rõ ràngchức năng/thủ tục các cuộc gọi cho mô-đun thư viện cụ thể.

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

Đầu vào này là lần đầu tiên được biên dịch thành một mô hình đồ thị trình tự (SIF) sử dụng chương trình
Hercules [KM90b] bằng cách áp dụng một loạt các biến đổi trình biên dịch như thế nào. Các trình tự
mô hình đồ thị sau đó được dịch sang các dòng bilogic đồ thị mô hình bằng cách thực hiện
các hoạt động sau đây:
1. Xác định các hoạt động tín hiệu chờ đợi: các hoạt động được quy định như các hoạt động lặp
với một cơ thể lặp trống, ví dụ, "trong khi (làm mới);" trong đó xác định chỉ là một (busywait)
thực hiện các hoạt động chờ đợi tương ứng. Các hoạt động tín hiệu chờ đợi
được chưa thực hiện bằng cách định nghĩa như là một hoạt động chờ đợi nguyên tử.
2. Kết hợp các đồ thị SIF về phân cấp điều kiện.
3. Xác định các biến lưu trữ cho mỗi cơ thể đồ thị.
4. Phân loại các hoạt động lặp như trước hoặc sau lập chỉ mục.
Một số hướng dẫn phải được quan sát thấy khi xác định HardwareC đầu vào cho cosynthesis
mục đích. Các phép tính số học phải được ràng buộc với các nguồn lực để ngăn chặn
Hercules từ tạo hoạt động logic tổ hợp để thực hiện tương ứng
hoạt động. Điều này có thể được thực hiện bằng cách lập bản đồ và ràng buộc các phép tính để cụ thể
chức năng thư viện hoặc để 'giả' khai thác được dịch sang khai thác tương ứng
mà không có cuộc gọi chức năng liên quan. Hạn chế này đã làm với thực tế là mặc dù
ngữ nghĩa của SIF là chung đủ để hỗ trợ các phép tính trên đa-bit
biến, tổng hợp phần cứng của các hoạt động này phải được thực hiện bởi rõ ràng
chức năng thủ tục / các cuộc gọi đến các module thư viện cụ thể.