发明名称 Synchronization coverage in logic code
摘要 A method for enhancing synchronization coverage for a logic code is provided. The method comprises tracking whether one or more code sections in the logic code are blocked by at least another code section in the logic code, or whether one or more code sections in the logic code are blocking at least another code section in the logic code, during one or more test runs; and including one or more delay mechanisms in the logic code to introduce a delay in execution of a first code section in the logic code, wherein length of introduced delay is dependent on whether the first code section was blocked by a second code section or whether the first code section was blocking the second code section.
申请公布号 US8561030(B2) 申请公布日期 2013.10.15
申请号 US20090636795 申请日期 2009.12.14
申请人 TRAININ EHUD;TZOREF RACHEL;ZLOTNICK AVIAD;INTERNATIONAL BUSINESS MACHINES CORPORATION 发明人 TRAININ EHUD;TZOREF RACHEL;ZLOTNICK AVIAD
分类号 G06F9/44 主分类号 G06F9/44
代理机构 代理人
主权项
地址