Logical equivalence verifying device, logical equivalence verifying method, and logical equivalence verifying program
    1.
    发明申请
    Logical equivalence verifying device, logical equivalence verifying method, and logical equivalence verifying program 失效
    逻辑等价验证装置,逻辑等效验证方法和逻辑等价验证程序

    公开(公告)号:US20060184903A1

    公开(公告)日:2006-08-17

    申请号:US11398609

    申请日:2006-04-06

    IPC分类号: G06F17/50

    CPC分类号: G06F17/5022

    摘要: The time and trouble of a mismatch cause analysis after logical equivalence verification can be reduced, and design and verification TAT can be shortened. A logical equivalence verifying device performs logical equivalence verification between two circuits, and displays the result of the logical equivalence verification. A preprocessing section 7 performs structural matching so as to determine whether there are portions corresponding in circuit structure to each other in corresponding logic cones of the two circuits. An internal DB 5 records the results of the structural matching as an identifier for each element. A subcone extracting section 8 extracts, as a subcone, a collection of elements, which are mutually to one another and have the same identifier, from each logic cone. A verifying section 9 performs logical equivalence verification between the two circuits for each of the extracted subcones. A display control section 10 displays only those subcones for which the logical equivalence verification has resulted in mismatch.

    摘要翻译: 可以减少逻辑等价验证后不匹配原因分析的时间和麻烦,可以缩短设计和验证TAT。 逻辑等价验证装置在两个电路之间执行逻辑等价验证,并显示逻辑等效验证的结果。 预处理部7执行结构匹配,以便确定在两个电路的相应逻辑锥中是否存在与电路结构相对应的部分。 内部DB 5将结构匹配的结果记录为每个元素的标识符。 子提取部分8从每个逻辑锥体中提取彼此相互并且具有相同标识符的元素集合作为子单元。 验证部分9对于每个提取的子晶体执行两个电路之间的逻辑等价性验证。 显示控制部10仅显示逻辑等同性验证导致不匹配的那些子会话。

    Logical equivalence verifying device, method, and computer-readable medium thereof
    2.
    发明授权
    Logical equivalence verifying device, method, and computer-readable medium thereof 失效
    逻辑等价验证装置,方法及其计算机可读介质

    公开(公告)号:US07337414B2

    公开(公告)日:2008-02-26

    申请号:US11398609

    申请日:2006-04-06

    IPC分类号: G06F17/50

    CPC分类号: G06F17/5022

    摘要: The time and trouble of a mismatch cause analysis after logical equivalence verification can be reduced, and design and verification TAT can be shortened. A logical equivalence verifying device performs logical equivalence verification between two circuits, and displays the result of the logical equivalence verification. A preprocessing section 7 performs structural matching so as to determine whether there are portions corresponding in circuit structure to each other in corresponding logic cones of the two circuits. An internal DB 5 records the results of the structural matching as an identifier for each element. A subcone extracting section 8 extracts, as a subcone, a collection of elements, which are mutually to one another and have the same identifier, from each logic cone. A verifying section 9 performs logical equivalence verification between the two circuits for each of the extracted subcones. A display control section 10 displays only those subcones for which the logical equivalence verification has resulted in mismatch.

    摘要翻译: 可以减少逻辑等价验证后不匹配原因分析的时间和麻烦,可以缩短设计和验证TAT。 逻辑等价验证装置在两个电路之间执行逻辑等价验证,并显示逻辑等效验证的结果。 预处理部7执行结构匹配,以便确定在两个电路的相应逻辑锥中是否存在与电路结构相对应的部分。 内部DB 5将结构匹配的结果记录为每个元素的标识符。 子提取部分8从每个逻辑锥体中提取彼此相互并且具有相同标识符的元素集合作为子单元。 验证部分9对于每个提取的子晶体执行两个电路之间的逻辑等价性验证。 显示控制部10仅显示逻辑等同性验证导致不匹配的那些子会话。

    Logical equivalence verifying device, method and computer readable medium thereof
    3.
    发明授权
    Logical equivalence verifying device, method and computer readable medium thereof 失效
    逻辑等效验证装置,方法和计算机可读介质

    公开(公告)号:US07143375B2

    公开(公告)日:2006-11-28

    申请号:US10705787

    申请日:2003-11-12

    IPC分类号: G06F17/50

    CPC分类号: G06F17/5022

    摘要: The time and trouble of a mismatch cause analysis after logical equivalence verification can be reduced, and design and verification TAT can be shortened. A logical equivalence verifying device performs logical equivalence verification between two circuits, and displays the result of the logical equivalence verification. A preprocessing section 7 performs structural matching so as to determine whether there are portions corresponding in circuit structure to each other in corresponding logic cones of the two circuits. An internal DB 5 records the results of the structural matching as an identifier for each element. A subcone extracting section 8 extracts, as a subcone, a collection of elements, which are mutually to one another and have the same identifier, from each logic cone. A verifying section 9 performs logical equivalence verification between the two circuits for each of the extracted subcones. A display control section 10 displays only those subcones for which the logical equivalence verification has resulted in mismatch.

    摘要翻译: 可以减少逻辑等价验证后不匹配原因分析的时间和麻烦,可以缩短设计和验证TAT。 逻辑等价验证装置在两个电路之间执行逻辑等价验证,并显示逻辑等效验证的结果。 预处理部7执行结构匹配,以便确定在两个电路的相应逻辑锥中是否存在与电路结构相对应的部分。 内部DB 5将结构匹配的结果记录为每个元素的标识符。 子提取部分8从每个逻辑锥体中提取彼此相互并且具有相同标识符的元素集合作为子单元。 验证部分9对于每个提取的子晶体执行两个电路之间的逻辑等价性验证。 显示控制部10仅显示逻辑等同性验证导致不匹配的那些子会话。

    DESIGN DATA MERGING APPARATUS AND DESIGN DATA MERGING METHOD
    4.
    发明申请
    DESIGN DATA MERGING APPARATUS AND DESIGN DATA MERGING METHOD 失效
    设计数据合并设备和设计数据合并方法

    公开(公告)号:US20100262270A1

    公开(公告)日:2010-10-14

    申请号:US12758133

    申请日:2010-04-12

    IPC分类号: G06F17/50

    CPC分类号: G06F17/50 G06F2217/10

    摘要: A design data merging apparatus includes a merging determining unit that determines, for a plurality of design data of which each has product name information and has a same identifier for uniquely identifying a product, whether the product name information given to the plurality of design data are the same, and a merged data creating unit that merges the plurality of design data when it is determined by the merging determining unit that the product name information given to the plurality of design data are the same, and creates merged data obtained by merging a plurality of design data.

    摘要翻译: 设计数据合并装置包括合并确定单元,对于多个设计数据,每个设计数据具有产品名称信息,并且具有用于唯一地识别产品的相同标识符,则给予多个设计数据的产品名称信息是否为 以及合并数据创建单元,当由合并确定单元确定给予多个设计数据的产品名称信息相同时,合并多个设计数据,并且创建通过合并多个设计数据获得的合并数据 的设计数据。

    Design data merging apparatus and design data merging method
    5.
    发明授权
    Design data merging apparatus and design data merging method 失效
    设计数据合并设备和设计数据合并方法

    公开(公告)号:US08315846B2

    公开(公告)日:2012-11-20

    申请号:US12758133

    申请日:2010-04-12

    IPC分类号: G06G7/48

    CPC分类号: G06F17/50 G06F2217/10

    摘要: A design data merging apparatus includes a merging determining unit that determines, for a plurality of design data of which each has product name information and has a same identifier for uniquely identifying a product, whether the product name information given to the plurality of design data are the same, and a merged data creating unit that merges the plurality of design data when it is determined by the merging determining unit that the product name information given to the plurality of design data are the same, and creates merged data obtained by merging a plurality of design data.

    摘要翻译: 设计数据合并装置包括合并确定单元,对于多个设计数据,每个设计数据具有产品名称信息,并且具有用于唯一地识别产品的相同标识符,则给予多个设计数据的产品名称信息是否为 以及合并数据创建单元,当由合并确定单元确定给予多个设计数据的产品名称信息相同时,合并多个设计数据,并且创建通过合并多个设计数据获得的合并数据 的设计数据。

    SUPPORT APPARATUS, DESIGN SUPPORT METHOD, AND DESIGN SUPPORT PROGRAM
    6.
    发明申请
    SUPPORT APPARATUS, DESIGN SUPPORT METHOD, AND DESIGN SUPPORT PROGRAM 审中-公开
    支持设备,设计支持方法和设计支持计划

    公开(公告)号:US20090240836A1

    公开(公告)日:2009-09-24

    申请号:US12406325

    申请日:2009-03-18

    IPC分类号: G06F15/173 G06F15/16

    摘要: The configuration data obtaining unit obtains a network configuration data, and the actual-apparatus collection result data obtaining unit obtains an actual-apparatus collection result data. Then, the comparing unit compares a network address in the network configuration data corresponding to a network apparatus with a network address in the actual-apparatus collection result data corresponding to the network apparatus, and determines whether the network address is normally set to the network apparatus based on the comparison result.

    摘要翻译: 配置数据获取单元获取网络配置数据,并且实际装置收集结果数据获取单元获得实际装置收集结果数据。 然后,比较单元将与网络装置对应的网络配置数据中的网络地址与对应于网络装置的实际装置收集结果数据中的网络地址进行比较,并且确定网络地址是否正常设置为网络装置 基于比较结果。

    Setting checking information collecting method, setting checking information collecting device and recording medium that records setting checking information collecting program
    7.
    发明申请
    Setting checking information collecting method, setting checking information collecting device and recording medium that records setting checking information collecting program 有权
    设置检查信息收集方法,设置检查信息收集装置和记录设置检查信息收集程序的记录介质

    公开(公告)号:US20090287661A1

    公开(公告)日:2009-11-19

    申请号:US12458859

    申请日:2009-07-24

    IPC分类号: G06F17/30

    CPC分类号: G06F17/5081 G06F17/509

    摘要: A device includes, a search controlling information storing unit that stores, for each searching purpose, the search controlling information indicating whether or not the search is to be proceeded for the kinds of parts between the interfaces in the parts is defined and registered, a set information collecting unit that decides the interface of the parts to be searched, according to the search controlling information for each search object, from both the design information of the system constitution diagram and the registered information of the library database of the parts and the interfaces, and traces the connection relations of the interfaces thereby to collect the set information of the searched parts and the interfaces from the library database of the design information of the system constitution diagram, the parts and so on.

    摘要翻译: 一种设备包括搜索控制信息存储单元,其针对每个搜索目的,存储指示是否要对所述部分中的界面之间的各种部分进行搜索是否进行的搜索控制信息,集合 信息收集单元,根据系统结构图的设计信息和部件和界面的库数据库的登记信息,根据每个搜索对象的搜索控制信息来决定要搜索的部分的接口, 并跟踪接口的连接关系,从而从库数据库中收集所搜索到的部分和接口的集合信息,系统构成图,部件等的设计信息。

    Surface treated tube for medical use
    8.
    发明申请
    Surface treated tube for medical use 审中-公开
    用于医疗用途的表面处理管

    公开(公告)号:US20070009696A1

    公开(公告)日:2007-01-11

    申请号:US11478613

    申请日:2006-07-03

    IPC分类号: F16L11/04 B32B13/04

    摘要: A thermoplastic elastomer molded article having a surface treated with a silicone emulsion and/or aqueous solution of silicone containing water-soluble silicone with a silicone content of 1 to 30 wt % is provided. As the thermoplastic elastomer, a composition comprising 20 to 100 wt % of 1,2-polybutadiene having a 1,2-bond content of 70% or more and a degree of crystallinity of 5 to 50% and 0 to 80 wt % of other thermoplastic elastomers, provided that the total amount of the 1,2-polybutadiene and the other thermoplactic elastomers is 100 wt %, can be given. The molded article of the present invention can be applied to various types of tubes, sheets, and hoses as well as a tube for medical use since the surface of the article has improved sliding properties and sliding wear resistance, without impairing transparency, flexibility, lightweightness, and mechanical strength.

    摘要翻译: 提供了具有硅氧烷乳液表面处理的表面处理的热塑性弹性体成型体和/或硅氧烷含有硅氧烷含量为1〜30重量%的硅氧烷水溶液。 作为热塑性弹性体,可以使用包含20〜100重量%的1,2-聚丁二烯,其1,2-键含量为70%以上,结晶度为5〜50%,0〜80重量%的其他 可以给出1,2-聚丁二烯和其它热塑性弹性体的总量为100重量%的热塑性弹性体。 本发明的模制品可以应用于各种类型的管,片和软管以及用于医疗用的管,因为制品的表面具有改善的滑动性能和滑动耐磨性,而不损害透明度,柔韧性,轻便性 ,机械强度。

    Rotary connector
    9.
    发明授权
    Rotary connector 有权
    旋转接头

    公开(公告)号:US06341969B1

    公开(公告)日:2002-01-29

    申请号:US09665955

    申请日:2000-09-21

    IPC分类号: H01R3504

    CPC分类号: H01R35/025

    摘要: A rotary connector, which is generally used for the steering device of an automobile, for establishing electrical connections via a flexible flat cable between an electric circuit fixed to the steering column and an electric circuit attached to the steering wheel. The rotary connector of the present invention has guiding means for the flat cable for smooth winding. Guide piece 13 is formed at recess 12C on inner cylinder 12B, with one end formed in one piece with the bottom surface of lid 12A of inner case 12. A proximity to the inside end of flat cable 5 is inserted into gap 14 between the inner wall of guide piece 13 and the periphery of recess 12C disposed on inner cylinder 12B of inner case 12. Flat cable 5 is then guided out from the edge surface of edge portion 13A formed so as to tilt the tip of guide piece 13 in the periphery direction. It is thus possible to provide an easy to assemble and economical rotary connector with the number of parts minimized.

    摘要翻译: 通常用于汽车的转向装置的旋转连接器用于通过固定到转向柱的电路和附接到方向盘的电路之间的柔性扁平电缆建立电连接。 本发明的旋转连接器具有用于扁平电缆的平滑卷绕的引导装置。 引导件13形成在内筒12B上的凹部12C处,其一端与内壳12的盖12A的底面形成一体。扁平电缆5的内端附近插入在内侧 引导件13的壁和设置在内壳体12的内筒12B上的凹部12C的周边。然后,将扁平电缆5从形成为使导向件13的末端倾斜的边缘部13A的边缘表面引导出来, 方向。 因此,可以提供容易组装和经济的旋转连接器,其中部件的数量最小化。

    Turning direction indicator device
    10.
    发明授权
    Turning direction indicator device 有权
    车削方向指示装置

    公开(公告)号:US08431847B2

    公开(公告)日:2013-04-30

    申请号:US12950165

    申请日:2010-11-19

    IPC分类号: H01H3/18

    CPC分类号: B60Q1/425

    摘要: A turning direction indicator device includes an actuator that rotates by an operation of an operating lever so as to be positioned at neutral and operational positions, a cover that has a lower surface having a guide groove therein extending in a rearward direction toward the cancel cam, a cam body that has an upper surface sliding with respect to the lower surface of the cover, an urging spring that urges the cam body in the rearward direction, a release element that rotates together with the actuator, and a grease provided between the upper surface of the cam body and the lower surface of the cover. The cam body includes ridges projecting from the upper surface of the cam body. The turning direction indicator device suppresses a hitting noise produced by the cam body and the release element with such a simple structure, and operates reliably.

    摘要翻译: 转向指示装置包括:致动器,其通过操作杆的操作而旋转以定位在中立和操作位置;盖,其具有在其后方向朝向取消凸轮延伸的引导槽的下表面, 具有相对于所述盖的下表面滑动的上表面的凸轮体,向后方向推压所述凸轮体的推压弹簧,与所述致动器一起旋转的释放元件,以及设置在所述上​​表面 的凸轮体和盖的下表面。 凸轮体包括从凸轮体的上表面突出的凸脊。 转向方向指示装置以这种简单的结构抑制由凸轮本体和释放元件产生的打击噪音,并可靠地操作。