VCD2LXT2(1) Filetype Conversion VCD2LXT2(1)

vcd2lxt2 - تبدیل فایل‌های VCD به فایل‌های LXT2

vcd2lxt2 [گزینه]... [VCDFILE] [LXTFILE]

فایل‌های VCD را به فایل‌های LXT2 تبدیل می‌کند.

نام فایل ورودی VCD را مشخص می‌کند.
نام فایل خروجی LXT2 را مشخص می‌کند.
عمق فشرده‌سازی gzip را بین 0 تا 9 تعیین می‌کند؛ مقدار پیش‌فرض 4 است.
تعداد گرانول‌ها (granules) در هر بخش را مشخص می‌کند؛ مقدار پیش‌فرض 8 است. هر گرانول معادل ۳۲ گام زمانی (timesteps) است.
اندازهٔ شکست (break size) را مشخص می‌کند (پیش‌فرض = 0 = خاموش). هنگامی که اندازه از این مقدار فراتر رود، تخلیه‌کنندهٔ LXT2 تمام اطلاعات وضعیت را در مرز مناسب بعدی گرانول به همراه واژه‌نامه (dictionary boundary) تخلیه (dump) می‌کند.
حالت zip جزئی را مشخص می‌کند: 0 = یکپارچه (monolithic)، 1 = جداسازی (separation). استفاده از مقدار 1 اندازهٔ فایل LXT2 را افزایش می‌دهد اما دسترسی سریعی برای ردگیری‌های (traces) بسیار بزرگ فراهم می‌آورد. توجه داشته باشید که حالت پیش‌فرض نه یکپارچه است و نه جداسازی: فشرده‌سازی جزئی غیرفعال است.
حالت نقطهٔ بازرسی (checkpoint) را مشخص می‌کند؛ 0 به معنای روشن (پیش‌فرض) و 1 به معنای خاموش است. این ویژگی هنگامی که اندازهٔ شکست فعال باشد، غیرفعال می‌شود.
نمایش صفحهٔ راهنما.

توجه داشته باشید که باید dumpfile.vcd را مستقیماً مشخص کنید یا از «-» برای stdin استفاده نمایید.

این دستور سطح فشرده‌سازی را روی 9 و اندازهٔ شکست را روی 1 گیگابایت تنظیم می‌کند.
امکان وجود گرانول‌های بیشتری در هر بخش را فراهم می‌سازد که منجر به فشرده‌سازی بیشتری می‌شود.

vcd2lxt2 جهش‌ها (glitches) را ذخیره نمی‌کند، زیرا در حین نوشتن فایل LXT2 با یکدیگر ادغام شده و به یک تغییر مقدار واحد تبدیل می‌شوند.

Anthony Bybell <bybell@rocketmail.com>

lxt2vcd(1) vcd2lxt2(1) gtkwave(1)

1.3.42 Anthony Bybell