Improving Logic-Level Representation of BMD/TED Diagrams
محل انتشار: سیزدهمین کنفرانس مهندسی برق ایران
سال انتشار: 1384
نوع سند: مقاله کنفرانسی
زبان: انگلیسی
مشاهده: 2,172
فایل این مقاله در 60 صفحه با فرمت PDF قابل دریافت می باشد
- صدور گواهی نمایه سازی
- من نویسنده این مقاله هستم
استخراج به نرم افزارهای پژوهشی:
شناسه ملی سند علمی:
ICEE13_175
تاریخ نمایه سازی: 27 آبان 1386
چکیده مقاله:
Formal verification of complex digital systems requires a mechanism for efficient representation and manipulation of both arithmetic as well as random Boolean functions. Although BMD and its generalization TED can be used effectively to represent arithmetic expressions, they are not memory efficient in representing logic expressions. In this paper, we present modifications to BMD/TED that will improve their ability for logic representation while maintaining their robustness in arithmetic representation. Our experimental results show a 30% reduction in the number of nodes in some benchmarks.
کلیدواژه ها:
نویسندگان
Pejman Lotfi-Kamran
Electrical and Computer Engineering Department, Faculty of Engineering, University of Tehran, Tehran, Iran
Hamid Shojaei
Electrical and Computer Engineering Department, Faculty of Engineering, University of Tehran, Tehran, Iran
Hadi Parandeh-Afshar
Electrical and Computer Engineering Department, Faculty of Engineering, University of Tehran, Tehran, Iran
Mostafa Naderi
Electrical and Computer Engineering Department, Faculty of Engineering, University of Tehran, Tehran, Iran
مراجع و منابع این مقاله:
لیست زیر مراجع و منابع استفاده شده در این مقاله را نمایش می دهد. این مراجع به صورت کاملا ماشینی و بر اساس هوش مصنوعی استخراج شده اند و لذا ممکن است دارای اشکالاتی باشند که به مرور زمان دقت استخراج این محتوا افزایش می یابد. مراجعی که مقالات مربوط به آنها در سیویلیکا نمایه شده و پیدا شده اند، به خود مقاله لینک شده اند :