Applications of Fuzzy Program Graph in Symbolic Checking of Fuzzy Flip-Flops

  • سال انتشار: 1394
  • محل انتشار: دوفصلنامه مجله کامپیوتر و رباتیک، دوره: 7، شماره: 1
  • کد COI اختصاصی: JR_JCR-7-1_003
  • زبان مقاله: انگلیسی
  • تعداد مشاهده: 446
دانلود فایل این مقاله

نویسندگان

Gholamreza Sotudeh

Department of Computer Engineering, Science and Research Branch, Islamic Azad University, Tehran, Iran

Ali Movaghar

Department of Computer Engineering, Sharif University of Technology, Tehran, Iran

چکیده

All practical digital circuits are usually a mixture of combinational and sequential logic. Flip–flops are essential to sequential logic therefore fuzzy flip–flops are considered to be among the most essential topics of fuzzy digital circuit. The concept of fuzzy digital circuit is among the most interesting applications of fuzzy sets and logic due to the fact that if there has to be an ultimate fuzzy computer then fuzzy circuitry is inevitable. In this research field, hardware realization of fuzzy negation, t–norms and t–conorms have been well studied in details meanwhile no formal model is introduced for more complex fuzzy circuitry such as combinational circuits, sequential circuits or memory modules. The lack of a formal model checker indicates flaws and design deficiencies are usually remain out of sight therefore validating fuzzy logic circuits was impossible to this date. In this paper we are elaborating the application of Fuzzy Program Graph in symbolic checking of fuzzy flip–flops; thus, the content is mainly focused on formal modelling of fuzzy flip–flops and investigating their correctness. To this purpose we investigated design deficiencies of a multivalued D flip–flop and found a dynamic hazard then we proposed a formal model toward fuzzy J–K flip–flops to further elaborate applications of proposed formal model and model checking approach in detecting design phase deficiencies.

کلیدواژه ها

Fuzzy Flip–Flop, Fuzzy Kripke Model, Fuzzy CTL, Fuzzy Program Graph

مقالات مرتبط جدید

اطلاعات بیشتر در مورد COI

COI مخفف عبارت CIVILICA Object Identifier به معنی شناسه سیویلیکا برای اسناد است. COI کدی است که مطابق محل انتشار، به مقالات کنفرانسها و ژورنالهای داخل کشور به هنگام نمایه سازی بر روی پایگاه استنادی سیویلیکا اختصاص می یابد.

کد COI به مفهوم کد ملی اسناد نمایه شده در سیویلیکا است و کدی یکتا و ثابت است و به همین دلیل همواره قابلیت استناد و پیگیری دارد.