Modeling Method for Development of Digital System Algorithms Based on Programmable Logic Devices
| Autor: | Volodymyr Peschanenko, Oleksandr Letychevskyi, V. S. Kharchenko, O. M. Odarushchenko, V. A. Volkov |
|---|---|
| Rok vydání: | 2020 |
| Předmět: |
021103 operations research
General Computer Science Matching (graph theory) Computer science 010102 general mathematics 0211 other engineering and technologies Field (mathematics) 02 engineering and technology Integrated circuit Formal methods 01 natural sciences law.invention Programmable logic device Set (abstract data type) Computer Science::Hardware Architecture Computer engineering law Binary code 0101 mathematics Algebraic number |
| Zdroj: | Cybernetics and Systems Analysis. 56:710-717 |
| ISSN: | 1573-8337 1060-0396 |
| Popis: | 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. |
| Databáze: | OpenAIRE |
| Externí odkaz: |
|
Full text from SpringerLink