ورود
مقالات فارسیISIکنفرانسهاژورنالها

دیاگرام بسط تیلور تقویت شده

محل انتشار: دوازدهمین کنفرانس سالانه انجمن کامپیوتر ایران
سال انتشار: 1385
نوع سند: مقاله کنفرانسی
زبان: فارسی
مشاهده: 2,809

فایل این مقاله در 8 صفحه با فرمت PDF قابل دریافت می باشد

استخراج به نرم افزارهای پژوهشی:

لینک ثابت به این مقاله:
https://civilica.com/doc/44449

شناسه ملی سند علمی:

ACCSI12_062

تاریخ نمایه سازی: 23 دی 1386

چکیده مقاله:

در این مقاله یک ساختما نداده یگانی برای نمایش طر ح های انتقال ثبات ارائه می گردد. در حال حاضر نمایش یگانی و مبتنی بر گرافی به نام دیاگرام بسط تیلور وجود دارد . اگرچه می توان دیاگرام بسط تیلور را برای نمایش بهینه عبارات جبری در سطح کلمه به کار گرفت، اما آنها در نمایش عبارات بولی سطح بیت بهینه نم ی باشند. همچنین دیاگرام بسط تیلور نمی تواند عبارات بولی در سطح کلمه (بردار) را نمایش ده د. در این مقاله تغییراتی به دیاگرام بسط تیلور اعمال م یگردد که قابلیت نمایش سطح بیت آنرا افزایش می دهد و همزمان قابلیت نمایش عبارات بولی در سطح کلمه را به آن اضافه می کند.

کلیدواژه ها:

دیاگرام بسط تیلور ، دیاگرام تصمیم گیری دودویی ، ارزیابی رسمی ، بررسی برابری

نویسندگان

پژمان لطفی کامران

دانشگاه تهران، پردیس دانشکده های فنی، دانشکده مهندسی برق و کامپیوتر

مهران معصومی

دانشگاه ایالتی کالیفرنیا

زین العابدین نوابی

دانشگاه تهران، پردیس دانشکده های فنی، دانشکده مهندسی برق و کامپیوتر

مراجع و منابع این مقاله:

لیست زیر مراجع و منابع استفاده شده در این مقاله را نمایش می دهد. این مراجع به صورت کاملا ماشینی و بر اساس هوش مصنوعی استخراج شده اند و لذا ممکن است دارای اشکالاتی باشند که به مرور زمان دقت استخراج این محتوا افزایش می یابد. مراجعی که مقالات مربوط به آنها در سیویلیکا نمایه شده و پیدا شده اند، به خود مقاله لینک شده اند :
  • R. E. Bryant, "Graph-based algorithms for Boolean function manipula tion', ...
  • S.-i. Minato, ،، Zero-s uppressed BDDs for set manipulation in ...
  • M. J. Ciesielski, P. Kalla, Z. Zheng, and B. Rouzeyre, ...
  • P. Kalla, M. Ciesielski, E. Boutillon, and E. Martin, *High-level ...
  • R. E. Bryant, *Symbolic Boolean manipulation with ordered binary decision ...
  • Y.-T. Lai, M. Pedram, and S. _ K. Vrudhula, _ ...
  • R. E. Bryant, and Y.-A. Chen, ، Verification ofarithmetic circuits ...
  • BMDs', in Proc. of International Conference _ Computer-Ai ded Design, ...
  • P. Lotfi-Kamran, M. Hosseinabady, H. Shojaei, M. Massoumi, and Z. ...
  • P. Lotfi-Kamran, H. Shojaei, H. Parandeh- Afshar, M. Naderi, and ...
  • A. Hooshmand, S. Shamshiri, M. Alisafaee, P. Lotfi- Kamran, M. ...
  • G. Fey, R. Drechsler, and M. Ciesielski, «Algorithms for Taylor ...
  • I. Ghosh, A. Raghunathan, and N. K. Jha, 8A design-for- ...
  • S. Ravi, I. Ghosh, R.K. Roy, S. Dey, « Controller ...
  • I. Ghosh, N.K. Jha, S. Bhawmik, ، A BIST scheme ...
  • I. Ghosh, A. Raghunathan, N.K. Jha, ، Hierarchical test generation ...
  • Z. Navabi, VHDL: analysis and modeling of digita1 systems, _ ...
  • Z. Navabi, Digita1 Design and Implementa tion with Field Programma ...
    • نمایش کامل مراجع