vcs học tập bút ký ( thường dụng tuyển hạng / phảng chân lưu trình / đại mã phúc cái suất / tổng hợp hậu phảng chân / đồ nhất nhạc kỹ xảo )

Bổn tiết chủ yếu giới thiệu:
vcs thường dụng tuyển hạng
vcsPhảng chânLưu trình
vcs đại mã phúc cái suất
vcs tổng hợp hậu phảng chân
Đồ nhất nhạc kỹ xảo

VCS thị biên dịch hìnhverilogPhảng chân khí,VCS tiên tương verilog/systemverilog văn kiện chuyển hóa vi C văn kiện, tạilinuxHạ biên dịch sinh thành đích khả chấp hành văn./simv tức khả đắc đáo phảng chân kết quả.

vcs biên dịch hậu, sinh thành khả chấp hành nhị tiến chế văn kiện simv: Chấp hành./simv tiến hành phảng chân;

vcs thường dụng tuyển hạng

• vcs -help: Liệt xuất sở hữu vcs biên dịch vận hành tuyển hạng
• -Mupdate: Tăng lượng biên dịch
• -R: Biên dịch hậu lập tức chấp hành phảng chân
• -l: Thâu xuất biên dịch log đích văn kiện
• -sverilog: Chi trì systemverilog
• +v2k: Chi trì 2001 verilog tiêu chuẩn
• -f: Chỉ định bao hàm văn kiện liệt biểu đích filelist
• -o: Tu cải khả chấp hành văn kiện simv văn kiện danh
• -full64: Chi trì 64 vị mô thức hạ đích biên dịch phảng chân
• -fsdb: dump fsdb ba hình
• -ucli: Tại UCLI mệnh lệnh hành mô thức hạ chấp hành simv
• -gui: DVE giới diện vận hành
• -work library: Tương thiết kế khố danh xưng ánh xạ đáo tiếp thu vlogan thâu xuất đích la tập khố danh xưng work
• -v lib_flie: Sưu tác chỉ định lib khố văn kiện
• -y lib_dir: Sưu tác chỉ định lib khố lộ kính
• +libext+ext: Sưu tác cụ hữu chỉ định văn kiện khoách triển danh đích văn kiện, như +libext+.v +.sv
• +incdir+directory: Sưu tác chỉ định include văn kiện lộ kính
• +define+macro: Sử dụng nguyên đại mã trung `ifdef sở định nghĩa đích hoành hoặc giả define nguyên đại mã trung đích hoành
• -parametersfilename: Tương filename văn kiện trung chỉ định đíchTham sổCanh cải vi thử thời chỉ định đích trị
• -timescale=1ns/1ns: Thiết trí phảng chân tinh độ
• -debug, debug_all, debug_pp: Đả khai debug khai quan

vcs phảng chân lưu trình

Biên tả makefie cước bổn vận hành phảng chân:

Chấp hành hạ diện biên dịch phảng chân:

makevcs
makesim

1.DVE đồ hình giới diện đả khai

Tại biên dịch thời, sử dụng +vpdfile+filename khả dĩ canh cải sinh thành VPD văn kiện đích văn kiện danh, mặc nhận vi vpdplus.vpd.

makefile trung thiêm gia:

ALL_DEFINE=+define+DUMP_VPD
VPD_NAME=+vpdfile+simv.vpd

Phảng chân văn kiện tb.v trung thiêm gia:

`ifdefDUMP_VPD
initialbegin
$display("DumpVPDwave!");
$vcdpluson();
//$vcdpluson(0,tb);// ký lục tb cập kỳ sở hữu tử mô khối đích ba hình.
//$vcdpluson(1,tb ); // chỉ ký lục tb tằng đích ba hình
//$vcdpluson(2,tb ); // ký lục tb tằng hòa tb hạ nhất tằng đích ba hình
end
`endif

Tại phảng chân hoàn thành hậu, sinh thành liễu simv.vpd giá cá văn kiện, giá cá văn kiện ký lục liễu phảng chân quá trình trung sở hữuTín hàoĐích ba hình,

Khả dĩ sử dụng dve đả khai:

dve-vpdsimv.vpd&

Tuyển trung sở hữu tín hào --> hữu kiệnAdd to Waves --> New Wave View

2.verdi đồ hình giới diện đả khai

Thông thường sử dụng VCS sinh thành fsdb cách thức đích ba hình văn kiện, tương kỳ đạo nhập lánh nhất cá nhuyễn kiện Verdi tra khán ba hình, đại thế DVE tiến hành liên hợp phảng chân;

vcs tuyển hạng gia thượng -fsdb, phảng chân văn kiện tb.v trung thiêm gia:

initialbegin
$display("Dumpfsdbwave!");
$fsdbDumpfile("tb.fsdb");
$fsdbDumpvars;
end

Phảng chân hoàn thành hậu chấp hành hạ diện mệnh lệnh đả khai verdi:

makeverdi

Thôi tiếnTra khánverdi thật dụng kỹ xảoHòafsdb thật dụng kỹ xảo

Đại mã phúc cái suất

Tại nhất cáTâm phiếnNghiệm chứng đích công trình trung, thông thường dĩ đại mã phúc cái suất hòa công năng phúc cái suất lai thể hiện nghiệm chứng thị phủ hoàn bị;

Công năng phúc cái suất tựu thị kiểm tra thiết kế đích công năng thị phủ hoàn thiện, nhu yếu khảo lự ngận đa bất đồng đích tình huống, thị sử dụng SV đích trọng điểm nội dung.

Đại mã phúc cái suất thị kiểm tra đại mã thị phủ tồn tại nhũng dư, kiểm tra sở hữu đích đại mã thị phủ đô dĩ kinh chấp hành, bao quát: Hành, trạng thái cơ, phiên chuyển, điều kiện, phân chi phúc cái suất đẳng, giá lí chỉ thảo luận đại mã phúc cái suất.

VCS tại thống kế đại mã phúc cái suất đích quá trình trung, nhu yếu tại biên dịch hòa phảng chân mệnh lệnh thượng thiêm gia đối ứng đích khai quan tuyển hạng, sinh thành.vdb văn kiện ký lục phúc cái suất tình huống.

Tái sử dụng dve đả khai cai văn kiện tiến hành tra khán phúc cái suất.

Đại mã phúc cái suất tuyển hạng

• -cm:Đả khai đối ứng loại hình phúc cái suất, lệ như -cm cond+tgl+lin+fsm+path vi thống kế sở hữu phúc cái suất.
• -cm_name: Thống kế phúc cái suất văn kiện danh tự.
• -cm_dir: Chỉ định sinh thành.vdb văn kiện mục lục.
• -cm_log+filename.log: Ký lục phảng chân quá trình trung logTín tức.
• -cm_nocasedef: Tại thống kế case ngữ cú đích điều kiện phúc cái suất thời, bất khảo lự default điều kiện vị đạt đáo đích tình huống.
• -cm_hier xxx.cfg: Thông quá.cfg văn kiện tuyển trạch yếu tra khán phúc cái suất đích mô khối hoặc văn kiện.

Thông quá DVE tra khán phúc cái suất ( phương pháp 1 )

Phảng chân hoàn thành hậu chấp hành hạ diện mệnh lệnhdve -covdir *.vdb &Đả khai dve tra khán phúc cái suất:

makedve_cov

Đại mã phúc cái đáo đích vi lục sắc, một hữu phúc cái đáo đích vi hồng sắc:

Thông quá URG tra khán phúc cái suất ( phương pháp 2 )

Khả dĩ dĩ văn bổn cách thức hoặc giả võng hiệt cách thức hiển kỳ phúc cái suất;

Hoặc giả:

urg-dir*.vdb-reporturgReport

Tiến nhập urgReport mục lục, chấp hành hạ diện mệnh lệnh đả khai võng hiệt bản, tra khán phúc cái suất báo cáo

firefox*.html

Tổng hợp hậu phảng chân

Thôi tiến tra khánTổng hợp dữ thời tự phân tích

Thôi tiến tra khánHậu phảng cập phản tiêu

vcs môn cấp võng biểu phảng chân

Đương RTL công năng phảng chân thông quá chi hậu,DCCông cụ trung tiến hành la tập tổng hợp, tại la tập tổng hợp hoàn thành chi hậu, nhu yếu đối tổng hợp sinh thành đích võng biểu tái tiến hành phảng chân nghiệm chứng.

Tổng hợp hậu bao hàm điện lộ đích thật tế tín tức, như ánh xạ đích môn điện lộ tín tức, ký sinh tham sổ,.v đích võng biểu, SDF tiêu chuẩn diên thời tín tức, SDC ước thúc, công tác điều kiện đẳng tín tức.

Hậu phảng tuyển hạng

Hậu phảng bất nhu yếu đích tuyển hạng

Đái thời tự đích hậu phảng, nhất định yếu chú ý phảng chân khí thị phủ quan bế liễu notimingcheck hòa nospecify đích tuyển hạng.

Như quả hữu -nospecify, na ma SDF trung đích thời tự tín tức tựu phản tiêu bất đáo phảng chân mô hình trung;

Như quả hữu -notimingcheck, na ma hậu phảng quá trình trung tựu bất kiểm tra thời tự vi lệ, hậu phảng tựu thất khứ liễu ý nghĩa.

Hậu phảng thiêm gia tuyển hạng

• +neg_tchk: Nhược yếu sử dụng phụ diên thời kiểm tra, tại biên dịch hậu phảng thời tất tu bao hàm +neg_tchk tuyển hạng. Như quả tỉnh lược thử tuyển hạng, VCS tương sở hữu phụ diên trì canh cải vi 0.
• -negdelay: Dụng vu SDF văn kiện trung hữu phụ diên trì, như quả tỉnh lược thử tuyển hạng, VCS tương sở hữu phụ diên trì canh cải vi 0.

sdf_annotate phản tiêu

Sử dụng $sdf_annotate tương SDF văn kiện phản tiêu đáo võng biểu trung:

$sdf_annotate("sdf_file"[,module_instance][,"sdf_configfile"][,"sdf_logfile"][,"mtm_spec"][,"scale_factors"][,"scale_type"]);

Tại tb trung gia tái sdf văn kiện, chỉ định phản tiêu mô khối:

`ifdefGLS_SIM
initialbegin
$sdf_annotate("../../netlist_sim/sdf/TOP.sdf",tb.U_TOP,,"sdf.log","TYPICAL ");
end
`endif

Tu cải makefie cước bổn vận hành phảng chân:

LIB_NET_FILE chỉ định đích thị cơ bổn đích công nghệ khố đan nguyên, nhân vi võng biểu văn kiện netlist_TOP.v trung bao quát tổng hợp hậu đích do môn điện lộ hòa xúc phát khí đẳng lệ hóa hình thành đích verilog văn kiện, sở dĩ nhu yếu cơ bổn đích công nghệ khố đan nguyên.

rtl phảng chân hòa netlist phảng chân kết quả đối bỉ:

Khả dĩ khán đáo netlist phảng chân đích thâu xuất tín hào tồn tại nhất ta mao thứ cập diên trì, dữ lý tưởng đích một hữu diên trì tín tức đích rtl phảng chân bất đồng.

Đồ nhất nhạc kỹ xảo

display đả ấn thải sắc tự / bối cảnh

Khả tại phảng chân trung gia nhập nhan sắc hiển kỳ case đích tình huống, như:

Hồng sắc: Tiền cảnh sắc 31, bối cảnh sắc 41:

$display("33[31;41mHelloerror!33[0m");

Lục sắc: Tiền cảnh sắc 32, bối cảnh sắc 42:

$display("33[32;42mHellopass!33[0m");

Hoàng sắc: Tiền cảnh sắc 33, bối cảnh sắc 43:

$display("33[33;43mHellowarning!33[0m");

Thiệp cập đích nhan sắc: