-
公开(公告)号:US11061745B2
公开(公告)日:2021-07-13
申请号:US16189164
申请日:2018-11-13
Applicant: Infineon Technologies AG
Inventor: Sumit Khandelwal , Sandeep Chandrashekar , Akhila Shamsunder , Swasati Baishya
Abstract: Various embodiments discussed herein systems and methods that facilitate analysis of shared resources for a multi-core system. One example embodiment comprise a method involving identifying, via static data based on analysis of the multi-core system, shared resource(s) of the multi-core system that are subject to potential resource violation(s), wherein the static data identifies each read and write access of those shared resource(s) in a software of the multi-core system; receiving hardware trace data for the multi-core system comprising each read and write access of those shared resource(s) in the software as executed by the multi-core system; and making a determination, for each shared resource of the one or more shared resources, based on a comparison between the static data and the hardware trace data, whether at least one of the one or more associated potential resource violations of that shared resource is an associated resource violation of that shared resource.
-
公开(公告)号:US20200151034A1
公开(公告)日:2020-05-14
申请号:US16189164
申请日:2018-11-13
Applicant: Infineon Technologies AG
Inventor: Sumit Khandelwal , Sandeep Chandrashekar , Akhila Shamsunder , Swasati Baishya
Abstract: Various embodiments discussed herein systems and methods that facilitate analysis of shared resources for a multi-core system. One example embodiment comprise a method involving identifying, via static data based on analysis of the multi-core system, shared resource(s) of the multi-core system that are subject to potential resource violation(s), wherein the static data identifies each read and write access of those shared resource(s) in a software of the multi-core system; receiving hardware trace data for the multi-core system comprising each read and write access of those shared resource(s) in the software as executed by the multi-core system; and making a determination, for each shared resource of the one or more shared resources, based on a comparison between the static data and the hardware trace data, whether at least one of the one or more associated potential resource violations of that shared resource is an associated resource violation of that shared resource.
-