Click nút 2 để chắc chắn rằng trục X được chọn. Click nút 3 để chọn điều khiển đường đánh dấu thứ nhất, xoay núm xoay đánh dấu theo chiều kim đồng hồ để điều khiển đường đánh dấu thứ nhất di chuyển dọc theo màn hình, | logic và mô phóng. Trên ihực í ố hệ mõ phỏng định kỳ đục các tệp chứa tác động kích hoạt mạch và kết hợp các sự kiện tại drill vào vói các sự kiện được sinh ra trong quá trình hoạt động của mạch. Thêm vào dó. ngoài các sự kiện sinh ra sụ tính toán các giá trị tín hiện trong mạch trong kỹ thuật mõ hình hoá lõgic hệ thông mỏ phông còn có thổ thèm các sự kiện điểu khiên quá trình- Các sự kiện loại này khởi tạo CILC hoại lộng khác nhau của mạch tại các thời điểm thời gian xác định. Dưới dày là một só lác động cùa các sự kiện điều khiêm - Hiển thị giá trị ciia những tín hiệu xác định - Kicm tra giá liị cìia các tín hiệu cụ the và có the dừng quá trình mô phóng nêu có sai sót trong quá trình tính toán. Đe mó tã rõ quit trình mô hình hoá lógic và mò phỏng hướng sụ kiẹm chứng ta cụ the hoá thuật toiín mô phóng huóng sự kiện như sau. Néu ký hiện tập hợp các cặp giá rị tín hiệu - dường tru yen tín hiệu thay đói ờ thòi diem thìứ gian hiện trú hằng V và trip hợp CIÍC cặp giá trị tín hiệư - duờng truyền tín hiệu thay đổi dtrói tác dựng của V l bang V . Khi dó thiậit toán mõ hình hóa logic hướng sự kiện thực hiện theo trình lự như saư 1. Thiêt lập hai tập hợp V. và V và gán a 0 b - 1 2. Thiết lập giá trị của trạng thái han dầu cúa mạch. 3. Đọc các giá trị đẩu vào. Xét các đường tín hiệu mà trên đó xuất hiện các sự kiện sự thay dói giá rị tín hiệu . Các giá trị cùa sự kiện xáy ra này được ghi vào tập hợp Va. 4. Kiêm tra tập hợp VL1 nêu V. rỗng ta quay về bước 3 nốu V không rỗng thực hiện bước 5. 5. Thực hiện mô hình hóa lògic doi vói các giá trị trong lập hợp Va các dường dữ liệu trẽn đó xưâl hiện sự kiện và giá tri cùa chúng dược ghi vào Vb. 6. Gán a 1 . b 0 Hiiih Hoạt dộnji cùa Irigơ 1ÌS. vai irò cũa V X à Vh thay đổi. Kiếm tra sự xuất hiện dao động trong mạch. Nếu không có dao động quay về bước 4. Như vậy. chúng ta thấy phương pháp mò hình hoá lôgic hướng sự kiện khác với phương pháp mỏ hình hoá bàng hiên dịch ớ chỗ la không cần thực hiện việc phân hạng các phần lừ. Thêm
