Complex mathematical models simulation on mixed HDL-simulink platform

The paper concerns the problem of verification of the complex abstract models in the simulation environment. The models with huge number of computation efforts have been considered. We have pointed out that simulation of such models in 'pure HDL' is very difficult and costly; it requires from designer many additional skills and is time-consuming. Instead, we have proposed an alternative approach based on mixed HDL-Simulink platform. Basic properties of the simulation process in Simulink are addressed. The problems of data and signal transfers, driving samples, synchronization and entire communication between HDL and Simulink are described in details. Some simulation examples and conclusions concerning the methodology are presented.