-
公开(公告)号：CN102968515B
公开(公告)日：2016-03-30
申请号：CN201110270261.1
申请日：2011-08-31
Applicant: 国际商业机器公司
IPC: G06F17/50
CPC classification number: G06F17/5022
Abstract: 本发明实施例提供了一种计算集成电路模型的验证覆盖率的方法，包括：获取待验证集成电路模型的逻辑结构；根据所述逻辑结构，搜索并记录所述待验证集成电路模型中的信号路径；以及计算验证对所述信号路径的覆盖率。根据本发明实施例提供的技术方案，可以得到基于信号路径的验证覆盖率，从而更加准确地提供有关验证完备性的数据。
-
公开(公告)号：CN102968515A
公开(公告)日：2013-03-13
申请号：CN201110270261.1
申请日：2011-08-31
Applicant: 国际商业机器公司
IPC: G06F17/50
CPC classification number: G06F17/5022
Abstract: 本发明实施例提供了一种计算集成电路模型的验证覆盖率的方法，包括：获取待验证集成电路模型的逻辑结构；根据所述逻辑结构，搜索并记录所述待验证集成电路模型中的信号路径；以及计算验证对所述信号路径的覆盖率。根据本发明实施例提供的技术方案，可以得到基于信号路径的验证覆盖率，从而更加准确地提供有关验证完备性的数据。
-
公开(公告)号：CN101398752B
公开(公告)日：2011-08-31
申请号：CN200710153203.4
申请日：2007-09-29
Applicant: 国际商业机器公司
CPC classification number: G06F9/3802 , G06F8/433 , G06F9/3017 , G06F9/30178 , G06F9/382 , G06F9/3846 , G06F9/3885 , G06F9/3891
Abstract: 本发明提供了一种重叠指令存取单元和方法以及用于对程序进行压缩和存储的方法和装置。所述重叠指令存取单元用于执行以多个压缩程序段的形式存储在存储器中的程序，并且包括：缓冲器；处理单元，发送指令读取请求，从缓冲器读取指令并执行该指令；解压缩单元，响应于处理单元的指令读取请求而从存储器中读取所请求的压缩指令段，将该压缩指令段解压缩，并且将解压缩后的指令段存储在缓冲器中，其中在处理单元执行所述指令段的同时，解压缩单元根据与该指令段对应的首标中的要调用的压缩程序段的存储地址，从存储器中读取对应的压缩指令段，将该压缩指令段解压缩，并将解压缩后的指令段存储在缓冲器中以供处理单元随后使用。
-
公开(公告)号：CN102467583B
公开(公告)日：2014-07-23
申请号：CN201010532265.8
申请日：2010-10-29
Applicant: 国际商业机器公司
IPC: G06F17/50
CPC classification number: G06F17/5027 , G06F17/5022 , G06F17/5081
Abstract: 提供了在芯片设计的仿真中追踪不确定信号的方法和装置。所述方法包括：从芯片设计的网表中生成包含时序逻辑器件和IO器件的有向图，所述有向图示出所述时序逻辑器件和IO器件之间的信号关联；获取仿真结果中与所述时序逻辑器件和IO器件相关的信号，所述信号包括多个不确定信号；以及沿所述有向图，逆向回溯所述多个不确定信号中的至少一部分不确定信号，确定首先出现不确定信号的器件。还提供了与上述方法相应的装置。通过上述方法和装置，能够追踪不确定信号，确定其根源，提高调试效率。
-
公开(公告)号：CN101902271B
公开(公告)日：2013-03-06
申请号：CN200910141313.8
申请日：2009-05-31
Applicant: 国际商业机器公司
IPC: H04B10/079
CPC classification number: H04B10/0795
Abstract: 公开了对数据通道上传输的数据进行扭斜检测的方法、设备及包括该设备的高速光通信接口。其中，参考通道上的参考帧数据由每一个要进行扭斜检测的数据通道上的Umax长的参考数据段顺序地构成。该方法包括：S1)对于一个数据通道上在一帧时间内传输的一帧数据：a)依据最大可允许扭斜检测范围Rmax将一帧数据分为多个数据块；b)将各数据块分段为多个Umax长的段；c)分别将各数据块中的每个段和对应的参考数据段进行串行比较，得到各数据块中所有段的扭斜检测结果；d)对于每个数据块，选择该数据块中的所有段之一的扭斜检测结果作为该数据块的扭斜检测结果；和S2)选择所有数据块的扭斜检测结果中偏移最大的扭斜检测结果作为该帧数据的扭斜检测结果。
-
Patent Agency Ranking
公开(公告)号：CN101639769A
公开(公告)日：2010-02-03
申请号：CN200810134393.X
申请日：2008-07-30
Applicant: 国际商业机器公司
CPC classification number: G06F9/3891 , G06F7/36 , G06F9/30021 , G06F9/5066
Abstract: 本发明提供了一种在多处理器系统上对数据集进行划分、排序的方法和装置。其中该多处理器系统包括至少一个核心处理器以及多个加速器。该对数据集进行划分的方法包括：迭代地利用多个加速器并行地将上述数据集划分为对应于不同的数据范围的多个块，其中该多个块的每一个能够被该多个加速器的本地存储器所存储；其中在每一次迭代中包括：将上述数据集粗略地划分为多个大块；获取该数据集的能够表明该数据集中数据值的分布的参数；根据该参数，为该数据集确定多个数据范围；利用上述多个加速器并行地将上述多个大块分别划分为与该多个数据范围对应的多个小块，其中该多个加速器的每一个通过计算为其划分的大块中的每一个数据确定所属的数据范围。
-
公开(公告)号：CN103376405B
公开(公告)日：2015-09-09
申请号：CN201210130364.2
申请日：2012-04-27
Applicant: 国际商业机器公司
IPC: G01R31/3185
CPC classification number: G01R31/3172 , G01R31/3177 , G01R31/318583
Abstract: 本发明的实施例涉及用于扫描链诊断的方法和装置。具体地，根据本发明实施例的一种用于扫描链的方法包括：获取扫描链的初始结构；根据扫描链上的扫描寄存器所对应的功能模块，确定至少一个具有反向依赖关系的扫描寄存器对；和调整扫描链的结构，使得所述至少一个具有反向依赖关系的扫描寄存器对变为具有正向依赖关系的扫描寄存器对。采用根据本发明实施例的方案，可以增强扫描链的可诊断性。
-
公开(公告)号：CN103376405A
公开(公告)日：2013-10-30
申请号：CN201210130364.2
申请日：2012-04-27
Applicant: 国际商业机器公司
IPC: G01R31/3185
CPC classification number: G01R31/3172 , G01R31/3177 , G01R31/318583
Abstract: 本发明的实施例涉及用于扫描链诊断的方法和装置。具体地，根据本发明实施例的一种用于扫描链的方法包括：获取扫描链的初始结构；根据扫描链上的扫描寄存器所对应的功能模块，确定至少一个具有反向依赖关系的扫描寄存器对；和调整扫描链的结构，使得所述至少一个具有反向依赖关系的扫描寄存器对变为具有正向依赖关系的扫描寄存器对。采用根据本发明实施例的方案，可以增强扫描链的可诊断性。
-
公开(公告)号：CN102004709B
公开(公告)日：2013-09-25
申请号：CN200910171388.0
申请日：2009-08-31
Applicant: 国际商业机器公司
CPC classification number: G06F13/4027 , Y02D10/14 , Y02D10/151
Abstract: 本发明公开了一种处理符合PLB总线协议的读写请求的方法和PLB总线到AXI总线之间的总线桥，该方法包括：接收符合PLB总线协议的读写请求，而无需等待前一符合PLB总线协议的读写请求成功执行的确认；缓存所述符合PLB总线协议的读写请求；将缓存的符合PLB总线协议的读写请求映射为符合AXI总线协议的读写请求；输出所述映射的符合AXI总线协议的读写请求。该方法和总线桥能够使符合PLB总线协议和AXI总线协议的IP模块相互通信，并在通信期间执行事务映射，确保所有的事务按照PLB设备期望的顺序执行，提高片上系统通信的效率。
-
公开(公告)号：CN103454577A
公开(公告)日：2013-12-18
申请号：CN201210177635.X
申请日：2012-05-31
Applicant: 国际商业机器公司
IPC: G01R31/3185
Abstract: 根据本发明实施例的一种扫描链诊断的方法，所述扫描链包括具有端口I和端口O的双向扫描寄存器，该方法包括：生成移入逻辑值组合，所述逻辑值组合具有至少一个与待诊断故障相对的逻辑值；将所述移入逻辑值组合移入扫描链；逆转扫描链方向，从扫描链移出各双向扫描寄存器的值，形成移出逻辑值组合；和比较所述移入逻辑值组合和所述移出逻辑值组合，确定可能发生待诊断故障的双向扫描寄存器。采用根据本发明实施例的方案，可以增强扫描链的可诊断性。
-
-
-
-
-
-
-
-
-
Search Results
19
records
(took 0.028 seconds)
