会员体验
专利管家(专利管理)
工作空间(专利管理)
风险监控(情报监控)
数据分析(专利分析)
侵权分析(诉讼无效)
联系我们
交流群
官方交流:
QQ群: 891211   
微信请扫码    >>>
现在联系顾问~
热词
    • 2. 发明申请
    • 論理値決定方法及び論理値決定プログラム
    • 逻辑价值确定方法和逻辑价值确定方案
    • WO2009051193A1
    • 2009-04-23
    • PCT/JP2008/068778
    • 2008-10-16
    • 国立大学法人 九州工業大学宮瀬 紘平温 暁青梶原 誠司
    • 宮瀬 紘平温 暁青梶原 誠司
    • G01R31/3183G01R31/28H03K19/23
    • H03K19/23G01R31/318371
    • テストの判定能力を低下させない未定値ビットを特定し、この未定値ビットの論理値を短時間で決定できる論理値決定方法及び論理値決定プログラムを提供する。組合せ回路11の対応する外部入力線と外部出力線との間の論理値相違の総数を調整する未定値ビットの論理値決定方法であって、外部出力線が論理値、外部入力線が未定値の場合、未定値ビットの論理値を外部出力線の論理値とする第1論理値決定作業と、外部出力線が未定値、外部入力線が論理値の場合、正当化操作によって未定値ビットの論理値を求める第2論理値決定作業と、外部入力線及び外部出力線が未定値の場合、外部出力線が論理値0になる確率と、論理値1になる確率を計算し、確率の差に基づいて外部入力線の未定値ビットの論理値を決定する第3論理値決定作業とを具備し、論理値相違の総数が目標値に到達するまで第3論理値決定作業を繰り返す。
    • 本发明的目的是提供一种逻辑值确定方法和逻辑值确定程序,其可以指定不降低测试判断能力的未确定值比特,并且在短时间内确定未确定值比特的逻辑值。 调整组合电路(11)的对应的外部输入和输出线之间的逻辑值的差异的总数的未确定值的逻辑值的确定方法被提供有第一逻辑值确定操作,当第 外部输出线具有逻辑值,并且外部输入线具有未确定值,将未确定值位的逻辑值视为外部输出线的逻辑值;第二逻辑值确定操作,当外部输出线 具有未确定值,并且外部输入线具有逻辑值,通过对正操作确定未确定值位的逻辑值;以及第三逻辑值确定操作,当外部输入和输出线具有未确定值时,计算概率 外部输出线分别变为逻辑值0和1,并确定th的逻辑值 基于所述概率之间的差异,所述外部输入线的未确定值比特,其中重复所述第三逻辑值确定操作,直到所述逻辑值差的总数达到目标值。
    • 5. 发明申请
    • SYSTEMS AND METHODS FOR DATA GENERATION
    • 用于数据生成的系统和方法
    • WO2013154994A1
    • 2013-10-17
    • PCT/US2013/035620
    • 2013-04-08
    • GENROCKET, INC.
    • TAYLOR, Hycel, B.BOLINGER, Gregg
    • G01R31/3183
    • G06F11/2273G01R31/318371
    • The invention provides, in one aspect, a digital data processor-based test data generator, that includes a digital data processing system with one or more digital data processors that are coupled for communications. A scenario creator executes on the digital data processing system and accepts, for each of one or more entities ("domains"), a plurality of parameters, including a hierarchical relationship between that entity and one or more other entities, a priority-of-test-data-creation relationship between that entity and one or more entities, and one or more attributes of that entity. The scenario creator generates a parameter set that defines a test data set specifying the aforesaid entities, relationships and attributes. The test generator further includes an engine that enumerates values for the entities and their attributes in an order determined by the aforesaid relationships.
    • 本发明在一个方面提供一种基于数字数据处理器的测试数据生成器,其包括具有耦合用于通信的一个或多个数字数据处理器的数字数据处理系统。 方案创建者在数字数据处理系统上执行,并且对于一个或多个实体(“域”)中的每一个接受多个参数,包括该实体与一个或多个其他实体之间的分层关系, 该实体与一个或多个实体之间的测试数据创建关系以及该实体的一个或多个属性。 场景创建者生成一个参数集,该参数集定义了一个指定上述实体,关系和属性的测试数据集。 测试发生器还包括以由上述关系确定的顺序列举实体及其属性的值的引擎。
    • 7. 发明申请
    • TOOL FOR AUTOMATIC TESTABILITY ANALYSIS
    • 自动测试工具分析
    • WO01094960A1
    • 2001-12-13
    • PCT/FR2001/001764
    • 2001-06-07
    • G01R31/3183G06F17/50
    • G01R31/318371
    • The invention concerns a method for verifying whether a specific signal of a complex circuit is operating correctly, enabling to obtain in a computer storage, a profile of states of other signals for which a specific signal condition is expected on a physical sample of the circuit. So as to reduce to a minimum processing time and work space required to obtain said profile, the method uses binary decision diagrams. Since the specific signal can have more than two states (B, H, Z), the method consists in generating at least two binary decision diagrams, a first binary diagram decision whereof the value at 1 indicates that the signal is at the first or at the second state, a second binary decision diagram whereof the value at 1 indicates that the signal is at the second or at the third state.
    • 本发明涉及一种用于验证复合电路的特定信号是否正常工作的方法,使得能够在计算机存储器中获得在电路的物理样本上期望具有特定信号条件的其它信号的状态分布。 为了减少获得所述配置文件所需的最小处理时间和工作空间,该方法使用二进制决策图。 由于特定信号可以具有两个以上的状态(B,H,Z),该方法包括生成至少两个二进制决策图,第一个二进制图决定其中的值表示信号处于第一个或第一个 第二状态,第二个二进制判定图,其中值1表示信号处于第二或第三状态。
    • 8. 发明申请
    • INSTRUCTION PROCESSING PATTERN GENERATOR CONTROLLING AN INTEGRATED CIRCUIT TESTER
    • 控制集成电路测试仪的指令处理模式发生器
    • WO00029863A1
    • 2000-05-25
    • PCT/US1999/024051
    • 1999-10-25
    • G01R31/3183G01R31/319G06F9/42G06F11/22G06F12/02G01R31/28
    • G01R31/318371G01R31/31921
    • A pattern generator (23) for an integrated circuit tester includes an instruction memory (22) storing addressable instructions (INST) and reading out each instruction when addressed by an address (ADDR) supplied as input thereto. An instruction processor (20) receives each instruction read out of the instruction memory (22) and alters the address input to the instruction memory (22) in accordance with the received instruction so that the instruction memory (22) reads out a next instruction. The instruction processor (20), which includes a conventional return address stack, is capable of executing conventional address increment, call and return instructions. The instruction processor (20) is also capable of executing a temporary return instruction (TEMP) by incrementing its current address output to produce a new return address, by setting its address output to the value of a return address previously saved in the stack, by popping the saved return address from the stack, and by pushing the new return address onto the stack. Temporary return instructions enable instruction program flow to pass back and forth between a main program and a called subroutine.
    • 用于集成电路测试器的模式发生器(23)包括存储可寻址指令(INST)的指令存储器(22),并且当通过作为其输入提供的地址(ADDR)寻址时读出每个指令。 指令处理器(20)接收从指令存储器(22)读出的每个指令,并根据接收到的指令改变输入到指令存储器(22)的地址,使得指令存储器(22)读出下一个指令。 包括常规返回地址堆栈的指令处理器(20)能够执行常规地址递增,调用和返回指令。 指令处理器(20)还能够通过增加其当前地址输出来产生新的返回地址来执行临时返回指令(TEMP),通过将其地址输出设置为先前保存在堆栈中的返回地址的值,由 从堆栈中弹出保存的返回地址,并将新的返回地址推入堆栈。 临时返回指令使指令程序流程能够在主程序和被调用的子程序之间来回传递。
    • 9. 发明申请
    • GSM TRANSCEIVER UNIT EQUIPPED FOR TIME OF ARRIVAL MEASUREMENTS
    • GSM收发器单元装备了到达时间的测量
    • WO99062286A1
    • 1999-12-02
    • PCT/US1999/009927
    • 1999-05-05
    • G01R31/3183H04W64/00H04Q7/38
    • H04W64/00G01R31/318371
    • In a base station for use in a mobile communication system for communication with mobile subscribers over a plurality of radio channels, an improved transceiver unit is provided including a traffic controller handling downlink and uplink communication traffic with mobile subscribers over the plurality of radio channels, and a measuring device measuring arrival times of burst signals from a mobile subscriber communicating on a select one of the radio channels, or from a mobile subscriber communicating on another transceiver unit, on one of the plurality of radio channels.
    • 在用于通过多个无线电信道与移动用户进行通信的移动通信系统的基站中,提供改进的收发机单元,其包括在多个无线电信道上处理与移动用户的下行链路和上行链路通信业务的业务控制器,以及 测量装置,测量在所述多个无线电信道中的一个无线电信道中的一个无线电信道上或来自在另一收发机单元上通信的移动用户的移动用户的突发信号的到达时间。