Phân tích thời gian tĩnh toàn diện bao gồm phân tích các đường dẫn đăng ký,I/O và thiết lập lại không đồng bộ. Bộ phân tích Thời gian sử dụng thời gian cần thiết cho dữ liệu, thời gian đến dữ liệu và thời gian đến theo đồng hồ để xác minh hiệu suất mạch và phát hiện các hành vi vi phạm thời gian có thể. Bộ phân tích Thời gian xác định các mối quan hệ thời gian phải được đáp ứng để thiết kế hoạt động chính xác và kiểm tra thời gian đến với thời gian bắt buộc để xác minh thời gian.
Kiểm tra Thiết lập Đồng hồ
Để thực hiện kiểm tra thiết lập đồng hồ, Bộ phân tích Thời gian xác định mối quan hệ thiết lập bằng cách phân tích từng lần khởi chạy và chốt cạnh cho mỗi đường dẫn đăng ký để đăng ký. Đối với mỗi cạnh chốt tại thanh ghi điểm đến, Bộ phân tích Thời gian sử dụng cạnh đồng hồ trước đó gần nhất tại thanh ghi nguồn làm cạnh mở.
Trong Hình 1, hai mối quan hệ thiết lập được xác định và dán nhãn Thiết lập A và Cài đặt B. Đối với cạnh chốt ở tốc độ 10 ns, đồng hồ gần nhất đóng vai trò là biên khởi chạy là 3 ns và được dán nhãn Thiết lập A. Đối với cạnh chốt ở tốc độ 20 ns, đồng hồ gần nhất đóng vai trò như một cạnh ra mắt là 19 ns và được dán nhãn Cài đặt B.
Bộ phân tích thời gian báo cáo kết quả của việc thiết lập đồng hồ sẽ kiểm tra là các giá trị bị lỗi. Slack là biên mà theo đó một yêu cầu thời gian được đáp ứng hoặc không đáp ứng. Slack dương cho thấy biên mà một yêu cầu được đáp ứng và slack tiêu cực cho biết biên mà yêu cầu không được đáp ứng. Phân tích Thời gian xác định thiết lập đồng hồ bị lỗi như được hiển thị trong Chi tiết 1 cho đường dẫn đăng ký nội bộ.
Thủ thuật 1
Thiết lập đồng hồ slack = Thời gian cần thiết dữ liệu - Thời gian đến dữ liệu
Dữ liệu cần thiết = Thời gian đến bằng đồng hồ – μtSU – Không chắc chắn về thiết lập
Thời gian đến của đồng hồ = Chốt Edge + Độ trễ Mạng Đồng hồ đến Đăng ký Điểm đến
Thời gian đến dữ liệu = Khởi chạy Edge + Thanh ghi nguồn độ trễ mạng đồng hồ + μtCO + Độ trễ đăng ký để đăng ký
Nếu đường dẫn dữ liệu từ cổng đầu vào đến thanh ghi nội bộ, Bộ phân tích Thời gian sẽ sử dụng các chi tiết được hiển thị trong Chi tiết 2 để tính thời gian chờ cài đặt.
Cấu hình 2
Thời gian slack thiết lập đồng hồ = Thời gian cần thiết dữ liệu - Thời gian đến dữ liệu
Thời gian đến dữ liệu = Khởi chạy Edge + Độ trễ mạng đồng hồ đến Thanh ghi nguồn + Độ trễ tối đa đầu vào của chân + chân để trì hoãn đăng ký
Thời gian yêu cầu dữ liệu = Biên chốt + Độ trễ mạng đồng hồ đến Đăng ký đích – μtSU
Nếu đường dẫn dữ liệu là thanh ghi bên trong vào cổng đầu ra, Bộ phân tích Thời gian sẽ sử dụng các tập tin hiển thị trong Chi tiết 3 để tính thời gian chờ cài đặt.
Bảng điểm 3
Thời gian slack thiết lập đồng hồ = Thời gian cần thiết dữ liệu - Thời gian đến dữ liệu
Thời gian đến dữ liệu = Khởi chạy Edge + Độ trễ mạng đồng hồ đến Đăng ký nguồn + μtCO + Đăng ký để trì hoãn chân
Thời gian yêu cầu dữ liệu = Biên chốt + Độ trễ mạng đồng hồ đến Thanh ghim - Độ trễ tối đa đầu ra của chân
Kiểm tra Giữ Đồng hồ
Để thực hiện kiểm tra giữ đồng hồ, bộ phân tích Bộ phân tích Thời gian xác định mối quan hệ giữ lại cho mỗi mối quan hệ thiết lập có thể tồn tại cho tất cả các cặp đăng ký nguồn và điểm đến. Bộ phân tích Thời gian kiểm tra tất cả các cạnh đồng hồ liền kề từ tất cả các mối quan hệ thiết lập để xác định các mối quan hệ giữ. Bộ phân tích Phân tích Thời gian thực hiện hai lần kiểm tra giữ cho mỗi mối quan hệ thiết lập. Kiểm tra giữ đầu tiên xác định rằng dữ liệu được khởi chạy bởi cạnh khởi chạy hiện tại không bị biên chốt trước đó ghi lại. Kiểm tra giữ thứ hai xác định rằng dữ liệu được khởi chạy ở cạnh ra mắt tiếp theo không bị biên chốt hiện tại ghi lại.
Hình 2 cho thấy hai mối quan hệ thiết lập có nhãn Cài đặt A và Cài đặt B. Kiểm tra giữ đầu tiên được dán nhãn Giữ kiểm tra A1 và Giữ Kiểm tra B1 cho Thiết lập A và Cài đặt B tương ứng. Kiểm tra tổ chức thứ hai được dán nhãn Giữ kiểm tra A2 và Giữ kiểm tra B2 cho Thiết lập A và Cài đặt B tương ứng.
Từ các mối quan hệ giữ có thể, Bộ phân tích Thời gian chọn mối quan hệ nắm giữ mang tính hạn chế nhất. Mối quan hệ giữ với sự khác biệt nhỏ nhất giữa chốt và các cạnh khởi chạy (nghĩa là, chốt - khởi chạy và không phải giá trị tuyệt đối của chốt - khởi chạy) được chọn vì điều này xác định độ trễ tối thiểu cho phép cho đường dẫn thanh ghi. Đối với Hình 2, mối quan hệ giữ được chọn là Chọn Kiểm tra A2. Bộ phân tích Thời gian xác định tỷ suất giữ đồng hồ như được hiển thị trong Phần tử 4.
Thủ công 4
Clock Hold Slack = Thời gian đến dữ liệu - Thời gian yêu cầu dữ liệu
Thời gian yêu cầu dữ liệu = Thời gian đến bằng đồng hồ +μtH + Giữ không chắc chắn
Thời gian đến của đồng hồ = Chốt Edge + Độ trễ Mạng Đồng hồ đến Đăng ký Điểm đến
Thời gian đến dữ liệu = Khởi chạy Edge + Độ trễ mạng đồng hồ đến Đăng ký nguồn +μtCO+ Đăng ký để trễ đăng ký
Nếu đường dẫn dữ liệu là từ cổng đầu vào đến thanh ghi nội bộ, Bộ phân tích Thời gian sẽ sử dụng các chi tiết được hiển thị trong Chi tiết 5 để tính thời gian chờ giữ.
Bảng điểm 5
Thời gian slack thiết lập đồng hồ = Thời gian đến dữ liệu - Thời gian cần thiết dữ liệu
Thời gian đến dữ liệu = Khởi chạy Edge + Độ trễ mạng đồng hồ đến Đăng ký nguồn + Độ trễ tối thiểu đầu vào của chân + chân để trì hoãn đăng ký
Thời gian yêu cầu dữ liệu = Cạnh chốt + Độ trễ mạng đồng hồ đến Đăng ký điểm đến + μtH
Nếu đường dẫn dữ liệu là thanh ghi bên trong vào cổng đầu ra, Bộ phân tích Thời gian sẽ sử dụng các chi tiết được hiển thị trong Chi tiết 6 để tính thời gian chờ giữ.
Bảng điểm 6
Thời gian slack thiết lập đồng hồ = Thời gian đến dữ liệu - Thời gian cần thiết dữ liệu
Thời gian đến dữ liệu = Khởi chạy Edge + Độ trễ mạng đồng hồ đến Đăng ký nguồn + μtCO + Đăng ký để trì hoãn chân
Thời gian yêu cầu dữ liệu = Biên chốt + Độ trễ mạng đồng hồ đến Thanh ghim - Độ trễ tối thiểu đầu ra của chân
Phục hồi và loại bỏ
Thời gian phục hồi là thời gian tối thiểu của thời gian tín hiệu điều khiển không đồng bộ, ví dụ, và cài đặt trước, phải ổn định trước khi cạnh đồng hồ hoạt động tiếp theo. Việc tính toán thời gian chờ khôi phục tương tự như tính toán thời gian thiếu thiết lập đồng hồ, nhưng nó áp dụng tín hiệu điều khiển không đồng bộ. Nếu đăng ký kiểm soát không đồng bộ, Bộ phân tích Thời gian sử dụng Chi tiết 7 để tính thời gian chờ khôi phục.
Hệ thống hỗ trợ 7
Thời gian phục hồi slack = Thời gian cần thiết dữ liệu - Thời gian đến dữ liệu
Thời gian đến dữ liệu = Khởi chạy Edge + Độ trễ mạng đồng hồ đến Thanh ghi nguồn + μtCO+ Đăng ký để trễ đăng ký
Thời gian yêu cầu dữ liệu = Biên chốt + Độ trễ mạng đồng hồ đến Đăng ký đích – μtSU
Nếu không đăng ký kiểm soát không đồng bộ, Trình phân tích Thời gian sử dụng các dấu hiển thị trong Chi tiết 8 để tính thời gian chờ khôi phục.
Phương pháp hỗ trợ 8
Thời gian phục hồi slack = Thời gian cần thiết dữ liệu - Thời gian đến dữ liệu
Thời gian đến dữ liệu = Khởi chạy Edge + Độ trễ đầu vào tối đa + Cổng để đăng ký độ trễ
Thời gian yêu cầu dữ liệu = Biên chốt + Độ trễ mạng đồng hồ đến Độ trễ đăng ký đích – μtSU
Lưu ý: Nếu tín hiệu đặt lại không đồng bộ là từ một cổng (I/O thiết bị), bạn phải thực hiện chuyển nhượng Độ trễ tối đa đầu vào cho chân đặt lại không đồng bộ cho Bộ phân tích Thời gian để thực hiện phân tích phục hồi trên đường dẫn đó.
Thời gian loại bỏ là thời gian tối thiểu một tín hiệu điều khiển không đồng bộ phải ổn định sau biên đồng hồ hoạt động. Tính toán thời gian slack thời gian loại bỏ Timing Analyzer tương tự như tính toán slack giữ đồng hồ, nhưng nó sử dụng tín hiệu điều khiển không đồng bộ. Nếu đăng ký kiểm soát không đồng bộ, Trình phân tích Thời gian sử dụng các chi tiết được hiển thị trong Chi tiết 9 để tính thời gian bị xóa.
Cơ quan soạn tin 9
Loại bỏ Thời gian slack = Dữ liệu đến
Thời gian - Thời gian cần thiết cho dữ liệu
Thời gian đến dữ liệu = Khởi chạy Edge + Độ trễ mạng đồng hồ đến Đăng ký nguồn + μtCOcủa Đăng ký nguồn + Đăng ký độ trễ đăng ký
Thời gian yêu cầu dữ liệu = Cạnh chốt + Độ trễ mạng đồng hồ đến Đăng ký điểm đến + μtH
Nếu không đăng ký kiểm soát không đồng bộ, Trình phân tích Thời gian sẽ sử dụng các chi tiết được hiển thị trong Chi tiết 10 để tính thời gian chưa xóa.
Bảng điểm 10
Loại bỏ Thời gian slack = Thời gian đến dữ liệu - Thời gian yêu cầu dữ liệu
Thời gian đến dữ liệu = Khởi chạy Biên + Độ trễ tối thiểu đầu vào của chân + Ghim tối thiểu để trì hoãn đăng ký
Thời gian yêu cầu dữ liệu = Cạnh chốt + Độ trễ mạng đồng hồ đến Đăng ký điểm đến +μtH
Lưu ý: Nếu tín hiệu đặt lại không đồng bộ là từ chân thiết bị, bạn phải chỉ định hạn chế Độ trễ tối thiểu đầu vào đến chân đặt lại không đồng bộ cho Bộ phân tích thời gian để thực hiện phân tích xóa trên đường dẫn này.
Đường dẫn đa vòng
Đường dẫn đa chu kỳ là đường dẫn dữ liệu yêu cầu nhiều hơn một chu kỳ đồng hồ để chốt dữ liệu tại thanh ghi điểm đến. Ví dụ: một thanh ghi có thể được yêu cầu để thu thập dữ liệu trên mỗi giây hoặc thứ ba tăng biên đồng hồ.
Hình 3 cho thấy một ví dụ về một đường dẫn đa vòng giữa thanh ghi đầu vào của hệ số nhân và thanh ghi đầu ra trong đó đích chốt dữ liệu trên mọi cạnh đồng hồ khác. Tham khảo Lệnh Điều khiển Set_multicycle_path Thời gian để biết thông tin về giao set_multicycle_path lệnh.
Các trang sau cung cấp thông tin về lệnh SDC để mô tả đồng hồ và đặc điểm đồng hồ.