VCD2LXT(1) Filetype Conversion VCD2LXT(1)

vcd2lxt - تبدیل فایل‌های VCD به فایل‌های LXT درهم‌بافته یا خطی

vcd2lxt [VCDFILE] [LXTFILE] [option]...

فایل‌های VCD را به فایل‌های LXT درهم‌بافته (interlaced) یا خطی (linear) تبدیل می‌کند. فایل‌های درهم‌بافتهٔ فشرده‌نشده سریع‌ترین دسترسی را فراهم می‌کنند، در حالی که فایل‌های خطی کندترین دسترسی را داشته اما بالاترین نسبت‌های فشرده‌سازی را ارائه می‌دهند.

علاوه بر انجام تبدیل، آماری از تمام نت‌ها (nets) در فایل VCD را چاپ می‌کند.
الگوریتم تفریق دوسویه (two-way subtraction) را به‌منظور شناسایی نت‌هایی اعمال می‌کند که مقدار آن‌ها با یک XOR ثابت تغییر می‌کند یا مقدار آن‌ها در هر واحد زمان ثابت، به میزان ثابتی افزایش یا کاهش می‌یابد. این گزینه می‌تواند اندازهٔ فایل روگرفت (dumpfile) را به میزان چشمگیری کاهش دهد، زیرا تغییرات مقدار را می‌توان به‌جای نمایش صریح در قالب یک سه‌تایی از زمان، نت و مقدار، با یک معادله نشان داد.
داده‌ها را پس از فیلتر شدن از طریق zlib (gzip) در فایل می‌نویسد.
خروجی LXT را در قالب «خطی» (linear) و بدون اشاره‌گرهای بازگشتی (backpointers) می‌نویسد. این اشاره‌گرها هنگام مقداردهی اولیه در gtkwave دوباره تولید می‌شوند. علاوه بر این، از libbz2 (bzip2) به‌عنوان فیلتر فشرده‌سازی استفاده می‌کند.
تغییرات مقداری که بزرگ‌تر یا مساوی با size بیت باشند را به‌صورت یک نمایه در یک فرهنگ‌نامه (dictionary) ذخیره می‌کند. نتایج تجربی نشان می‌دهد که مقدار 18 برای اکثر موارد بهینه است.

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

این دستور بسته‌بندی کلاک (clock packing) و فشرده‌سازی zlib را روشن کرده و کدگذاری فرهنگ‌نامه‌ای را فعال می‌کند. توجه داشته باشید که استفاده نکردن از گزینه‌ها، یک فایل LXT معمولی می‌نویسد.
برای دستیابی به فایل‌هایی حتی کوچک‌تر، از حالت خطی استفاده می‌کند.

Anthony Bybell <bybell@rocketmail.com>

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

1.3.34 Anthony Bybell