** HỆ THỐNG Verilog **

A

ankit12345

Guest
Im sử dụng VCS_mx 7.1.2

cần phải xác minh được xây dựng môi systemverilog.

Tôi nghĩ rằng ....... VCS là không hỗ trợ tất cả các SV xây dựng .........

Làm thế nào để bắt đầu ... làm thế nào để tiến hành ........

Có ví dụ với ..... env đầy đủ như FIFO ..... để tham khảo ................

Nếu vậy, ở đâu tôi có thể nhận được điều đó???

Hãy cho tôi một số ý tưởng .......

Tôi có kinh nghiệm trong việc xác minh bằng cách sử dụng Verilog .......

Nhưng SV xác minh incudes nhiều khái niệm verilfication cao cấp ......
.... vui vẻ như bao phủ .... khẳng định .... khăn ....

Tôi nghĩ rằng tôi có thể bắt đầu FIFO SV env sử dụng ví dụ thế giới ASIC-........
được xây dựng trong e (SPECMAN)
http://www.asic-world.com/examples/specman/fifo.html

Coz ..... hầu hết các SV và e cấu trúc tương tự .......... cho FIFO (phân hệ của tôi là simillar để FIFO, do đó, tôi wannna cho một thử trên FIFO)

http://www.asic-world.com/examples/systemverilog/memory.html
Xin đi qua ....... liên kết ở trên và cho tôi biết đó là trường hợp kiểm tra trong ví dụ mà .....

Fallowing sách ......
SV để xác minh --- chris spear
Nghệ thuật của xác minh bằng cách sử dụng SVA ---- Faisal Haque
SV lrmThêm vào sau khi 14 phút:Trong h ** p: / / www.asic-world.com/examples/specman/fifo.html
Ví dụ ...........

cho tôi làm thế nào để viết một trường hợp thử nghiệm đơn giản ....
Tôi đã nhận một số ý tưởng ... vẫn còn một số rắc rối .........
Last edited by ankit12345 ngày 05 tháng 3 năm 2007 12:43; edited 1 thời gian trong tổng số

 
Ankit,

ankit12345 đã viết:

Im sử dụng VCS_mx 7.1.2
 
Kính ajeetha,

Cảm ơn bạn đã hướng dẫn.
Tôi đã nhận giấy snug, đi qua nó.

VCS 7.2,7.1.1,7.2.1 ........ đó là những phiên bản sẵn có .....
mà là tốt nhất trong số trên cho SV .....
khác, tôi sẽ nói chuyện với quản trị hệ thống của tôi về việc này .....

Kính trọng
Ankit

 
ankit12345 đã viết:

Kính ajeetha,Cảm ơn bạn đã hướng dẫn.

Tôi đã nhận giấy snug, đi qua nó.VCS 7.2,7.1.1,7.2.1 ........ đó là những phiên bản sẵn có .....

mà là tốt nhất trong số trên cho SV .....

 
hi ankit,

thử vcs 2.006-06 phiên bản, nó hỗ trợ hầu hết các tính năng SV, khăn và nhiều hơn nữa đó là rất hữu ích cho môi trường xác minh nhiều.

tốt hơn hãy thử kiểm tra với quản trị viên của bạn về phiên bản mới nhất của vcs có sẵn.

anyways, xin vui lòng cho tôi biết những tính năng nào cần u để xây dựng một môi trường xác minh hoàn chỉnh ...

 
Got vcs 2006-06.started làm việc trên nó.Tôi có kiến thức về specman.

Tôi đã đi qua các hướng dẫn khác nhau trên SV.

nhận được những ý tưởng làm thế nào để sử dụng khăn, khẳng định, bảo hiểm, struct ...... coz này có sẵn trong specman .........
không thể nghĩ interms của systemverilog ..............

làm thế nào để xây dựng một môi trong SV cho FIFO (FIFO không chính xác, phân hệ của tôi là simillar để FIFO, do đó, i cant sử dụng được xác định trước hàng đợi của SV)
WE có thể làm viết, đọc, xoá, shuffel ..... etc trên module của tôi ...

không thể nghĩ interms của SV ........

i đã viết ............ nhiệm vụ cho từng hoạt động
mỗi nhiệm vụ khi được gọi là ....... sẽ buộc các đầu vào của DUT .........
trong trường hợp kiểm tra ...... đơn đặt hàng của các nhiệm vụ (ví dụ: đọc, viết, đọc, viết)
sẽ xác minh các chức năng yêu cầu.

khác cách xây dựng môi xác minh là .......
trong specman, trật tự của sequencess sẽ verifi các funcationality yêu cầu cho mô-đun này ........

i nên xây dựng môi, nơi mà các trường hợp kiểm tra được thực hiện bằng cách gọi điện thoại công việc????
sau đó tôi nghĩ rằng, những hạn chế là không có nhiều hữu ích cho mô-đun này
i nên viết bằng cách sử dụng sruct đầu vào? nơi đầu vào được initally ngẫu nhiên ........... sau đó hạn chế nó để kiểm tra các chức năng specfic????

là có cách nào khác để xây dựng môi????

Tôi đã viết taskes và khẳng định trong SV cho mô-đun này.
Got strucked sau này ........ cho tôi một số ý tưởng ........

Tôi nghĩ rằng nhiệm vụ ............ ............. gọi là silly .......... đó sẽ không sử dụng nhiều các feauters của SV.

thenks trong ADVANCE
ankit

 
Ankit,
Tôi vui mừng rằng bạn đang yêu cầu phải đặt câu hỏi.

ankit12345 đã viết:

Got vcs 2006-06.started làm việc trên nó.
Tôi nghĩ rằng nhiệm vụ ............ ............. gọi là silly .......... đó sẽ không sử dụng nhiều các feauters của SV.thenks trong ADVANCE

ankit
 
Khi sử dụng Verilog để xác minh,
để lưu trữ dữ liệu như các gói tin ethernet, đòi hỏi nhiều bộ nhớ .......
Chúng tôi sử dụng C để lưu trữ các gói .......

Do i cần phải làm như vậy khi chúng tôi là xây dựng môi trong SV??
các đối tượng được tạo ra năng động trong SV, chúng có thể được deallocated.

Thì tốt hơn??? Để lưu trữ trong SV r C????Thêm vào sau khi 46 phút:Tôi nghĩ rằng VCS2006-06 là không hỗ trợ 'rand' xây dựng ........sau đó như thế nào tôi có thể làm việc kiểm tra ngẫu nhiên???
bất kỳ cách nào khác ??????

 
ankit12345 đã viết:Do i cần phải làm như vậy khi chúng tôi là xây dựng môi trong SV??

các đối tượng được tạo ra năng động trong SV, chúng có thể được deallocated.

 
Kính anitha,
nơi mà tôi có thể nhận được thông tin về các cấu trúc được hỗ trợ bởi công cụ của tôi???

Tôi đã nhận một SVlrm với công cụ VCS của tôi ......... u có thể tìm thấy nó trong / VCS_HOME / docs / userguide ..
những gì về điều này???? tại sao một số ý kiến được viết "xây dựng không implimented"
bên cạnh rand ---- của nó được viết "xây dựng không implimented"
vì vậy ithought của nó chưa implimented.

hãy để tôi thử và kiểm tra thời tiết các công cụ hỗ trợ r không .....

"ngẫu nhiên cheching "..... tiếng anh của tôi là người nghèo ......
Tôi có nghĩa là xác nhận ngẫu nhiên ....... tôi nhận những gì u nói .....

cảm ơnThêm vào sau khi 2 phút:Tôi gửi đến ur ID gmail ........ vui lòng trả lời sớm nhất.

 
Hi ankit,
at / doc / vị trí userguide / u ur của Synopsys công cụ có thể lấy svtb.pdf
hoặc thậm chí bạn có thể tải xuống từ mạng.chỉ cần kiểm tra ở google.
một điều nữa hướng dẫn này sẽ cho u về VCS đã hỗ trợ cho SV.

-regards
-Manmohan

 
SỬ DỤNG VCS

Error-[UTOPN] Không biết loại hoặc tên cổng
Tên kiểu 'Chấm Công' là không rõ, hoặc nhận dạng các 'cb' đã không được
liệt kê như là một cổng, hoặc tuyên bố là có thể đại diện cho một thể
thiếu ngoặc đơn.
"proj.sv", 18: token là '@'
Chấm Công mới @ CLK posedge ();

những gì tôi đã làm sai?giúp tôi

 
ankit12345 đã viết:

SỬ DỤNG VCSError-[UTOPN] Không biết loại hoặc tên cổng

Tên kiểu 'Chấm Công' là không rõ, hoặc nhận dạng các 'cb' đã không được

liệt kê như là một cổng, hoặc tuyên bố là có thể đại diện cho một thể

thiếu ngoặc đơn.

"proj.sv", 18: token là '@'

Chấm Công mới @ CLK posedge ();những gì tôi đã làm sai?
giúp tôi
 
giao diện Proj (input bit CLK);
logic [1] cấp, yêu cầu;
logic đặt lại;

Chấm Công mới @ CLK posedge ();
sản lượng yêu cầu;
cấp đầu vào;
endclocking

modport thử nghiệm (Chấm Công mới,
sản lượng đặt lại);

modport DUT (đầu vào yêu cầu, đặt lại, CLK,
sản lượng cấp);endinterfaceThêm vào sau khi 2 phút:vcs-sverilog-debug_all proj.sv

 
Ankit,
Vài vấn đề trong mã của bạn:
is a keyword in SV, so change it to say "cblk_new"

mới
là một từ khóa trong SV, do đó, thay đổi nó để nói "cblk_new"

Mã số:logic [1] cấp, yêu cầu;Gì [1] mua bạn ở đây?
Nó không đúng, tôi tin rằng cú pháp.
Sử dụng:logic cấp, yêu cầu;

 
vcs-2006-06 phiên bản hỗ trợ chế "ngẫu nhiên" tôi nghĩ rằng như vậy,
bởi defualt chúng hoạt động trong phạm vi chương trình ....

 
Tôi muốn tạo một gói bằng cách sử dụng lớp.
Simillar này.

lớp gói
int rand tiêu đề;
rand int len;
rand trọng tải byte [];
int crc;
rand bit goodcrc;
hạn chế G (len> 1; payload.size == len;)
void post_randomize chức năng;
nếu (goodcrc)
crc = payload.sum;
khác
crc = 0;
endfunction
endclass

khi gửi gói bằng bao bì ............
gói p = mới;

packedpacket = (<<byte (p));

sau đó goodcrc cũng nhận được đóng gói.
Im không quan tâm đến việc gửi này chút feild goodcrc.

một trong những giải pháp là sử dụng
packedpacket = (<<byte (p.header, p.len--------------

bất kỳ giải pháp nào khác không????
Im không quan tâm đến tất cả các gói các feilds của lớp.
i có thể tuyên bố này không quan tâm feilds ra khỏi lớp học?
bất kỳ probs???? làm thế nào để làm gì????
????? bất kỳ ý tưởng khácTrong specman, goodcrc bit này được gọi là ảo feild.
phần còn lại của feilds quan tâm được gọi là vật lý feild.
khi chúng tôi đóng gói, chỉ feilds vật lý được feilds packed.virtual được bỏ rơi.

nhờ ở cao cấp

 
hi Ankith,

khai báo biến này không mong muốn "goodcrc" ở bên ngoài phạm vi lớp học, cho phép nói trong phạm vi chương trình.ok, bây giờ trong post_randomize () chức năng làm như ngẫu nhiên này goodcrc
goodcrc = $ ngẫu nhiên, và những điều còn lại là như trước ..

phương pháp lớp học có thể thấy các tín hiệu được bên ngoài lớp cũng có, bởi vì các khai báo lớp và khai báo goodcrc là cả hai cùng cấp, do đó, nó sẽ làm việc ...

Sự khác biệt duy nhất là goodcrc = $ ngẫu nhiên là inheritant với p.randomize () trong trường hợp kiểm tra của bạn, và bây giờ tôi chỉ cần thực hiện nó như là rõ ràng ở đây.

Bây giờ, đối tượng "p" does't có goodcrs, mặc dù chức năng là một và cùng một ....

tiện đây
vinod

 
Ankit,
Bạn đang tìm kiếm tương đương với lĩnh vực vật lý của E - chỉ cần đặt, không có, nó không tồn tại trong SV.Chỉ có cách là viết "của riêng bạn gói" chức năng.Đây là nơi có phương pháp luận trong - vì vậy mà bạn không nhận ra điều này sau khi thử nghiệm và báo lỗi.Đối với nhu cầu VMM dụ / yêu cầu người dùng viết một byte_pack "" và byt_unpack "" chức năng (ảo) cho mọi tầng lớp giao dịch.IIRC AVM này còn có tên là "Packetizer / Depacketizer".

Chúc may mắn
Ajeetha, CVC
www.noveldv.com

 

Welcome to EDABoard.com

Sponsor

Back
Top