lvx - Trực tuyến trên Đám mây

CHƯƠNG TRÌNH:

TÊN

lvx - Bộ so sánh danh sách mạng eXtracted theo lôgic so với eXtracted

SYNOPSIS

lvx định dạng1 định dạng2 tên tệp1 tên tệp2 [ -a ] [ -u ] [ -o ] [ -f ]

MÔ TẢ

lvx so sánh hai danh sách net cấp cổng hoặc cấp khối. Mục đích là để so sánh một
đặc điểm kỹ thuật net-list (danh sách mạng logic), đầu vào cho một địa điểm và công cụ định tuyến, với
danh sách net vật lý (danh sách net được trích xuất) thu được bởi giống cọp ở mỹ(1) bộ chiết.
Net-list 1 được coi là net-list logic và net-list 2 là net-
danh sách.
lvx là một công cụ phân cấp một cấp:

Hai danh sách ròng được làm phẳng, nếu -f có sẵn tùy chọn cho các ô chứa
trong tệp danh mục. Đường dẫn đến tệp danh mục được chỉ định trong
MBK_CATA_LIB(1) biến cho thư viện ô và trong MBK_WORK_LIB(1) biến
với cái tên MBK_CATAL_NAME(1) cho khối người dùng ( Catala(5)) không được
dẹt.

Đối với cả hai danh sách mạng, các cá thể được coi là hộp đen.

Hai danh sách mạng phải có cùng tên các trình kết nối bên ngoài.

Hai danh sách mạng phải có cùng tên phiên bản.

Hai danh sách mạng phải có cùng tên các tín hiệu đối với các tín hiệu không được kết nối.

Hai net-list không thể chứa trực tiếp các bóng bán dẫn.

So sánh được thực hiện theo ba bước:

So sánh các thiết bị đầu cuối.

So sánh các trường hợp.

So sánh các kết nối.

So sánh các tín hiệu không kết nối.

Nếu một lỗi xảy ra trong bước đầu tiên hoặc bước thứ hai, một thông báo sẽ được hiển thị ngay lập tức và
bước thứ ba sẽ không bắt đầu: lvx không thể so sánh các kết nối (tín hiệu) nếu các thiết bị đầu cuối hoặc
các trường hợp không tương đương.
Sản phẩm -o tùy chọn cho phép đặt hàng các trình kết nối nếu đã đạt được các bước được mô tả trước đó
thành công. Đã trích xuất_netlist sau đó được lưu trên đĩa. Tệp lấy tên tên tệp2
hậu tố là giá trị của MBK_OUT_LO(1) biến.
Bộ định tuyến tự động thêm các ô chuyển tiếp trống. Những ô này không được đưa vào
tài khoản trong so sánh. Một ô có F thuộc tính trong tệp danh mục ( Catala
(5) ) được coi là ô chuyển tiếp và bị xóa, trong bộ nhớ, khỏi danh sách mạng
nơi nó xuất hiện.

LỰA CHỌN

-a Một số bộ định tuyến tạo ra bố cục với một số đầu nối vật lý cho nguồn và mặt đất
( VDD or VSS ). Nếu các đầu nối đó không được kết nối nội bộ, chúng sẽ có
các tên được lập chỉ mục khác nhau ( VDD1 , VDD2 vv ...) trong danh sách net được trích xuất. Nó là
Có thể thực hiện việc cắt giảm các đầu nối nguồn và đầu nối đất đó trước đây
so sánh, sử dụng tùy chọn -a. Sau khi giảm, mỗi phiên bản chỉ chứa một
VDD đầu nối và một VSS đầu nối, như hình chính.

-o Trong trường hợp này, lvx tạo ra một danh sách mạng đã sửa đổi (được lưu với tên tên tệp2 ),
là bản sao của net-list 2 với các đầu nối có thứ tự. Thiết bị đầu cuối và phiên bản
các đầu nối được dựa vào thứ tự của các kiểu máy trong net-list 1. Mạng đã lưu-
danh sách được thực hiện với MBK_OUT_LO(1) định dạng, vì vậy người dùng phải đặt biến này trước
chạy lvx . Nếu không, giá trị mặc định sẽ được sử dụng và net-list 1 có thể bị mất
nếu tên tệp giống hệt nhau và định dạng đầu vào giống với định dạng đầu ra.
Nếu tùy chọn -a được sử dụng, thì danh sách mạng đã lưu là danh sách mạng giảm chỉ có một
VDD và một VSS .

-u Tùy chọn này buộc lvx để kiểm tra tính nhất quán của các tín hiệu chưa được gán giữa
hai danh sách mạng.

-f Hai danh sách ròng được làm phẳng thành các ô lá có trong tệp danh mục.
Thông thường, danh sách mạng được trích xuất là danh sách mạng phẳng, trong khi danh sách hợp lý có thể là
danh sách mạng phân cấp.

VÍ DỤ

Với logic_netlist có tên là amd2901.vst và tương ứng Extract_netlist as
amd2901.al chứa nhiều đầu nối nguồn, dòng lệnh là:

lvx so với amd2901 amd2901 -a

OUTPUT CÁC TẬP TIN

tên tệp2.xx Chế độ xem netlist được lưu khi -o tùy chọn hiện tại. Hậu tố phụ thuộc
trên MBK_OUT_LO(1) biến môi trường.

MÔI TRƯỜNG BIẾN

MBK_CATA_LIB chứa các thư mục chứa các thư mục tế bào. MBK_WORK_LIB
chứa đường dẫn thư mục của thư mục làm việc, thường được đặt thành .
(dấu chấm).

MBK_OUT_LO chứa định dạng dự kiến ​​của đầu ra danh sách ròng.

MBK_CATAL_NAME chứa tên của danh mục ô người dùng.

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