This paper proposes an approach to modeling and testing software controller using the tool ForSyDe that supports functional programming. A functional model of discrete signal processing subsystem is obtained. This model is then converted into a VHDL-code and a digital device based on Field Programmable Gates Array (FPGA). Variants of the system life cycle implementation on FPGA using alternative versions for testing and functioning of multi-version are proposed.
FPGA, ForSyDe, functional programming, IP-core, soft-processor