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

CHƯƠNG TRÌNH:

TÊN

tương tự - Một công cụ mô phỏng để mô tả phần cứng

SYNOPSIS

tương tự [tùy chọn] [root_file] [tệp_mẫu] [tệp_kết quả]

MÔ TẢ

tương tự là một công cụ mô phỏng logic để mô tả phần cứng. Nó biên dịch và tải một
mô tả phần cứng hoàn chỉnh được viết bằng VHDL (Các mạch tích hợp tốc độ rất cao
Ngôn ngữ Mô tả Phần cứng). Mô tả phần cứng có thể là cấu trúc (một hệ thống phân cấp của
cá thể) hoặc hành vi. Chỉ một tập hợp con của VHDL được hỗ trợ. Các mô tả không
khớp với tập hợp con này gây ra lỗi cú pháp trong quá trình biên dịch. Nhìn thấy vhdl(5) để biết chi tiết
thông tin về tập hợp con được hỗ trợ của VHDL.

Sau khi mô tả phần cứng được tải, tương tự tìm kiếm một mô tả mô phỏng
tập tin. Tệp này sẽ được viết bằng pat định dạng. Tệp được biên dịch, tải và liên kết
với mô tả phần cứng. Sau đó, mô phỏng được bắt đầu. Khi các mẫu
đã xử lý, một tệp kết quả trong pat định dạng được sản xuất.

Nếu hành động lưu đã được yêu cầu trong tệp mô tả mẫu (xem pat (5)), tương tự
cũng tạo một tệp lưu đại diện cho trạng thái của mô tả ở cuối
mô phỏng của mẫu cuối cùng. Tệp lưu được đặt tên tập tin gốc.sav, ở đâu tập tin gốc is
tên của mô tả.

Tệp lưu có thể được sử dụng trong một trình tự mô phỏng sau này để khởi tạo trạng thái của
(giống nhau) mô tả phần cứng trước khi bắt đầu mô phỏng. Sử dụng cơ chế này, một
chuỗi các mẫu có thể được chia thành nhiều chuỗi nhỏ, mỗi chuỗi sẽ khởi tạo
mô tả phần cứng với tệp lưu là kết quả của trình tự trước đó.

tương tự đọc một số tham số từ các biến môi trường:

MBK_CATA_LIB danh sách các thư mục chứa các tệp mô tả và mẫu (sử dụng
Cú pháp $ PATH). Đường dẫn mặc định là thư mục hiện tại (xem mbk(1)).

MBK_WORK_LIB chỉ định thư mục làm việc hiện tại. Thư mục làm việc
định danh nơi ghi tất cả các tệp đầu ra.

MBK_CATAL_NAME Cho biết tệp nơi các tệp mô tả hành vi được liệt kê.
Tệp này được sử dụng để xóa các ô của một mô tả cấu trúc. (Xem
mbk(1))

MBK_IN_LO phần mở rộng tệp cho thực thể cấu trúc. (Thấy chưa mbk(1))

VH_BEHSFX danh sách các phần mở rộng tệp cho các thực thể hành vi (sử dụng cú pháp $ PATH).
Phần mở rộng tệp mặc định là vbe.

VH_PATSFX danh sách các phần mở rộng tệp cho các thực thể mô tả mẫu (sử dụng $ PATH
cú pháp). Phần mở rộng tệp mặc định là pat.

VH_DLYSFX danh sách các phần mở rộng tệp cho các thực thể mô tả sự chậm trễ (sử dụng $ PATH
cú pháp). Phần mở rộng tệp mặc định là đần độn.

VH_MAXERR số lỗi tối đa cho phép trong giai đoạn mô phỏng. Nếu
số lỗi xảy ra trong quá trình mô phỏng đạt đến VH_MAXERR, tương tự
dừng mô phỏng khi kết thúc xử lý mẫu hiện tại.
Các mẫu theo sau mẫu hiện tại vẫn chưa được xử lý và
được sao chép trong tệp kết quả. Giá trị mặc định của VH_MAXERR là 10.

tập tin gốc là tên của mô tả.

Theo mặc định tương tự tìm kiếm một mô tả cấu trúc. Nó sử dụng MBK_IN_LO môi trường
các biến để xác định cả định dạng và phần mở rộng của tệp mô tả cấu trúc.
Để tải các tệp VHDL cấu trúc MBK_IN_LO phải được đặt thành vst.

Để tải một mô tả hành vi thuần túy -b tùy chọn phải được chỉ định. Trong trường hợp như vậy tương tự
tải tệp mô tả VHDL luồng dữ liệu. Các VH_BEHSFX biến môi trường cung cấp cho
các phần mở rộng sẽ được sử dụng.

mẫu_file là tên thực thể của mô tả mẫu. Tệp chứa cái này
thực thể phải được đặt tên mẫu_file.ext , Nơi ext là một trong những phần mở rộng được chỉ định trong
VH_PATSFX.

tập tin kết quả là tệp kết quả được tạo ra bởi tương tự. Tệp kết quả là một mẫu
tệp mô tả có phần mở rộng được chỉ định bởi VH_PATSFX.

LỰA CHỌN

-b xem xét tập tin gốc mô tả như một mô tả hành vi

-ngay lại [phút, tối đa, gõ] sự chậm trễ
sử dụng tập tin delay_file.ext vì sự chậm trễ chú thích, ở đâu ext là một trong những
phần mở rộng được chỉ định trong VH_DLYSFX.

-bdd sử dụng các BDD (Sơ đồ Quyết định Nhị phân) để biểu diễn các biểu thức. Sử dụng
tùy chọn này làm cho mô phỏng nhanh hơn hai lần nhưng tăng
yêu cầu bộ nhớ

-c chỉ chạy giai đoạn biên dịch

-cốt lõi tập tin lõi ở lỗi đầu tiên gặp phải, đổ trạng thái của mạch ở cả hai
một tệp ascii (hậu tố .cor) và một tệp lưu nhị phân (hậu tố .sav)
có thể được sử dụng làm tệp khởi tạo trong một phiên tiếp theo. Nếu
-có tùy chọn được chỉ định một tệp mẫu cũng được tạo ra.

-dbg [sbpldc] gọi trình gỡ lỗi (sử dụng trình phát triển)

-độ trễ mặc định (-đ) chỉ sự chậm trễ null (không có mệnh đề sau trong tệp VHDL) được thay đổi nếu
sự chậm trễ có chú thích phía sau hoặc độ trễ cố định được chỉ định.

-cố định độ trễ giá trị (-fd giá trị)
tất cả sự chậm trễ của mô tả đã được khắc phục để giá trị.

-h hiển thị tệp trợ giúp này

-i giá trị khởi tạo tất cả các tín hiệu của mô tả bằng giá trị. Giá trị có thể là 0
hoặc 1

-i lưu tập tin đọc tệp lưu và sử dụng tệp đó để khởi tạo trạng thái của mô tả
trước khi xử lý mẫu đầu tiên (tên tệp không được là 1 hoặc 0)

-quan sát tên_ví dụ
tạo một tệp mẫu tương ứng với giao diện của phiên bản
xác định bởi tên phiên bản

-l n in nhiều nhất n ký tự cho nhãn mẫu. Giá trị mặc định cho n
là 15.

-có không tạo tệp kết quả

-p n tải nhiều nhất n các mẫu từ tệp mẫu đầu vào mỗi lần. Sử dụng cái này
tính năng giảm phân bổ bộ nhớ khi một số lượng lớn các mẫu
được mô phỏng. Ngoài ra sau khi n các mẫu đã được xử lý,
kết quả mô phỏng được in trong tệp mẫu kết quả. Các
giá trị mặc định cho n là 0 làm cho toàn bộ tệp mẫu được tải.

-t theo dõi tín hiệu khi tạo BDD (cách sử dụng của người phát triển).

-vận chuyển sử dụng mô hình trì hoãn vận chuyển (mặc định là quán tính).

-zerodelay (-zd) tất cả sự chậm trễ của mô tả VHDL được coi là sự chậm trễ null.

THÍ DỤ

asimut -b -i init_add adder_32 adder_patterns res_add

mô phỏng một mô tả hành vi được giữ trong tệp có tên 'adder_32.vbe bằng cách sử dụng mẫu
tệp `adder_patterns.pat '. Kết quả mô phỏng được viết thành 'res_add.pat' và
mô tả được khởi tạo với các giá trị có trong 'init_add.sav'.

CHẨN ĐOÁN

Đăng ký khởi tạo trong tệp mẫu cho phép thay đổi giá trị của một đăng ký thành
một giá trị đã biết. Tuy nhiên, sử dụng tính năng này để khởi tạo sổ đăng ký trước khi thực thi
mẫu đầu tiên không được khuyến khích. Giá trị đăng ký (được xác định bởi quá trình khởi tạo
câu lệnh) có thể bị ghi đè vì mô tả không có trạng thái mạch lạc trước phần đầu tiên
mô hình.

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