Functional monitoring of SoC with dynamic actualization of behavioral model

The article covers the original method of system-on-chip (SoC) monitoring, as well as its subsystems, during postsilicon or runtime verification using built-in SoC facilities. The method is based on dynamic actualization technique - runtime elaboration of system functional model. In comparison with alternative solutions, proposed method is oriented on long-term monitoring (days, weeks, months), allows faulty event sequences to be detected and has substantially lower requirements for embedded agent-monitors memory. Method can be used as a basis of the mechanism of embedded post-silicon/runtime verification of SoCs.