Specification mining for digital circuits

• المؤلف الرئيسي: Lim, Zhi Xian
• مؤلفون آخرون: Gwee Bah Hwee
• التنسيق: Final Year Project
• اللغة: English
• منشور في: 2016
• الموضوعات: DRNTU::Engineering
• الوصول للمادة أونلاين: http://hdl.handle.net/10356/67908

During the verification of a hardware system, one of the most important steps is formal specification which is used to describe a system and to analyze its behaviors. However, manually creating a complete set of formal properties is difficult and time-consuming process. Thus, specification mining ap...