đồng bộ hóa. Tác phẩm gần đây đã cho thấy khả năng giới hạn phân phối đồng hồ eventdrivenMô phỏng cho các hệ thống phần cứng phần mềm [tHM93]. Để làm như vậy mộtMô phỏng có thể, nó sẽ được cần thiết để riêng biệt và ẩn các sự kiện cấp bộ xử lýtừ sự kiện liên quan đến phần cứng phần mềm tương tác. Điều này là quan trọng kể từ khi có thểcó rất nhiều sự kiện cấp bộ xử lý có rất ít hoặc không có tác động đến sự tương táccủa bộ xử lý với các phần cứng chuyên dụng.Chúng tôi kết luận bằng cách ghi nhận rằng sự lựa chọn của kiến trúc mục tiêu cũng sẽ xác định cácloại mô phỏng cần thiết cho đồng mô phỏng một kiến trúc mục tiêu, chẳng hạn như sử dụng trong việc này,đưa ra các thành phần phần cứng để sự kiện trên xe buýt phổ biến của hệ thống.7.4 tóm tắtTrong chương này, chúng tôi đã trình bày khuôn khổ Vulcan cho phép khám phá vào cácHệ thống đồng tổng hợp bằng cách đánh giá các lựa chọn thay thế phần cứng và phần mềm và tương ứng của họhạn chế satisfiability như phát triển ở trước chương. Do sự lựa chọn của một đơn giảnkiến trúc mục tiêu, nhiều hệ thống có thể realizations là có thể. Chúng tôi đã trình bàychúng tôi lựa chọn thực hiện hệ thống và các tổ chức của giao diện và hardwaresoftwarecơ chế đồng bộ hóa. Các mô phỏng đồng của hỗn hợp hệ thống vẫn là mộtCác vấn đề khó khăn do chênh lệch về quy mô thời gian qua những sự kiện có liên quan cho phần cứngvà phần mềm được xác định. Các phương tiện khác của việc đạt được đồng mô phỏng được thảo luận.
đang được dịch, vui lòng đợi..
