Logic verification device, logic verification method and logic verification computer program
    1.
    发明授权
    Logic verification device, logic verification method and logic verification computer program 失效
    逻辑验证装置,逻辑验证方法和逻辑验证计算机程序

    公开(公告)号:US07131086B2

    公开(公告)日:2006-10-31

    申请号:US10915608

    申请日:2004-08-11

    IPC分类号: G06F17/50

    CPC分类号: G06F17/5022

    摘要: A logic verification device, a logic verification method and a logic verification computer program that can reduce the number of steps involved in designing a logic circuit particularly when the designed logic circuit is subjected to logic verification and modification at the spot where an error is detected. The logic verification device comprises a data converter section adapted to convert real circuit data to be processed for designing a logic circuit into data for verification to be processed for logic verification and vice versa, a verifier section adapted to operate for logic verification of said data for verification and a temporary modifier section adapted to acquire the result of verification of said verifier section and the modification candidate data corresponding to the result of verification of said verifier section and pre-selected as candidate data for modification of said data for verification and modify said data for verification on the basis of said acquired result of verification and said acquired modification candidate data.

    摘要翻译: 逻辑验证装置,逻辑验证方法和逻辑验证计算机程序,可以减少在设计逻辑电路时涉及的步骤数,特别是当设计的逻辑电路在检测到错误的位置进行逻辑验证和修改时。 逻辑验证装置包括:数据转换器部分,适于将待处理的实际电路数据转换为用于设计逻辑电路的数据以进行逻辑验证处理以进行验证,反之亦然;验证器部分,适于操作所述数据的逻辑验证 验证和临时修改器部分,其适于获取所述验证器部分的验证结果和对应于所述验证​​器部分的验证结果的修改候选数据,并且被预先选择作为用于修改所述数据进行验证的候选数据,并修改所述数据 用于基于所述获取的验证结果和所述获取的修改候选数据进行验证。

    Logic verification device, logic verification method and logic verification computer program
    2.
    发明申请
    Logic verification device, logic verification method and logic verification computer program 失效
    逻辑验证装置,逻辑验证方法和逻辑验证计算机程序

    公开(公告)号:US20050229122A1

    公开(公告)日:2005-10-13

    申请号:US10915608

    申请日:2004-08-11

    IPC分类号: G06F17/50

    CPC分类号: G06F17/5022

    摘要: A logic verification device, a logic verification method and a logic verification computer program that can reduce the number of steps involved in designing a logic circuit particularly when the designed logic circuit is subjected to logic verification and modification at the spot where an error is detected. The logic verification device comprises a data converter section adapted to convert real circuit data to be processed for designing a logic circuit into data for verification to be processed for logic verification and vice versa, a verifier section adapted to operate for logic verification of said data for verification and a temporary modifier section adapted to acquire the result of verification of said verifier section and the modification candidate data corresponding to the result of verification of said verifier section and pre-selected as candidate data for modification of said data for verification and modify said data for verification on the basis of said acquired result of verification and said acquired modification candidate data.

    摘要翻译: 逻辑验证装置,逻辑验证方法和逻辑验证计算机程序,可以减少在设计逻辑电路时涉及的步骤数,特别是当设计的逻辑电路在检测到错误的位置进行逻辑验证和修改时。 逻辑验证装置包括:数据转换器部分,适于将待处理的实际电路数据转换为用于设计逻辑电路的数据以进行逻辑验证处理以进行验证,反之亦然;验证器部分,适于操作所述数据的逻辑验证 验证和临时修改器部分,其适于获取所述验证器部分的验证结果和对应于所述验证​​器部分的验证结果的修改候选数据,并且被预先选择作为用于修改所述数据进行验证的候选数据,并修改所述数据 用于基于所述获取的验证结果和所述获取的修改候选数据进行验证。

    Integrated circuit design apparatus, method and program evaluating condition of functional blocks, assigned to virtual placement regions in each of lower-and higher-rank mounting blocks
    3.
    发明授权
    Integrated circuit design apparatus, method and program evaluating condition of functional blocks, assigned to virtual placement regions in each of lower-and higher-rank mounting blocks 有权
    功能块的集成电路设计装置,方法和程序评估条件,分配给每个下级和更高级安装块中的虚拟放置区域

    公开(公告)号:US07191421B2

    公开(公告)日:2007-03-13

    申请号:US10103895

    申请日:2002-03-25

    IPC分类号: G06F9/45 G06F17/50

    CPC分类号: G06F17/5072

    摘要: An integrated circuit design apparatus includes a block placement processing unit which performs processing of creation of a lower-rank mounting block in a higher-rank mounting block, and performs processing of creation of virtual placement regions in each of the lower-rank mounting block and the higher-rank mounting block. A functional block assignment processing unit performs processing of assignment of functional blocks to each of the virtual placement regions provided by the block placement processing unit. An evaluation processing unit provides a display of a condition of the functional blocks assigned to each of the virtual placement regions of both the lower-rank mounting block and the higher-rank mounting block, in order to evaluate the condition of the assigned functional blocks.

    摘要翻译: 集成电路设计装置包括块放置处理单元,其执行在较高等级的安装块中创建较低等级的安装块的处理,并且执行在下级安装块中的每一个中创建虚拟放置区域的处理,以及 高级安装座。 功能块分配处理单元对由块放置处理单元提供的每个虚拟放置区域执行功能块的分配处理。 评估处理单元提供分配给下级安装块和高级安装块的每个虚拟放置区域的功能块的状态的显示,以便评估所分配的功能块的状况。

    Method for producing a soft magnetic material
    4.
    发明授权
    Method for producing a soft magnetic material 失效
    软磁性材料的制造方法

    公开(公告)号:US07179337B2

    公开(公告)日:2007-02-20

    申请号:US10687894

    申请日:2003-10-17

    IPC分类号: H01F1/03

    摘要: The invention provides a method for preparing a soft magnetic material which meets demands for low iron loss, high density, high strength and high productivity. The method comprises a surface oxidation step of forming oxide films on the surfaces of a soft magnetic powder, a step of preparing a molding compound of the soft magnetic powder by mixing a soft magnetic powder and a binder with a predetermined blending ratio, a press molding step of press-molding the molding compound of the soft magnetic powder into a predetermined shape, and a sintering step of sintering the press-molded soft magnetic powder to produce a soft magnetic material, wherein a millimeter wave sintering apparatus or a discharge plasma sintering apparatus is used as a heating means in the surface oxidation step or in the sintering step. Thereby, energy of millimeter waves or discharge plasma acts locally on oxidized surface portions having a large electric resistance of the soft magnetic powder, the surfaces of the soft magnetic powder are locally heated at a temperature near the melting point, and oxidation of the surfaces of the soft magnetic powder (formation of an oxide film) and sintering (diffusional joining between oxide films) are promoted.

    摘要翻译: 本发明提供一种制备软磁性材料的方法,该方法满足低铁损,高密度,高强度和高生产率的要求。 该方法包括在软磁性粉末的表面上形成氧化膜的表面氧化步骤,通过以预定的混合比例混合软磁性粉末和粘合剂来制备软磁性粉末的模塑料的步骤,压制成型 将软磁性粉末的模塑料压制成预定形状的步骤,以及将压制成型的软磁性粉末烧结以制造软磁性材料的烧结步骤,其中,使用毫米波烧结装置或放电等离子体烧结装置 在表面氧化步骤或烧结步骤中用作加热装置。 因此,毫米波或放电等离子体的能量局部地在软磁性粉末的电阻较大的氧化表面部分上作用,软磁性粉末的表面在接近熔点的温度下被局部加热, 促进软磁性粉末(氧化膜的形成)和烧结(氧化膜之间的扩散接合)。

    Liquid dispensing device
    5.
    发明授权
    Liquid dispensing device 失效
    液体分配装置

    公开(公告)号:US4632276A

    公开(公告)日:1986-12-30

    申请号:US683502

    申请日:1984-12-19

    申请人: Yukio Makino

    发明人: Yukio Makino

    IPC分类号: B67B7/50 B67D1/04 B65D83/14

    CPC分类号: B67D1/0412

    摘要: A device for dispensing a liquid comprising a tubular fitting member fitted to a mouth of a vessel storing the liquid, a dispensing pipe mounted to the fitting member, a bomb attachment communicating with the fitting member through a communication passage and holding therein a bomb filled with the liquid, a bomb unstoppering needle fitted with a terminal sealing member therearound and mounted within the bomb attachment so as to be intruded into and receded out of a sealing plate of the bomb held within the bomb attachment, a supporting member for linearly movably supporting the unstoppering needle within the bomb attachment, and a device mounted rotatably in the bomb attachment and adapted for shifting the bomb attachment needle, is disclosed. The acute foremost part of the needle projecting beyond the sealing member pierces through the bomb sealing plate for forming a discharge orifice in the sealing plate for discharging the pressurized fluid from the bomb and thereby dispensing the liquid contained in the vessel. The dispensing device may also be provided with a valving member adapted to open or close a pressurizing fluid vent in timing with the operation of the needle shifting device in such a manner that the pressurizing gas in the vessel is discharged at the same time as the bomb is closed by the needle.

    摘要翻译: 一种用于分配液体的装置,包括装配到容纳液体的容器的口部的管状配件,安装到配件构件的分配管,通过连通通道与配合构件连通的弹药附件,并且在其中容纳填充有 液体,一个安装有端子密封件的炸弹未启动针,并安装在炸弹附件内,以便被插入并从保持在炸弹附件内的炸弹的密封板排出并退出;支撑构件,用于线性地可移动地支撑 公开了在炸弹附件内的无刺激针,以及可旋转地安装在炸弹附件中并适于移动炸弹附着针的装置。 突出超过密封构件的针的突出部分穿过炸弹密封板,用于在密封板中形成排出孔,用于从加压容器排出加压流体,从而分配容纳在容器中的液体。 分配装置还可以设置有阀构件,其适于在针移位装置的操作的同时打开或关闭加压流体通风口,使得容器中的加压气体在与炸弹同时排出的方式 被针关闭。