公开(公告)号：CN1910588A

公开(公告)日：2007-02-07

申请号：CN200580002860.8

申请日：2005-01-18

Applicant: 松下电器产业株式会社

Inventor： 米田圭 ,  前洋一郎 ,  吉田久人

IPC: G06F17/50

CPC classification number: G06F11/261 ,  G06F17/5022

Abstract: 当在待验证的对象中执行处理时，存在执行结果依赖待参考的参考数据值并且未定义的情况。当执行结果未定义，并且随后的处理参考执行结果时，执行结果可能具有不同的值。因此，不能对执行结果进行比较，并且验证不能继续。本发明提供用于给予待验证的对象和期望值产生装置相同的测试模式、用于执行仿真并比较执行结果的验证装置。仿真数据被提取。根据对所提取数据的分析结果，控制仿真。可替换地，在获得未定义结果后，控制仿真。因此，可能避免会变成未定义结果的处理的执行。

公开(公告)号：CN1506827A

公开(公告)日：2004-06-23

申请号：CN200310120142.3

申请日：2003-12-08

Applicant: 松下电器产业株式会社

Inventor： 米田圭 ,  河本功 ,  喜田诚司 ,  松林贵明

IPC: G06F11/30 ,  G06F9/44 ,  G06F9/45

CPC classification number: G06F9/52 ,  G06F2209/508

Abstract: 在由CPU那样的处理器和DSP所构成的、处理器和DSP以外部存储器和总线作为共享资源、DSP根据来自处理器的处理请求进行处理的多处理器系统中，使用状况的监视处理的过程，监视DSP的使用状况，当在上述使用状况的监视处理的过程中获得的竞争信息表示处于频繁使用时，软件处理的变更处理的过程，适当变更所执行的软件的处理方法，切换成等价处理，这样可以避免总线竞争，防止处理速度的降低。

公开(公告)号：CN100483360C

公开(公告)日：2009-04-29

申请号：CN200310120142.3

申请日：2003-12-08

Applicant: 松下电器产业株式会社

Inventor： 米田圭 ,  河本功 ,  喜田诚司 ,  松林贵明

IPC: G06F11/30 ,  G06F9/44 ,  G06F9/45

CPC classification number: G06F9/52 ,  G06F2209/508

Abstract: 在由CPU那样的处理器和DSP所构成的、处理器和DSP以外部存储器和总线作为共享资源、DSP根据来自处理器的处理请求进行处理的多处理器系统中，使用状况的监视处理的过程，监视DSP的使用状况，当在上述使用状况的监视处理的过程中获得的竞争信息表示处于频繁使用时，软件处理的变更处理的过程，适当变更所执行的软件的处理方法，切换成等价处理，这样可以避免总线竞争，防止处理速度的降低。