با توجه به اين‌كه ابزار CUDD تحت لينوكس و برمبناي خط فرمان هست و براي دانشجوياني كه با محيط لينوكس آشناي ندارند نصب و كار با آن كمي زمان بر مي‌باشد، ابزار مشابه ديگري به نام BeDD وجود دارد كه به صورت مستقل از سيستم عامل بر روي ماشين مجازي جاوا اجرا شده و با واسط گرافيكي قابليت ترسيم گراف‌هاي BDD و اجراي عمليات مختلف بر روي آنها را دارد.
بر اجراي اين برنامه تنها كافي است، بسته 640 كيلو بايتي آن را از اينجا دانلود كرده و پس از نصب ماشين مجازي جاوا بر روي كامپيوتر خود، آن را اجرا كنيد نمونه‌اي از يك BDD ترسيم شده توسط BeDD در تصوير زير نشان داده شده است.
اين ابزار توسط آقاي Mihai Munteanu توسعه داده شده است كه متاسفانه صفحه معرفي آن در اينترنت از بين رفته است اما با كيوورد، BeDD mihai مي‌توان آن صفحه را از داخل Cache گوگل مشاهده كرد. با اين وجود مستندات موجود در بسته 640 كيلوبايتي، جهت معرفي اين ابزار و چگونگي عمكلرد آن، كفايت مي‌كند.
اين ابزار را مي‌توانيد از پوشه دكتر غزنوي در سايت دانشجويان كارشناسي ارشد نيز برداريد. در ادامه بخشي از مستندات ضميمه فايل جهت معرفي اين ابزار آورده شده است:
BeDD is an application for BDD (Binary Decision Diagram) manipulation and circuit synthesis. BeDD was not designed for high performance. There are other faster and more complete BDD manipulation packages. BeDD was designed to be simple and easy to use. It is ideal as an educational tool for learning about BDDs and Java programming language. BeDD is distributed under the GNU General Public License. It means that the source code is freely-distributed and available to the general public.
The core of BeDD is not really original. The BDD representation and algorithms are based on the excellent paper “An Introduction to Binary Decision Diagrams” by Henrik Reif Andersen. At this time not all algorithms described in this paper are implemented.
Main Features of BeDD
-Based on BeanShell scripting language
-Can execute standalone commands or scripts
-Builds ROBDD (Reduced Ordered BDD) based on Boolean binary functions
-Can combine more Boolean functions into a SBDD (Shared BDD)s
-Implements routines for applying operations to BDDs
-BDD size optimization using a genetic algorithm
-The number and size of the BDDs is limited only by the computer capabilities
-Draws BDDs
-Save and load BDDs
-Extensible with export plug-ins for exporting synthesized netlists
هیچ نظری موجود نیست:
ارسال یک نظر