Показать сокращенную информацию
The VLSI High-Level Synthesis for Building Onboard Spacecraft Control Systems
Автор | Nepomnyashchiy, O. V. | |
Автор | Ryjenko, I. V. | |
Автор | Shaydurov, V. V. | |
Автор | Sirotinina, N. Y. | |
Автор | Postnikov, A. I. | |
Дата внесения | 2018-02-07T07:24:30Z | |
Дата, когда ресурс стал доступен | 2018-02-07T07:24:30Z | |
Дата публикации | 2017 | |
Библиографическое описание | Nepomnyashchiy, O. V. The VLSI High-Level Synthesis for Building Onboard Spacecraft Control Systems [Текст] / O. V. Nepomnyashchiy, I. V. Ryjenko, V. V. Shaydurov, N. Y. Sirotinina, A. I. Postnikov // Proceedingsf the Scientific-Practical Conference "Research and Development - 2016". — 2017. | |
URI (для ссылок/цитирований) | https://www.bookdepository.com/Proceedings-Scientific-Practical-Conference-Research-Development-2016-K-V-Anisimov/9783319628691 | |
URI (для ссылок/цитирований) | https://elib.sfu-kras.ru/handle/2311/69570 | |
Аннотация | Using small spacecrafts for a wide range of research and applied purposes is one of the major trends in the aerospace field. Modular-network architectures implemented on the “system-on-chip” hardware platform provide required characteristics of onboard control systems. Selecting this system architecture significantly increases demands on very large-scale integration (VLSI) design efficiency and project solution quality. In this paper, we propose a new approach to VLSI high-level synthesis based on a functional-flow parallel computing model. The modified VLSI design flow uses a functional-flow parallel programming language Pythagoras, which allows describing a VLSI operation algorithm with the maximal degree of parallelism. An offered intermediate representation of VLSI architecture in the form of a control-flow graph and a data-flow graph provides an opportunity for synthesizing circuits and verifying projects on the stage of a formal description, without returning to previous hierarchical levels of the project. A set of software tools supporting new design process is developed. The proposed technology is successfully tested on the example of a digital signal processing function. Further, this technology is suggested for use in the synthesis of onboard control system components for small spacecrafts. | |
Тема | Small spacecraft | |
Тема | Control systems | |
Тема | Parallel computing | |
Тема | Data flow | |
Тема | Functional programming | |
Тема | Integrated circuit | |
Тема | Algorithm | |
Тема | Formal verification | |
Тема | High-level synthesis | |
Название | The VLSI High-Level Synthesis for Building Onboard Spacecraft Control Systems | |
Тип | Journal Article | |
Тип | Journal Article Preprint | |
ГРНТИ | 50.09 | |
Дата обновления | 2018-02-07T07:24:30Z | |
DOI | 10.1007/978-3-319-62870-7_25 | |
Институт | Институт космических и информационных технологий | |
Подразделение | Кафедра вычислительной техники | |
Журнал | Proceedingsf the Scientific-Practical Conference "Research and Development - 2016" |