Modeling Method for Development of Digital System Algorithms Based on Programmable Logic Devices

作     者：Letychevskyi, O. O. Peschanenko, V. S. Kharchenko, V. S. Volkov, V. A. Odarushchenko, O. M. 

作者机构：Natl Acad Sci Ukraine VM Glushkov Inst Cybernet Kiev Ukraine Kherson State Univ Kherson Ukraine MM Zhukovsky Natl Aerosp Univ Kharkiv Aviat Inst Kharkiv Ukraine SPE RadiCS LLC Kropyvnytskyi Ukraine 

出 版 物：《CYBERNETICS AND SYSTEMS ANALYSIS》 (控制论和系统分析)

年 卷 期：2020年第56卷第5期

页      面：710-717页

核心收录：

学科分类：12[管理学] 1201[管理学-管理科学与工程(可授管理学、工学学位)] 08[工学] 0701[理学-数学] 0812[工学-计算机科学与技术（可授工学、理学学位）] 

主　　题：field-programmable gate arrays symbolic modeling algebraic matching behavior algebra 

摘      要：The paper deals with state-of-the-art trends in the field of automated hardware development, specifically development of digital systems using programmable logic integrated circuits, as exemplified by field-programmable logic arrays. The paper suggests a modeling method of development using an algebraic model of design specifications, requirements and binary codes in order to apply formal methods of verification, model-based testing, as well as methods of algebraic matching. The specifications of the algebraic hardware model are behavior algebra determined on a set of actions and behaviors.