Journal
Scientific and technical journal «Priborostroenie»
UDK681.327
Issue:4 (57)
Download PDF379 Kbyte
A method of the formal description of internal timing restrictions for computing systems at transaction level is proposed. The method is focused on reduction of hardware complexity of embedded monitoring and diagnostics tools. Based on the proposed approach, the timing restrictions hardware monitor for systems on chip (SoC) with bus-topology is designed, and results of its experimental implementation are presented.