được bảo hiểm - Trực tuyến trên đám mây

CHƯƠNG TRÌNH:

TÊN

Được bảo vệ - Trình phân tích phạm vi mã Verilog

TỔNG HỢP

phủ [toàn cầu_options] Điểm số [lựa chọn]
phủ [toàn cầu_options] hợp nhất [lựa chọn] hiện_database cơ sở dữ liệu_to_merge+
phủ [toàn cầu_options] báo cáo [lựa chọn] cơ sở dữ liệu_file
phủ [toàn cầu_options] xếp hạng [lựa chọn] cơ sở dữ liệu_to_rank cơ sở dữ liệu_to_rank+
phủ [toàn cầu_options] loại trừ [lựa chọn] loại trừ+ cơ sở dữ liệu_file

MÔ TẢ

Che là một công cụ phân tích phạm vi mã Verilog có thể hữu ích để xác định cách
một bộ kiểm tra chẩn đoán đang bao gồm thiết kế đang được kiểm tra. Các bài đọc được bao gồm trong
Các tệp thiết kế Verilog và tệp kết xuất định dạng VCD, LXT2 hoặc FST từ một lần chạy chẩn đoán và
tạo tệp cơ sở dữ liệu được gọi là tệp Cơ sở dữ liệu mô tả phạm vi (CDD), sử dụng
lệnh ghi điểm. Lệnh điểm của Covered có thể được sử dụng để tạo tệp CDD
và một mô-đun Verilog để sử dụng Covered làm mô-đun VPI trong một testbench có thể lấy được
thông tin bao phủ song song với mô phỏng (xem SỬ DỤNG ĐỀ CẬP AS A VPI MODULE). Các
tệp CDD kết quả có thể được hợp nhất với các tệp CDD khác từ cùng một thiết kế để tạo
phạm vi tích lũy, sử dụng lệnh hợp nhất. Sau khi tệp CDD được tạo, người dùng có thể
sử dụng Covered để tạo các báo cáo phạm vi có thể đọc được khác nhau ở định dạng ASCII hoặc sử dụng
GUI của Covered để xem các kết quả về phạm vi một cách tương tác, bằng cách sử dụng lệnh báo cáo. Nếu như
phát hiện thấy các điểm có phạm vi bao phủ mà người dùng muốn loại trừ khỏi phạm vi bao phủ, điều này có thể
được xử lý bằng lệnh loại trừ dòng lệnh hoặc trong GUI. Khi nhiều
Các tệp CDD được tạo ra từ cùng một thiết kế, người dùng có thể nhận được xếp hạng mức độ phù hợp của
các tệp CDD đó để xác định thứ tự lý tưởng cho kiểm tra hồi quy cũng như hiểu
tệp CDD nào có thể bị loại trừ khỏi hồi quy do chúng không có khả năng tạo mới
điểm bao phủ. Ngoài ra, như một phần của lệnh điểm số của Covered, điều kiện cuộc đua
các khả năng được tìm thấy trong các tệp thiết kế và có thể bị bỏ qua, được gắn cờ là cảnh báo
hoặc bị gắn cờ là lỗi. Bằng cách chỉ định các điều kiện cuộc đua là lỗi, Covered cũng có thể được sử dụng
như một người kiểm tra tình trạng cuộc đua.

GLOBAL LỰA CHỌN

Các tùy chọn này được đặt ngay sau từ khóa phủ trong dòng lệnh. Họ
có thể được sử dụng cho bất kỳ lệnh nào (ngoại trừ -v và -h) và có tác dụng tương tự trong
từng trường hợp.

-B Làm xáo trộn. Làm xáo trộn tất cả các tên nhạy cảm với thiết kế trước khi xuất trong
định dạng người dùng có thể đọc được. Tùy chọn này hữu ích khi chia sẻ đầu ra với
các nhà phát triển của Covered cho mục đích gỡ lỗi.

-D Gỡ lỗi. Hiển thị thông tin hữu ích cho việc gỡ lỗi công cụ. Lưu ý: Cái này
tùy chọn bây giờ chỉ khả dụng khi được xây dựng với --enable-debug
tùy chọn cấu hình.

-h Cứu giúp. Hiển thị thông tin sử dụng này.

-P [tên tập tin]
Chế độ hồ sơ. Bật hồ sơ mã nguồn nội bộ sẽ tạo ra
báo cáo cấu hình của lệnh chạy cho một trong hai tên tập tin hoặc, nếu không
tên tập tin có mặt, cho một tệp có tên là cover.prof. Tùy chọn này chỉ có sẵn
nếu --enable-profile tùy chọn cấu hình đã được chỉ định khi Covered là
được xây dựng.

-Q Chế độ yên lặng. Khiến tất cả các đầu ra bị triệt tiêu.

-T Chế độ ngắn hơn. Khiến tất cả đầu ra bị chặn ngoại trừ cảnh báo
thông báo và thông tin tiêu đề được che phủ.

-v Phiên bản. Hiển thị phiên bản được bảo vệ hiện tại.

HÀNG

Điểm số Phân tích cú pháp tệp Verilog và tệp kết xuất VCD / LXT2 / FST để tạo tệp cơ sở dữ liệu được sử dụng cho
hợp nhất và báo cáo.

hợp nhất Hợp nhất hai hoặc nhiều tệp cơ sở dữ liệu thành một.

báo cáo Tạo báo cáo phạm vi mà con người có thể đọc được từ tệp cơ sở dữ liệu hoặc bắt đầu phạm vi bảo hiểm
báo cáo GUI.

xếp hạng Tạo báo cáo chỉ định thứ tự lý tưởng để chạy hồi quy và chỉ định
Các tệp CDD không thêm thông tin về phạm vi bảo hiểm mới (và do đó, có thể bị loại trừ
từ hồi quy, nếu muốn).

loại trừ
Cho phép một hoặc nhiều điểm phù hợp (được xác định bằng ID loại trừ trong báo cáo
được tạo bằng tùy chọn -x) để chuyển đổi thuộc tính loại trừ của chúng (bao gồm
loại trừ hoặc loại trừ để bao gồm) và, nếu thuộc tính loại trừ được đặt thành loại trừ,
tùy ý cho phép một lý do để loại trừ được liên kết với nó và được lưu trữ trong
tệp CDD được chỉ định.

SCORE COMMAND

Các tùy chọn sau hợp lệ cho lệnh điểm:

-A trứng Khiến xác nhận OVL được sử dụng cho phạm vi xác nhận. Cờ này phải được đưa ra
vào lệnh điểm nếu cần các chỉ số về mức độ xác nhận trong báo cáo
chỉ huy.

-cdd cơ sở dữ liệu
Tương tự như tùy chọn -o. Hữu ích khi tệp CDD được ghi là một đầu vào cho điểm
chỉ huy.

-cli [tên tập tin]
Làm cho trình gỡ lỗi dòng lệnh được sử dụng trong quá trình ghi tệp kết xuất VCD / LXT2 / FST.
If tên tập tin được chỉ định, tệp này chứa thông tin được lưu trong một cuộc gọi trước đó
để lưu lịch sử trên CLI và làm cho lịch sử có trong tệp này được phát lại
trước dấu nhắc lệnh CLI. Nếu như tên tập tin không được chỉ định, lời nhắc CLI sẽ
có sẵn ngay lập tức khi bắt đầu mô phỏng. Tùy chọn này chỉ có sẵn
khi Covered được định cấu hình với --kích hoạt-gỡ lỗi tùy chọn.

-bảo thủ
Nếu tùy chọn này được chỉ định, bất kỳ khối logic nào chứa mã có thể gây ra
sự khác biệt về phạm vi bảo hiểm dẫn đến kết quả về phạm vi bảo hiểm có khả năng không chính xác là
bị loại bỏ khỏi việc xem xét phạm vi bảo hiểm. Xem Hướng dẫn sử dụng để biết thêm thông tin về những gì
loại mã có thể dẫn đến độ chính xác của phạm vi bảo hiểm.

-dumpvars [tên tập tin]
Nếu tùy chọn này được chỉ định mà không có tùy chọn -vcd hoặc -lxt, thiết kế sẽ được phân tích cú pháp,
tệp CDD được tạo và tệp mô-đun Verilog cấp cao nhất có tên tên tập tin (nếu cái này
giá trị được chỉ định) hoặc "cover_dump.v" (nếu tên tập tin không được chỉ định) được tạo.
Tệp này được sử dụng trong quá trình biên dịch trình mô phỏng để tạo tệp kết xuất
được tối ưu hóa để có được phạm vi bảo hiểm cho tệp CDD được chỉ định. Nếu -vcd hoặc
-lựa chọn văn bản được chỉ định, tùy chọn này không có hiệu lực. Xem Hướng dẫn sử dụng cho
thêm thông tin về cách sử dụng tùy chọn này.

-D xác định_tên
Xác định tên được chỉ định thành 1.

-D xác định_tên = giá_trị
Xác định tên được chỉ định thành giá trị được chỉ định.

-e tên_khối
Tên của mô-đun, nhiệm vụ, chức năng hoặc khối bắt đầu / kết thúc được đặt tên để không ghi điểm. Gây ra tất cả
các khối con trong cây Verilog dưới khối này cũng không được tính điểm.

-đê Loại trừ tất cả các chặn luôn được xem xét để bảo hiểm.

-NS Loại trừ tất cả các nhiệm vụ liên tục được xem xét để bảo hiểm.

-ei Loại trừ tất cả các khối ban đầu được xem xét để bảo hiểm.

-nếu Loại trừ tất cả các khối cuối cùng được xem xét để bảo hiểm.

-ep [tên]
Loại trừ tất cả mã được tìm thấy giữa '// phạm vi phủ sóng' và '// phạm vi bảo hiểm trên' pragmas
được nhúng trong thiết kế. Nếu như tên được chỉ định, từ khóa trong pragma sẽ
được đổi thành tên đó thay vì "vùng phủ sóng" mặc định, cho phép người dùng
thay đổi giao diện của pragma nếu nó xung đột với bất kỳ công cụ nào khác.

-F module_name = [in_expr,] out_expr
Chỉ ra cho trình phân tích cú pháp nơi tìm FSM nằm trong mô-đun tên_mô-đun cái nào
có một biểu thức trạng thái đầu vào được gọi là in_expr và biểu thức trạng thái đầu ra được gọi là
out_expr. Nếu in_expr không được chỉ định, out_expr được sử dụng làm đầu vào và
biểu thức trạng thái đầu ra.

-f tên tập tin
Tên tệp chứa các đối số bổ sung để phân tích cú pháp.

-fst tên tập tin
Tên của tệp kết xuất FST để ghi điểm thiết kế. Nếu -vcd, -lxt hoặc tùy chọn này không
được sử dụng, Covered sẽ chỉ tạo tệp CDD ban đầu từ thiết kế và sẽ không
cố gắng cho điểm thiết kế.

-g [module_name =] (1 | 2 | 3)
Cho phép người dùng giới hạn trình phân tích cú pháp trong một thế hệ cụ thể của Verilog
tiêu chuẩn cho một mô-đun cụ thể hoặc toàn bộ thiết kế, trong đó 1 = Verilog-1995,
2 = Verilog-2001, 3 = SystemVerilog. Nếu như module_name = được chỉ định, trình phân tích cú pháp sử dụng
chỉ định tiêu chuẩn Verilog cho mô-đun đó, cho phép phần còn lại của thiết kế
sử dụng tiêu chuẩn toàn cầu. Theo mặc định, tiêu chuẩn toàn cầu được đặt thành tiêu chuẩn mới nhất
phiên bản (3). Tùy chọn này có thể được chỉ định nhiều lần cho một lệnh gọi nhất định tới
lệnh ghi điểm; tuy nhiên, nếu tùy chọn -g chỉ định nhiều hơn giá trị toàn cục (tức là,
không có mô-đun = tiền tố), chỉ giá trị tùy chọn cuối cùng sẽ được sử dụng.

-h Hiển thị thông tin trợ giúp này.

-I thư mục
Thư mục để tìm các tệp Verilog được bao gồm.

-i tên_ví dụ
Tham chiếu phân cấp Verilog đến mô-đun ở trên cùng của cây
đã ghi bàn. Tùy chọn này là cần thiết nếu mô-đun để xác minh phạm vi bảo hiểm không phải là cấp cao nhất
mô-đun trong thiết kế. Nếu không được chỉ định, -t giá trị được sử dụng.

-lxt tên tập tin
Tên tệp kết xuất LXT2 để ghi điểm thiết kế. Nếu -vcd, -fst hoặc tùy chọn này không
được sử dụng, Covered sẽ chỉ tạo tệp CDD ban đầu từ thiết kế và sẽ không
cố gắng cho điểm thiết kế.

-m tin nhắn
Cho phép người dùng chỉ định thông tin về tệp CDD này. Thông tin này có thể
là bất cứ thứ gì (thư có khoảng trắng phải được bao quanh bởi dấu ngoặc kép
dấu), nhưng có thể bao gồm một số điều gì đó về các đối số mô phỏng để dễ dàng hơn
liên kết tệp CDD với mô phỏng của nó nhằm mục đích tạo lại tệp CDD.

-o cơ sở dữ liệu
Tên của cơ sở dữ liệu để ghi thông tin về vùng phủ sóng. Nếu không được chỉ định, đầu ra
tên tệp cơ sở dữ liệu sẽ là "cov.cdd".

-p tên tập tin
Ghi đè tên tệp mặc định được sử dụng để lưu trữ đầu ra của bộ tiền xử lý trung gian.

-P tham số_scope = giá trị
Thực hiện một định nghĩa trên tham số được chỉ định với giá trị.

-rS Khi kiểm tra điều kiện cuộc đua bị vi phạm, các khối logic vi phạm sẽ bị xóa
từ việc xem xét phạm vi bảo hiểm và tất cả đầu ra bị chặn liên quan đến cuộc đua
vi phạm điều kiện. Xem tài liệu người dùng để biết thêm thông tin về chủng tộc
kiểm tra tình trạng sử dụng.

-rW Khi kiểm tra điều kiện cuộc đua bị vi phạm, các khối logic vi phạm sẽ bị xóa
từ việc xem xét phạm vi bảo hiểm và vi phạm điều kiện cuộc đua là kết quả đầu ra. Đây là
hành vi mặc định để xử lý tình trạng cuộc đua. Xem tài liệu người dùng để biết thêm
thông tin về việc sử dụng kiểm tra tình trạng cuộc đua.

-lại Khi kiểm tra điều kiện cuộc đua bị vi phạm, lý do là đầu ra và điểm kết thúc
ngay lập tức. Xem tài liệu người dùng để biết thêm thông tin về tình trạng chủng tộc
kiểm tra việc sử dụng.

-rI [=mô-đun tên]
If mô-đun tên không được chỉ định, kiểm tra tình trạng cuộc đua hoàn toàn bị bỏ qua cho
toàn bộ thiết kế. Nếu như mô-đun tên được chỉ định, kiểm tra tình trạng cuộc đua bị bỏ qua
cho mô-đun được chỉ định. Xem tài liệu người dùng để biết thêm thông tin về chủng tộc
kiểm tra tình trạng sử dụng.

-rP [=tên])
Sử dụng các pragmas được nhúng để bỏ qua một số mã nhất định khỏi kiểm tra tình trạng chủng tộc
cân nhắc (nếu tên được chỉ định nó được sử dụng làm từ khóa pragma). Xem người dùng
tài liệu để biết thêm thông tin về cách sử dụng kiểm tra tình trạng cuộc đua.

-S Kết quả thống kê mô phỏng sau khi mô phỏng hoàn tất. Thông tin này là
hiện chỉ hữu ích cho các nhà phát triển của Covered.

-t cấp cao nhất mô-đun
Chỉ định tên mô-đun của mô-đun cao nhất sẽ được đo. Lưu ý rằng
mô-đun này không cần phải là mô-đun cao nhất trong trình mô phỏng. Vùng này
là bắt buộc đối với tất cả các lệnh gọi đến lệnh điểm số.

-top_ts khoảng thời gian
Tùy chọn này chỉ hợp lệ khi tùy chọn -vpi hoặc -dumpvars đã được chỉ định.
Tùy chọn này cho phép người dùng chỉ định khoảng thời gian cho mô-đun Verilog đã tạo
được tạo bằng tùy chọn -vpi / -dumpvars. Nếu tùy chọn này không được chỉ định, không
thời gian sẽ được tạo cho mô-đun đã tạo. Giá trị của khoảng thời gian is
cụ thể như sau:

(1|10|100)(s|ms|us|ns|ps|fs)/(1|10|100)(s|ms|us|ns|ps|fs)

Nếu cần khoảng trắng giữa các giá trị khác nhau, hãy đặt toàn bộ nội dung của
khoảng thời gian trong dấu ngoặc kép.

-t con số
Khi tính điểm xảy ra, tùy chọn này cho phép người dùng xem trình mô phỏng đã đi được bao xa
được tiến triển bằng cách xuất bước thời gian hiện tại thành đầu ra tiêu chuẩn. Giá trị của
con số chỉ định bao nhiêu bước thời gian được phép mô phỏng trước khi xuất
bước thời gian hiện tại (dẫn đến ít lệnh gọi đến luồng đầu ra hơn).

-T (tối thiểu | typ | tối đa)
Chỉ định giá trị nào sẽ sử dụng khi gặp biểu thức trễ trong biểu mẫu:
tối thiểu: typ: tối đa. Nếu tùy chọn này không được chỉ định, lựa chọn 'typ' được sử dụng theo mặc định.

-v tên tập tin
Tên của tệp Verilog cụ thể để ghi điểm.

-vcd tên tập tin
Tên của tệp kết xuất VCD để ghi điểm thiết kế. Nếu -lxt, -fst hoặc tùy chọn này không
được sử dụng, Covered sẽ chỉ tạo tệp CDD ban đầu từ thiết kế và sẽ không
cố gắng cho điểm thiết kế.

-vpi [tên tập tin]
Nếu tùy chọn này được chỉ định mà không có tùy chọn -vcd, -lxt hoặc -fst, thì thiết kế là
được phân tích cú pháp, tệp CDD được tạo và tệp mô-đun Verilog cấp cao nhất có tên tên tập tin
(nếu giá trị này được chỉ định) hoặc "cover_vpi.v" (nếu tên tập tin không được chỉ định) là
được tạo cùng với tệp bảng PLI được gọi là tên tập tin.ta b hoặc "che_vpi.v.ta b".
Cả hai tệp này đều được sử dụng trong quá trình biên dịch trình mô phỏng để sử dụng Covered như
một mô-đun VPI. Nếu các tùy chọn -vcd, -lxt hoặc -fst được chỉ định, thì tùy chọn này
không có hiệu lực.

-Wignore
Ngăn chặn đầu ra của các cảnh báo trong quá trình phân tích cú pháp và mô phỏng mã.

-y thư mục
Thư mục để tìm các tệp Verilog không xác định.

+ libext +.gia hạn[+.gia hạn]*+
Phần mở rộng của các tệp Verilog để cho phép tính điểm.

MERGE COMMAND

Các tùy chọn sau hợp lệ cho lệnh hợp nhất:

-d tên tập tin
Thư mục tìm kiếm các tệp CDD để đưa vào. Tùy chọn này được sử dụng kết hợp
với -ext tùy chọn chỉ định phần mở rộng tệp sẽ sử dụng để xác định
những tệp nào trong thư mục là tệp CDD.

-er (Thành phố điện khí hóa phía tây dãy núi Rocky đầu tiên|cuối cùng|tất cả các|mới|xưa)
Chỉ định cách xử lý giải quyết lý do loại trừ. Nếu hai hoặc nhiều tệp CDD
được hợp nhất có các lý do loại trừ được chỉ định cho cùng một điểm bảo hiểm,
lý do loại trừ cần được giải quyết (trừ khi nó là cùng một giá trị chuỗi). Nếu như
tùy chọn này không được chỉ định và xung đột được tìm thấy, Che phủ sẽ tương tác
yêu cầu đầu vào cho mỗi loại trừ để biết cách xử lý. Nếu tùy chọn này là
được chỉ định, nó cho Covered biết cách xử lý tất cả các xung đột lý do loại trừ. Các
các giá trị như sau: .br

Thành phố điện khí hóa phía tây dãy núi Rocky đầu tiên - Tệp CDD có chứa lý do loại trừ đầu tiên được sử dụng.

cuối cùng - Tệp CDD chứa lý do loại trừ cuối cùng được sử dụng.

tất cả các - Tất cả các lý do loại trừ đều được sử dụng (nối).

mới - Sử dụng lý do loại trừ mới nhất được chỉ định.

xưa - Sử dụng lý do loại trừ cũ nhất được chỉ định.

-ext mở rộng
Được sử dụng cùng với -d Lựa chọn. Nếu không -ext các tùy chọn được chỉ định trên
dòng lệnh, giá trị mặc định của '.cdd' được sử dụng. Lưu ý rằng dấu chấm (.) Nên
được chỉ định.

-f tên tập tin
Tên tệp chứa các đối số bổ sung để phân tích cú pháp.

-h Hiển thị thông tin trợ giúp này.

-m tin nhắn
Cho phép người dùng chỉ định thông tin về tệp CDD này. Thông tin này có thể
là bất cứ thứ gì (thư có khoảng trắng phải được bao quanh bởi dấu ngoặc kép
điểm).

-o tên tập tin
Tệp để xuất cơ sở dữ liệu mới sang. Nếu đối số này không được chỉ định,
hiện_database được sử dụng làm tên cơ sở dữ liệu đầu ra.

BÁO CÁO COMMAND

Các tùy chọn sau hợp lệ với lệnh báo cáo:

-b Nếu đầu ra chi tiết logic tổ hợp được báo cáo và biểu thức là một vectơ
hoạt động, tùy chọn này xuất ra thông tin về phạm vi trên cơ sở bitwise.

-c If -v được chỉ định, chỉ hiển thị các chỉ số được đề cập. Mặc định là hiển thị không che
chỉ có thông tin.

-d (s | d | v)
Mức độ chi tiết cần cung cấp trong thông tin báo cáo mức độ phù hợp (s = tóm tắt, d =
chi tiết, v = verbose). Mặc định là tóm tắt.

-e Kết xuất tất cả các điểm phạm vi bị loại trừ vào tệp báo cáo cùng với bất kỳ
lý do loại trừ nếu -d d or -d v các tùy chọn được chỉ định.

-f tên tập tin
Tên tệp chứa các đối số bổ sung để phân tích cú pháp.

-h Hiển thị thông tin trợ giúp này.

-i Cung cấp thông tin về phạm vi cho các phiên bản thay vì mô-đun.

-m [l] [t] [c] [f] [r] [a] [m]
Nhập (các) số liệu để báo cáo. l = dòng, t = chuyển đổi, c = logic tổ hợp, f = trạng thái FSM
và chuyển trạng thái, r = điều kiện chủng tộc, a = khẳng định, m = bộ nhớ. Mặc định là lcf.

-o tên tập tin
Tệp để xuất thông tin báo cáo tới. Mặc định là đầu ra tiêu chuẩn.

-s Loại bỏ các mô-đun / phiên bản không chứa thông tin về phạm vi được đưa ra
vào báo cáo. Được sử dụng để giúp loại bỏ thông tin có khả năng vô nghĩa khỏi
báo cáo.

-v Không được chấp nhận. Được thay thế bằng '-dd' hoặc '-d v'.

-lượt xem Khởi động giao diện GUI để báo cáo phạm vi tương tác.

-w (con số)
Chỉ định độ rộng dòng tối đa (tính bằng ký tự) có thể được sử dụng để xuất Verilog
thông tin. Nếu tùy chọn này không được chỉ định, tất cả mã Verilog trong báo cáo sẽ
giữ nguyên định dạng như đã được chỉ định trong mã Verilog ban đầu. Nếu điều này
tùy chọn được chỉ định, mã Verilog sẽ được định dạng để sử dụng nhiều nhất hiện tại
dòng nhất có thể, bao quanh văn bản khi dòng đạt đến độ rộng dòng tối đa. Các
độ rộng dòng tối đa mặc định là 115 ký tự (giá trị này được sử dụng nếu không có số
được chỉ định với tùy chọn -w). Nếu một số được chỉ định với tùy chọn -w, điều này
giá trị được sử dụng cho chiều rộng dòng tối đa.

-x Xuất ra các ID loại trừ của tất cả các điểm được phát hiện và loại trừ trong phạm vi
dấu ngoặc đơn trước đầu ra dài dòng liên quan của điểm phủ. Các
ID loại trừ có thể được sử dụng để loại trừ / bao gồm các điểm phù hợp thông qua loại trừ
chỉ huy.

CẤP COMMAND

Các tùy chọn sau hợp lệ với lệnh xếp hạng:

-d tên tập tin
Thư mục tìm kiếm các tệp CDD để đưa vào. Tùy chọn này được sử dụng kết hợp
với -ext tùy chọn chỉ định phần mở rộng tệp sẽ sử dụng để xác định
những tệp nào trong thư mục là tệp CDD.

-chiều sâu con số
Chỉ định số lượng tệp CDD cần thiết tối thiểu để đạt được mỗi điểm phủ sóng. Các
giá trị của con số phải lớn hơn 1. Mặc định là XNUMX.

-ext mở rộng
Được sử dụng cùng với -d Lựa chọn. Nếu không -ext các tùy chọn được chỉ định trên
dòng lệnh, giá trị mặc định của '.cdd' được sử dụng. Lưu ý rằng dấu chấm (.) Nên
được chỉ định.

-f tên tập tin
Tên tệp chứa các đối số bổ sung để phân tích cú pháp.

-h Hiển thị thông tin trợ giúp cho lệnh xếp hạng.

-chỉ tên
Nếu được chỉ định, chỉ xuất các tên tệp CDD cần thiết cần được chạy trong
thứ tự chúng cần được chạy. Nếu tùy chọn này không được đặt, đầu ra kiểu báo cáo là
được cung cấp thêm thông tin. Tùy chọn này có nghĩa là hữu ích trong các tập lệnh
chỉ muốn tên tệp CDD chạy dưới dạng đầu ra.

-o tên tập tin
Tên của tệp để xuất thông tin xếp hạng tới. Mặc định là đầu ra tiêu chuẩn.

-bắt buộc-cdd tên tập tin
Tên của CDD nên được coi là CDD bắt buộc để xếp hạng (nghĩa là nó không thể được
bị loại trừ vì bất kỳ lý do gì).

-danh sách yêu cầu tên tập tin
Tên tệp chứa danh sách CDD được coi là CDD bắt buộc
để xếp hạng. Các tên tệp phải được phân tách bằng khoảng trắng hoặc ký tự dòng mới
trong tệp.

-v Làm cho đầu ra dài dòng được hiển thị khi lệnh xếp hạng được chạy. Nó xuất ra
thông tin chẩn đoán về từng giai đoạn khác nhau của thuật toán xếp hạng
bao gồm thời gian chạy, số lượng tệp CDD được bao gồm / loại trừ và số lượng vùng phủ sóng
điểm của các CDD được xếp hạng trong mỗi giai đoạn. Thông tin này có nghĩa là
hữu ích cho những người quan tâm đến thuật toán xếp hạng và hiệu suất của nó.

-trọng lượng-khẳng định con số
Chỉ định trọng số tương đối cho phạm vi xác nhận được sử dụng để xếp hạng không phải là duy nhất
điểm bao phủ. Giá trị của con số có liên quan đến các giá trị được sử dụng trong
-trọng lượng chuyển đổi, -trọng lượng-bộ nhớ, -tặng-lược, -trọng lượng-fsm và -trọng lượng-đường xếp hạng
các tùy chọn lệnh.

-tặng-lược con số
Chỉ định trọng số tương đối cho phạm vi logic tổ hợp được sử dụng để xếp hạng
điểm bao phủ không duy nhất. Giá trị của con số có liên quan đến các giá trị được sử dụng trong
các -trọng lượng chuyển đổi, -trọng lượng-bộ nhớ, -trọng lượng-khẳng định, -trọng lượng-fsm và -trọng lượng-đường
xếp hạng các tùy chọn lệnh.

-trọng lượng-fsm con số
Chỉ định trọng số tương đối cho trạng thái FSM và phạm vi chuyển đổi trạng thái được sử dụng để
xếp hạng các điểm bảo hiểm không phải duy nhất. Giá trị của con số có liên quan đến các giá trị
được sử dụng trong -trọng lượng chuyển đổi, -trọng lượng-bộ nhớ, -tặng-lược, -trọng lượng-khẳng định và
-trọng lượng-đường xếp hạng các tùy chọn lệnh.

-trọng lượng-đường con số
Chỉ định trọng số tương đối cho phạm vi phủ sóng được sử dụng để xếp hạng phạm vi phủ sóng không duy nhất
điểm. Giá trị của con số có liên quan đến các giá trị được sử dụng trong -trọng lượng chuyển đổi,
-trọng lượng-bộ nhớ, -tặng-lược, -trọng lượng-fsm và -trọng lượng-khẳng định xếp hạng các tùy chọn lệnh.

-trọng lượng-bộ nhớ con số
Chỉ định trọng số tương đối cho vùng phủ bộ nhớ được sử dụng để xếp hạng vùng phủ sóng không duy nhất
điểm. Giá trị của con số có liên quan đến các giá trị được sử dụng trong -trọng lượng chuyển đổi,
-trọng lượng-đường, -tặng-lược, -trọng lượng-fsm và -trọng lượng-khẳng định xếp hạng các tùy chọn lệnh.

-trọng lượng chuyển đổi con số
Chỉ định trọng số tương đối cho mức độ phù hợp chuyển đổi được sử dụng để xếp hạng mức độ phù hợp không phải duy nhất
điểm. Giá trị của con số có liên quan đến các giá trị được sử dụng trong -trọng lượng-bộ nhớ,
-trọng lượng-đường, -tặng-lược, -trọng lượng-fsm và -trọng lượng-khẳng định xếp hạng các tùy chọn lệnh.

LOẠI TRỪ COMMAND

Các tùy chọn sau hợp lệ với lệnh loại trừ:

-f tên tập tin
Chỉ định tên của tệp chứa nhiều tùy chọn hơn cho lệnh loại trừ.
Tùy chọn này có thể được chỉ định nhiều lần nếu cần thiết cho một lệnh gọi đến
loại trừ lệnh.

-h Tạo thông tin sử dụng cho lệnh loại trừ.

-m Cho phép một thông báo loại trừ được liên kết với bất kỳ điểm phù hợp nào đang diễn ra
từ trạng thái được bao gồm sang trạng thái bị loại trừ. Đối với mỗi điểm bảo hiểm đáp ứng
yêu cầu này, người dùng sẽ được nhắc nhập lý do. Lý do có thể là
bất kỳ độ dài nào và bất kỳ số lượng dòng nào; tuy nhiên, tất cả các ký tự định dạng (tức là,
dòng mới, tab, dấu cách thừa, v.v.) sẽ bị xóa và thay thế bằng một dòng
không gian khi nó được hiển thị sau đó. Để kết thúc việc nhập một tin nhắn, hãy nhấn vào một trở lại,
nhập một ký tự dấu chấm (.) và nhấn quay lại lần nữa. Thời kỳ cuối cùng
ký tự sẽ không là một phần của thông báo loại trừ.

-p Làm cho tất cả các điểm phủ sóng được chỉ định in trạng thái loại trừ hiện tại của chúng và
lý do loại trừ (nếu tồn tại lý do cho điểm bảo hiểm bị loại trừ) theo tiêu chuẩn
đầu ra. Nếu tùy chọn này được chỉ định, -m tùy chọn sẽ bị bỏ qua.

SỬ DỤNG ĐỀ CẬP AS A VPI MODULE

Ngoài việc sử dụng lệnh điểm của Covered để phân tích cú pháp tệp VCD, LXT2 hoặc FST thành tóm tắt
thông tin về phạm vi bảo hiểm, Được bảo hiểm cũng có thể được sử dụng như một mô-đun VPI trong một trình mô phỏng để
trích xuất thông tin này. Những lợi thế khi sử dụng Covered làm VPI trên trình đọc tệp kết xuất
bao gồm những điều sau đây. Đầu tiên, các tệp VCD có thể cực kỳ lớn, đặc biệt là trong thời gian dài
mô phỏng, sử dụng hết dung lượng ổ đĩa có giá trị. Thứ hai, nếu bạn đang sử dụng trình mô phỏng
kết xuất các tệp ở định dạng khác với VCD, LXT2 hoặc FST và bạn muốn chuyển đổi các kết xuất này
các loại tệp cho một trong các phiên bản này, chi phí về dung lượng ổ đĩa và thời gian có thể khiến việc tạo
các tệp kết xuất được Che phủ yêu cầu không mong muốn. Ngoài ra, mặc dù sử dụng Covered làm VPI
mô-đun sẽ làm chậm tốc độ mô phỏng của bạn, rất có thể là tổng thời gian dành cho
mô phỏng thiết kế của bạn và cho điểm thiết kế trong một bước sẽ ngắn hơn so với làm như vậy trong
hai bước. Do đó, tiện ích cấu hình của Covered có thể tạo các thư viện sẵn sàng cho VPI cho
các trình mô phỏng thương mại và miễn phí sau (Icarus Verilog, CVER và VCS).

Để tự động tạo các tệp thư viện sẵn sàng cho VPI khi tạo Được che từ nguồn,
chỉ cần chỉ định một hoặc nhiều điều sau khi chạy tiện ích "cấu hình" trong
cơ sở Thư mục được che phủ: --with-iv = , --with-vcs =
path>, --with-cver = . Sau khi đã định cấu hình Covered, chỉ cần nhập
'make' và 'make install'. Thao tác này sẽ cài đặt các tệp thư viện sẵn sàng VPI trong
thư mục cài đặt libexec (mặc định đường dẫn này sẽ là / usr / local / libexec).

Trước khi bạn sẵn sàng biên dịch thiết kế, trước tiên bạn phải tạo tệp CDD, một cấp cao nhất
Tệp Verilog và tệp bảng PLI (tệp cuối cùng chỉ cần thiết cho trình biên dịch VCS).
Điều này được thực hiện bằng cách chỉ định -vpi (tên tập tin) tùy chọn cho lệnh điểm của Covered. Nếu không
tên tệp được chỉ định sau -vpi, các tệp cover_vpi.v và cover_vpi.ta b sẽ là
được tạo cùng với tệp bảo hiểm đã tạo. Lưu ý rằng bước này chỉ cần
thực hiện một lần trừ khi các tệp thiết kế thay đổi. Bây giờ bạn đã sẵn sàng để biên dịch
giả lập.

Nếu bạn đang biên dịch mô phỏng Icarus Verilog, chỉ cần thêm '-m
/usr/local/libexec/covered.vpi cover_vpi.v 'vào dòng lệnh' iverilog '. Một lần
quá trình biên dịch hoàn tất, hãy chạy tệp thực thi đã tạo như bình thường.

Nếu bạn đang biên dịch một mô phỏng CVER, chỉ cần thêm
'+ loadvpi = / usr / local / libexec / che.cver.so: vpi_compat_bootstrap cover_vpi.v' cho
dòng lệnh 'cver'.

Nếu bạn đang biên dịch một mô phỏng VCS, chỉ cần thêm '+ vpi -load
/usr/local/libexec/covered.vcs.so:covered_register cover_vpi.v 'vào' vcs '
dòng lệnh. Khi quá trình biên dịch hoàn tất, hãy chạy tệp thực thi được tạo khi bạn
bình thường sẽ.

Nếu bạn đang biên dịch mô phỏng NC-Verilog, hãy chuyển sang lệnh irun của NC-Verilog để tải
đối tượng được chia sẻ được bảo vệ: '-loadvpi /usr/local/libexec/covered.ncv.so:covered_register'
và cho phép tất cả quyền truy cập bằng '-access + rwc'. Bạn có thể mã hóa lệnh gọi $ cover_sim vào
RTL của bạn hoặc bạn có thể chạy nó động bằng CLI, bằng cách thêm -input input.tcl
chuyển sang irun. Trong đó tệp input.tcl trông giống như sau và tb.dut là
trường hợp bảo hiểm:
call -systf {$ cover_sim} {"score.cdd"} tb.dut
chạy

Có hai plusargs có thể được chuyển đến tệp thực thi được tạo khi nó được chạy
Được che phủ sẽ phân tích cú pháp. Dấu '+ che_cdd = tùy chọn 'sẽ khiến Covered xuất ra
ghi nội dung thiết kế vào tệp CDD được chỉ định bởi . Điều này cho phép nhiều lần chạy
của trình mô phỏng để tạo một số tệp CDD khác nhau mà không cần biên dịch lại thành
xảy ra. Tùy chọn '+ cover_debug' sẽ khiến Covered kết xuất nhiều đầu ra quá mức
về trạng thái thời gian chạy bên trong của nó trong quá trình mô phỏng. Đầu ra này sẽ chỉ được tạo
nếu Covered được định cấu hình với tùy chọn --enable-debug. Tùy chọn plusarg này không nên
được sử dụng bởi những người dùng thông thường vì nó chủ yếu nhằm hỗ trợ các nhà phát triển của Covered trong
gỡ lỗi.

TÁC GIẢ

Trevor Williams[email được bảo vệ]>

Sử dụng trực tuyến được bảo hiểm bằng các dịch vụ onworks.net