vpassertp - Trực tuyến trên đám mây

CHƯƠNG TRÌNH:

TÊN

vpassert - Xác nhận mã Verilog tiền xử lý

SYNOPSIS

vpassert [ --Cứu giúp ] [ --ngày ] [ --Yên lặng ] [-y thư mục ... ] [ các tập tin... ]

MÔ TẢ

Vpassert sẽ đọc các tệp Verilog được chỉ định và xử lý trước các xác nhận PLI đặc biệt. Các
các tệp được ghi vào thư mục có tên .vpassert trừ khi một tên khác được đặt với -o.
Nếu một thư mục được chuyển qua, tất cả các tệp trong thư mục đó sẽ được xử lý trước.

TRANH LUẬN

Các tham số giống như VCS và GCC tiêu chuẩn được sử dụng để chỉ định các tệp sẽ được xử lý trước:

+ libext + I + Tôi ... Chỉ định các tiện ích mở rộng sẽ được xử lý
-nếu tôi Phân tích cú pháp các tham số trong tệp
-v tôi Phân tích cú pháp tệp thư viện (tôi )
-tôi Phân tích cú pháp tất cả các tệp trong thư mục (tôi )
-II Phân tích cú pháp tất cả các tệp trong thư mục (tôi )
+ incdir + I Phân tích cú pháp tất cả các tệp trong thư mục (tôi )

Để ngăn chặn đệ quy và cho phép sử dụng lại input.vc được chuyển đến trình mô phỏng, nếu
thư mục đầu ra được yêu cầu xử lý trước, thư mục đó chỉ đơn giản là bỏ qua.

--tất cả các tập tin
Xử lý trước và ghi ra các tệp không có bất kỳ macro nào cần mở rộng. Qua
mặc định, các tệp không cần xử lý không được ghi ra ngoài.

Tùy chọn này có thể tăng tốc thời gian biên dịch trình mô phỏng; tệp sẽ luôn được tìm thấy trong
thư mục được xử lý trước, tiết kiệm trình biên dịch khỏi phải tìm kiếm một số lượng lớn -v
thư mục để tìm nó.

--tiên đề
Axiom ATHDL đặc biệt bật / tắt được thêm vào xung quanh mã không thể truy cập.

- lỗi cuộc gọi
Khi $ uerror (hoặc $ uassert, v.v.) muốn hiển thị một thông báo, hãy gọi
chức năng thay vì $ display và $ stop.

- thông tin cuộc gọi
Khi $ uinfo muốn hiển thị một thông báo, hãy gọi hàm được chỉ định thay vì
$ hiển thị.

--call-cảnh báo
Khi $ uwarn (hoặc $ uwarn_clk, v.v.) muốn hiển thị một thông báo, hãy gọi
chức năng thay vì $ display và $ stop.

--ngày
Kiểm tra ngày và kích thước tệp so với lần chạy vpassert gần đây nhất và không xử lý nếu
tệp nguồn đã cho không thay đổi.

--loại trừ
Loại trừ việc xử lý bất kỳ tệp nào bắt đầu bằng tiền tố được chỉ định.

--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.

--language <1364-1995|1364-2001|1364-2005|1800-2005|1800-2009|1800-2012>
Đặt tiêu chuẩn ngôn ngữ cho các tệp. Điều này xác định mã thông báo nào là tín hiệu
so với từ khóa, chẳng hạn như "do" (tín hiệu xuất dữ liệu, so với vòng lặp do-while
từ khóa).

- tối thiểu
Bao gồm `__message_minimum trong kiểm tra $ uinfo, để bằng cách xác định __message_minimum = 1
một số uinfos có thể được tối ưu hóa đi tại thời điểm biên dịch.

--noline
Không phát ra các chỉ thị dòng. Nếu không được chỉ định, chúng sẽ được sử dụng dưới --language
1364-2001 và sau đó.

--nopli
Xóa tất cả các cuộc gọi PLI 'đơn giản'. Các lệnh gọi hàm PLI bên trong dấu ngoặc đơn sẽ không
đã thay đổi, và do đó có thể vẫn cần phải được thực hiện theo cách thủ công nếu đã loại bỏ. Hữu ích để giảm
lượng `ifdef's cần thiết để cung cấp cho các chương trình tổng hợp không có thẩm quyền của PLI.

--nostop
Theo mặc định, $ error và $ warning chèn một câu lệnh $ stop. Với --nostop, đây là
được thay thế bằng cách tăng một biến, sau đó có thể được sử dụng để tạm dừng có điều kiện
mô phỏng.

--o hồ sơ
Sử dụng tên tệp đã cho cho đầu ra thay vì tên đầu vào .vpassert. Nếu tên
kết thúc bằng a / nó được sử dụng như một thư mục đầu ra với tên mặc định.

--Yên lặng
Chặn thông báo về những tệp nào đang được xử lý trước.

--có ý định thực sự
RealIntent đặc biệt bật / tắt được thêm vào mã không thể truy cập.

--synthcov
Khi "ifdef SYNTHESIS" được nhìn thấy, hãy tắt vùng phủ sóng. Tiếp tục trên `else hoặc` endif.
Điều này KHÔNG tuân theo các định nghĩa con, ví dụ:

`ifdef TỔNG HỢP
`xác định MYSYNTH
`endif
`ifdef MYSYNTH // Điều này sẽ không được bù trừ

- đơn vị định dạng thời gian các đơn vị
Nếu được chỉ định, hãy bao gồm các cuộc gọi Verilog $ timeformat trước tất cả các tin nhắn. Sử dụng được cung cấp
đối số như các đơn vị. Các đơn vị có lũy thừa là 10, do đó -9 cho biết sử dụng nano giây.

--timeformat-chính xác khu đất
Khi sử dụng --timeformat-units, hãy sử dụng giá trị này làm giá trị chính xác, số chữ số
sau dấu thập phân. Giá trị mặc định là XNUMX.

--vericov
Đặc biệt cho phép / vô hiệu hóa Vericov được thêm vào mã không thể truy cập được.

- người hành nghề
Đã bật bản dịch Trình xác minh đặc biệt.

--phiên bản
Hiển thị phiên bản chương trình và các lần thoát.

--vcs
Bảng phân tích đặc biệt VCS bật / tắt được thêm vào mã không thể truy cập được.

CHỨC NĂNG

Các lệnh gọi giả pli Verilog này được mở rộng:

/ * vp_coverage_off * /
Tắt phạm vi bảo hiểm cho tất cả các công cụ bắt đầu từ thời điểm này. Không cần phải trên một
dòng duy nhất.

/ * vp_coverage_on * /
Bật lại phạm vi bảo hiểm sau vp_coverage_off. Không cần phải ở trên một dòng duy nhất.

$ uassert (trường hợp, "thông điệp", [đi...])
Báo cáo lỗi $ uerror nếu trường hợp đã cho là FALSE. (Như khẳng định () trong C.)

$ uassert_amone (sig, [sig...], "thông điệp", [đi...])
Báo cáo $ uerror nếu nhiều tín hiệu được khẳng định hoặc bất kỳ tín hiệu nào là X. (Không có tín hiệu nào được khẳng định là
ok.) Thông báo lỗi sẽ bao gồm một màn hình nhị phân của các giá trị tín hiệu.

$ uassert_info (trường hợp, "thông điệp", [đi...])
Báo cáo $ uinfo nếu trường hợp đã cho là FALSE. (Như khẳng định () trong C.)

$ uassert_onehot (sig, [sig...], "thông điệp", [đi...])
Báo cáo lỗi $ uerror nếu ngoài một tín hiệu được khẳng định hoặc bất kỳ tín hiệu nào là X. Lỗi
thông báo sẽ bao gồm một màn hình nhị phân của các giá trị tín hiệu.

$ uassert_req_ack (req_sig, xác nhận, [dữ liệu_sig, ...])
Kiểm tra xung yêu cầu chu kỳ đơn, theo sau là xác nhận chu kỳ đơn
xung. Không cho phép bất kỳ tín hiệu dữ liệu nào thay đổi giữa yêu cầu và
nhìn nhận.

$ ucheck_ilevel (cấp )
Trả về true nếu mức __message lớn hơn hoặc bằng mức đã cho và điều đó
tin nhắn toàn cầu được bật.

$ ucover_clk (đồng hồ, nhãn)
Tương tự như $ uerror_clk, hãy thêm một xác nhận SystemVerilog vào đồng hồ được chỉ định tiếp theo
cạnh, với nhãn được chỉ định. Điều này cho phép các thuộc tính trang bìa được chỉ định "nội dòng"
với mã RTL bình thường.

$ ucover_foreach_clk (đồng hồ, nhãn, "msb:lsb", (... $ ui ...))
Tương tự như $ ucover_clk, tuy nhiên hãy bao gồm một phạm vi mà $ ui trong biểu thức được thay thế
với chỉ số phạm vi.

Phạm vi là "msb:lsb"để chỉ ra từ msb xuống lsb bao gồm và / hoặc được phân tách bằng dấu phẩy
Danh sách các giá trị.

Tương tự như:

for ($ ui = msb; $ ui> = lsb; $ ui = $ ui-1) bắt đầu
if (biểu thức với $ ui)
$ ucover_clk (đồng hồ, nhãn ## "_" ## bit)
cuối

Tuy nhiên, không có cách nào để tạo nhãn từ vòng lặp for (như được mã hóa psud với ## ở trên),
do đó macro này.

$ ui Chỉ mục vòng lặp được sử dụng bên trong $ ucover_foreach_clk.

$ uinfo (cấp, "thông điệp", [đi...])
Báo cáo một tin nhắn thông tin ở dạng chuẩn. Kết thúc kiểm tra nếu vượt quá giới hạn cảnh báo.

$ uerror ("nội dung", [đi...])
Báo cáo thông báo lỗi ở dạng chuẩn. Kết thúc kiểm tra nếu vượt quá giới hạn lỗi.

$ uerror_clk (đồng hồ, "thông điệp", [đi...])
Báo cáo thông báo lỗi ở dạng chuẩn ở cạnh đồng hồ tiếp theo. Nếu bạn đặt một
$ uerror, v.v. trong khối logic kết hợp (luôn là @ *), trình mô phỏng dựa trên sự kiện có thể kích hoạt sai
khẳng định do trục trặc. $ uerror_clk sửa lỗi này bằng cách thay vào đó tạo một
tín hiệu và sau đó di chuyển chính nó đến một khối có xung nhịp mới ở cạnh được chỉ định.
Lưu ý rằng bất kỳ biến nào được in ra sẽ là giá trị tại thời điểm của cạnh đồng hồ tiếp theo,
có thể khác với giá trị mà $ uerror_clk được chỉ định.

$ uwarn ("nội dung", [đi...])
Báo cáo một thông báo cảnh báo ở dạng tiêu chuẩn.

$ uwarn_clk (đồng hồ "thông điệp", [đi...])
Báo cáo thông báo cảnh báo ở dạng chuẩn ở cạnh đồng hồ tiếp theo. Xem $ uerror_clk.

PHÂN PHỐI

Verilog-Perl là một phần củahttp://www.veripool.org/> công cụ phần mềm Verilog EDA miễn phí
Thượng hạng. Phiên bản mới nhất có sẵn từ CPAN và từ
<http://www.veripool.org/verilog-perl>.

Bản quyền 2000-2016 của Wilson Snyder. Gói này 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ó theo các điều khoản của Giấy phép Công cộng Ít hơn GNU
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ệ]>, Duane Galbi[email được bảo vệ]>

Sử dụng vpassertp trực tuyến bằng các dịch vụ onworks.net