会员体验
专利管家(专利管理)
工作空间(专利管理)
风险监控(情报监控)
数据分析(专利分析)
侵权分析(诉讼无效)
联系我们
交流群
官方交流:
QQ群: 891211   
微信请扫码    >>>
现在联系顾问~
热词
    • 1. 发明专利
    • Programmable logic device and method of verifying the same
    • 可编程逻辑器件及其验证方法
    • JP2014060537A
    • 2014-04-03
    • JP2012203486
    • 2012-09-14
    • Toshiba Corp株式会社東芝
    • HAMADA SHUJIYOSHIDA NOBUAKIKOJIMA ATSUSHI
    • H03K19/177G01R31/28H01L21/82H01L21/822H01L27/04
    • G01R31/3183G01R31/3177G01R31/318519H03K19/177H03K19/17764H03K19/17768
    • PROBLEM TO BE SOLVED: To provide a programmable logic device and a method of verification thereof which implement efficient verification as to whether internal states indicated by sequential circuits transition equivalently to a logic program in a hardware description language (HDL).SOLUTION: A programmable logic device 10 includes: an I/O section 17 for executing input/output of digital signals to implemented logic elements and the outside; generation sections 12 (12a, 12b, 12c, 12d) for acquiring internal state signals of the sequential circuits included in subregions 11 (11a, 11b, 11c, 11d) divided from the group of logic elements, and generating state information 13 (13a, 13b, 13c, 13d) in the units of the subregions 11; and a selective output section 14 for acquiring and selectively outputting to the outside the state information 13 from each subregion 11.
    • 要解决的问题:提供一种可编程逻辑器件及其验证方法,其实现对由等效电路指示的内部状态是否与硬件描述语言(HDL)中的逻辑程序等效转换的有效验证。解决方案:可编程逻辑 设备10包括:用于执行数字信号到实现的逻辑元件和外部的输入/输出的I / O部分17; 生成部分12(12a,12b,12c,12d),用于获取从该组逻辑元件划分的子区域11(11a,11b,11c,11d)中包括的顺序电路的内部状态信号,并且生成状态信息13(13a, 13b,13c,13d); 以及选择输出部分14,用于从每个子区域11获取和选择性地向外部输出状态信息13。
    • 5. 发明专利
    • Method and system for managing access to data store
    • 管理访问数据存储的方法和系统
    • JP2007206073A
    • 2007-08-16
    • JP2007019950
    • 2007-01-30
    • Verigy (Singapore) Pte Ltdヴェリジー(シンガポール) プライベート リミテッドVerigy(Singapore)Pte.Ltd.
    • CARPENTER BRYAN F
    • G01R31/28G06F11/22G06F12/00
    • G01R31/318371G01R31/3183
    • PROBLEM TO BE SOLVED: To speed up a test processing or generation of test data. SOLUTION: In one embodiment, a method for managing access to a data store includes: (1) instantiating one first priority thread and a plurality of second priority threads for execution by a processing system; (2) launching a data taking means on the first priority thread; (3) launching a plurality of data format means on at least one higher step than the plurality of second priority threads; (4) causing the data taking means to write data items in the data store; (5) monitoring a parameter of a data acquiring system; and (6) controlling execution of the second priority threads to the first priority thread in order to manage access to the data store and the data items therein by the plurality of data format means corresponding to the monitored parameter. Other embodiments are also disclosed. COPYRIGHT: (C)2007,JPO&INPIT
    • 要解决的问题:加快​​测试处理或生成测试数据。 解决方案:在一个实施例中,一种用于管理对数据存储的访问的方法包括:(1)实例化一个第一优先级线程和多个第二优先级线程以供处理系统执行; (2)在第一线上启动数据采集手段; (3)在多个第二优先级线程的至少一个以上的步骤上发射多个数据格式装置; (4)使数据采集装置在数据存储器中写入数据项; (5)监视数据采集系统的参数; 以及(6)控制第二优先级线程的执行到第一优先级线程,以便通过对应于所监视的参数的多个数据格式装置来管理对数据存储及其数据项的访问。 还公开了其他实施例。 版权所有(C)2007,JPO&INPIT
    • 7. 发明专利
    • Test simulator and test simulation program
    • 测试模拟器和测试仿真程序
    • JP2006090905A
    • 2006-04-06
    • JP2004278582
    • 2004-09-24
    • Advantest Corp株式会社アドバンテスト
    • TADA HIDEKIHORI MITSUOKATAOKA TAKAHIRO
    • G01R31/28
    • G06F17/5022G01R31/3183G01R31/318357G06F11/263
    • PROBLEM TO BE SOLVED: To shorten the time required for simulation tests.
      SOLUTION: A test simulator simulating tests of semiconductor devices is provided, which is equipped with a test pattern holding means holding a pre-existing test pattern to be given to a semiconductor device, a device holding means holding preliminarily the output to be gained from the semiconductor device when the pre-existing test pattern are given, a test pattern generating means generating the new test pattern to be given to the semiconductor device, a test pattern determining means determining whether the new test pattern is the same as the pre-existing test pattern, and a simulation skipping means, in which, when the test pattern is the same as the pre-existing test pattern, by reading out the output to be the output for the new test pattern from the device output holding means, without giving any new test patterns to the semiconductor device, a part of simulation test at least can be skipped.
      COPYRIGHT: (C)2006,JPO&NCIPI
    • 要解决的问题:缩短模拟测试所需的时间。 提供了一种模拟半导体器件测试的测试模拟器,其配备有将预先存在的测试图案保持在半导体器件上的测试图案保持装置,初步保持输出的装置保持装置 当给出预先存在的测试图案时从半导体器件获得的测试图形产生装置产生要提供给半导体器件的新测试图案;测试图案确定装置,确定新的测试图案是否与预先存在的测试图案相同 - 现有测试图案和模拟跳过装置,其中当测试图案与预先存在的测试图案相同时,通过从设备输出保持装置读出作为新测试图案的输出的输出, 不向半导体器件提供任何新的测试图案,至少可以跳过部分模拟测试。 版权所有(C)2006,JPO&NCIPI