Đây là lệnh verifylator_coverage có thể chạy trong nhà cung cấp dịch vụ lưu trữ miễn phí OnWorks bằng cách sử dụng một trong nhiều máy trạm trực tuyến miễn phí của chúng tôi như Ubuntu Online, Fedora Online, trình giả lập trực tuyến Windows hoặc trình giả lập trực tuyến MAC OS
CHƯƠNG TRÌNH:
TÊN
Verilator_coverage - Trình phân tích phạm vi của Verilator
SYNOPSIS
Verilator_coverage --help
Verilator_coverage --version
Verilator_coverage --annotate
Verilator_coverage -write merge.dat -read ...
Verilator_coverage xử lý các báo cáo về phạm vi của Verilator.
Với --anotate, nó đọc tệp dữ liệu được chỉ định và tạo mã nguồn được chú thích với
chỉ số mức độ phù hợp được chú thích. Nếu tồn tại nhiều điểm phủ sóng trên cùng một dòng,
các dòng bổ sung sẽ được chèn để báo cáo các điểm bổ sung.
Các đối số tiêu chuẩn Verilog bổ sung chỉ định các đường dẫn tìm kiếm cần thiết để tìm
mã nguồn mà phân tích vùng phủ đã được thực hiện.
Để có được phần trăm phạm vi bảo hiểm chính xác, bạn có thể muốn đọc nhật ký / phạm vi bảo hiểm.pl trong Emacs và
thực hiện một Mx lưu giữ để chỉ bao gồm những thống kê quan tâm.
Đối với các điều kiện Verilog không bao giờ xảy ra, bạn nên thêm câu lệnh $ stop. Cái này
sẽ loại bỏ phạm vi bảo hiểm trong lần xây dựng tiếp theo.
TRANH LUẬN
tên tập tin
Chỉ định tệp dữ liệu đầu vào, có thể được lặp lại để đọc nhiều đầu vào. Nếu không có tệp dữ liệu
được chỉ định, theo mặc định, dat được đọc.
--chú thích thư mục đầu ra
Sprcifies tên thư mục mà các tệp nguồn với dữ liệu vùng phủ sóng được chú thích phải là
được viết cho.
--chú thích-tất cả
Chỉ định tất cả các tệp sẽ được hiển thị. Theo mặc định, chỉ những tệp nguồn có
độ phủ thấp được ghi vào thư mục đầu ra.
--annotate-min tính
Chỉ định số lần xuất hiện tối thiểu sẽ được gắn cờ nếu điểm bao phủ
không bao gồm một ngưỡng được chỉ định. Mặc định là 10.
--Cứu giúp
Hiển thị thông báo này và phiên bản chương trình và thoát.
--thứ hạng
In một báo cáo thử nghiệm liệt kê tầm quan trọng tương đối của mỗi thử nghiệm trong việc bao quát
tất cả các điểm bảo hiểm. Báo cáo hiển thị "Được bao phủ" cho biết số lượng
điểm mà bài kiểm tra bao gồm; một bài kiểm tra được coi là che một điểm nếu nó có một cái xô
đếm ít nhất 1. Cột "xếp hạng" có số t cao hơn cho thấy bài kiểm tra nhiều hơn
quan trọng và xếp hạng 0 có nghĩa là bài kiểm tra không cần phải chạy để bao quát các điểm.
"RankPts" cho biết số điểm phủ sóng mà bài kiểm tra này sẽ đóng góp vào tổng thể
phạm vi bảo hiểm nếu tất cả các bài kiểm tra được chạy theo thứ tự xếp hạng cao nhất đến thấp nhất.
--hủy liên kết
Khi sử dụng --write để kết hợp dữ liệu vùng phủ sóng, hãy hủy liên kết tất cả các tệp đầu vào sau đầu ra
Đã được tạo ra.
--phiên bản
Hiển thị phiên bản chương trình và các lần thoát.
--viết tên tập tin
Chỉ định kết quả phạm vi tổng hợp, được tổng hợp trên tất cả các tệp, nên
được ghi vào tên tệp đã cho. Điều này rất hữu ích trong các tập lệnh để kết hợp nhiều trình tự
chạy vào một tệp bảo hiểm chính.
XÁC MINH TRANH LUẬN
Các đối số sau đây tương thích với GCC, VCS và hầu hết các chương trình Verilog.
+ libext +ext+ext...
Xác định các phần mở rộng cho các tệp Verilog.
+ xác định +là+giá trị = item -Dlà=giá trị
Xác định biến đã cho.
+ incdir +dir = item -Tôidir
Chỉ định một thư mục để tìm các tệp bao gồm.
-f hồ sơ
Chỉ định một tệp chứa các đối số dòng lệnh bổ sung.
-y dir
Chỉ định một thư mục tìm kiếm mô-đun.
PHÂN PHỐI
Phiên bản mới nhất có sẵn từhttp://www.veripool.org/>.
Bản quyền 2003-2015 của Wilson Snyder. Verilator là phần mềm miễn phí; bạn có thể phân phối lại nó
và / hoặc sửa đổi nội bộ của Trình xác minh theo các điều khoản của GNU Lesser General
Giấy phép Công cộng Phiên bản 3 hoặc Giấy phép Nghệ thuật Perl Phiên bản 2.0.
TÁC GIẢ
Wilson Snyder[email được bảo vệ]>
Sử dụng Verilator_coverage trực tuyến bằng các dịch vụ onworks.net
