بوم - آنلاین در ابر

برنامه:

نام

BOOM - به حداقل رساندن BOOlean

خلاصه

رونق [-VTOAP] [-l تعداد] [-d تعداد] [-من تعداد] [-آ تعداد] [-sjbgpwtmorn]
نام فایل [outname]

شرح

BOOM برای اولین مرحله از فرآیند سنتز استفاده می شود. رفتاری را بهینه می کند
توصیف با استفاده از نمودار تصمیم گیری باینری مرتب شده کاهش یافته که نشان دهنده منطق است
کارکرد. پرونده نام فایل توصیف رفتاری ورودی است و باید در آن نوشته شود
vbe(5) قالب شرح بهینه رفتاری حاصل با نام ذخیره می شود
نام بردن or ورودی_نام_o داخل vbe(5) قالب

محیط زیست متغیرها

MBK_WORK_LIB(1)
مسیر دایرکتوری خواندن/نوشتن جلسه را نشان می دهد.

OPTIONS

-V حالت پرحرف روشن است. هر مرحله از بهینه سازی بر روی استاندارد نمایش داده می شود
خروجی.

-T حالت ردیابی روشن است. برخی از اطلاعات اشکال زدایی در خروجی استاندارد نمایش داده می شود.

-O ترتیب اولیه متغیرهای Bdd را معکوس می کند.

-A BOOM یک بهینه سازی محلی را انجام می دهد و معماری اولیه را حفظ می کند
توضیحات با ذخیره بیشتر سیگنال های میانی. این حالت خوب است
مناسب برای مدارهای بزرگ یا معمولی مانند ضرب، جمع کننده. به صورت پیش فرض BOOM
یک بهینه سازی جهانی انجام می دهد و بیشتر سیگنال های میانی را حذف می کند
که خروجی ها بر حسب ورودی ها یا رجیسترهای داخلی بیان می شوند.
این حالت برای مدارهای تصادفی مانند FSMها مناسب است.

-P از فایل پارامتر استفاده می کند ورودی_نام.بوم تشریح دستورالعمل های بهینه سازی و
محدودیت ها. (برای نحو دقیق به زیر مراجعه کنید)

# نمونه ای از فایل .boom

#
# فهرست سیگنال های کمکی که باید نگه داشته شوند
# در طول بهینه سازی
# به طور کلی سیگنال ها، سیگنال های آدرس رم و غیره را حمل می کنند ...
#
BEGIN_KEEP

حمل [3:0]
ram_address [3:0]

END

#
# لیست سیگنال های کمکی که اختصاص داده شده است
# عبارت تغییر نخواهد کرد.
# به طور کلی سیگنال های خروجی رم است.
#
BEGIN_DONT_TOUCH
ram_out [7:0]
END

-l تعداد سطح بهینه سازی [0-3] را مشخص می کند (پیش فرض 0، سطح پایین است).

-d تعداد درصد بهینه سازی تاخیر را مشخص می کند (پیش فرض 0% تاخیر، 100% سطح است).

-i تعداد تعداد تکرارها را برای الگوریتم بهینه سازی انتخابی مشخص می کند (برای
فقط کارشناسان).

-a تعداد دامنه را در طول مرتب سازی مجدد bdd (فقط برای متخصصان) مشخص می کند.

-sjbgpwtmorn
مشخص می کند که کدام الگوریتم باید برای بهینه سازی بولی استفاده شود.

با استفاده از خدمات onworks.net از بوم آنلاین استفاده کنید