公开(公告)号：US20120317526A1

公开(公告)日：2012-12-13

申请号：US13469944

申请日：2012-05-11

申请人： Hiroyuki Sato ,  Hideo Kikuta

发明人： Hiroyuki Sato ,  Hideo Kikuta

IPC分类号： G06F17/50

CPC分类号： G06F17/5022 ,  G06F17/504

摘要： A design verification method is disclosed. A computer searches for a path in accordance with a connection relationship between blocks by referring to a netlist stored in a storage part based on terminal information concerning a verification of a circuit which is formed by the blocks. Then, the computer changes an abstraction level of an operation of an out-of-path block which is a block outside the path and is searched for from the blocks described in the netlist.

摘要翻译： 公开了一种设计验证方法。 计算机根据关于通过块形成的电路的验证的终端信息，参照存储在存储部分中的网表，根据块之间的连接关系搜索路径。 然后，计算机改变作为路径外部的块的路外块的操作的抽象级别，并且从网表中描述的块中搜索。

公开(公告)号：US08510693B2

公开(公告)日：2013-08-13

申请号：US13469944

申请日：2012-05-11

申请人： Hiroyuki Sato ,  Hideo Kikuta

发明人： Hiroyuki Sato ,  Hideo Kikuta

IPC分类号： G06F17/50

CPC分类号： G06F17/5022 ,  G06F17/504

摘要： A design verification method is disclosed. A computer searches for a path in accordance with a connection relationship between blocks by referring to a netlist stored in a storage part based on terminal information concerning a verification of a circuit which is formed by the blocks. Then, the computer changes an abstraction level of an operation of an out-of-path block which is a block outside the path and is searched for from the blocks described in the netlist.

摘要翻译： 公开了一种设计验证方法。 计算机根据关于通过块形成的电路的验证的终端信息，参照存储在存储部分中的网表，根据块之间的连接关系搜索路径。 然后，计算机改变作为路径外部的块的路外块的操作的抽象级别，并且从网表中描述的块中搜索。