会员体验
专利管家(专利管理)
工作空间(专利管理)
风险监控(情报监控)
数据分析(专利分析)
侵权分析(诉讼无效)
联系我们
交流群
官方交流:
QQ群: 891211   
微信请扫码    >>>
现在联系顾问~
热词
    • 3. 发明授权
    • Method and system for generating an ATPG model of a memory from behavioral descriptions
    • 从行为描述生成记忆的ATPG模型的方法和系统
    • US06959272B2
    • 2005-10-25
    • US09360069
    • 1999-07-23
    • Peter WohlJohn WaicukauskiTimothy G. Hunkler
    • Peter WohlJohn WaicukauskiTimothy G. Hunkler
    • G01R31/3181G01R31/3183G01R31/319G06F13/10G06F17/50
    • G01R31/318357G01R31/31813G01R31/31919G06F17/5022
    • A method and system for constructing a structural model of a memory for use in ATPG (Automatic Test Pattern Generation). According to an embodiment of the present invention, behavioral models of memories of the simulation libraries are re-coded into simplified behavioral models using behavioral hardware description language (e.g., Verilog). Then, the simplified behavioral models are automatically converted into structural models that include ATPG memory primitives. The structural models are then stored for subsequent access during pattern generation. In one embodiment, for modeling random access memories (RAMs), the ATPG memory primitives include memory primitives, data bus primitives, address bus primitives, read-port primitives and macro output primitives. In another embodiment, for modeling content addressable memories (CAMs), the ATPG memory primitives include memory primitives, compare port primitives and macro output primitives. An advantage of the present invention is that functional equivalence between the simplified behavioral models and the simulation models can be easily verified with the same behavioral hardware description language simulator (e.g., Verilog simulator). Another advantage of the present invention is that very complicated memories, such as CAMs, can be accurately modeled for ATPG.
    • 一种用于构建用于ATPG(自动测试模式生成)的存储器的结构模型的方法和系统。 根据本发明的实施例,使用行为硬件描述语言(例如,Verilog)将仿真库的存储器的行为模型重新编码成简化的行为模型。 然后,简化的行为模型将自动转换为包含ATPG内存原语的结构模型。 然后存储结构模型以便在模式生成期间进行后续访问。 在一个实施例中,为了建模随机存取存储器(RAM),ATPG存储器原语包括存储器原语,数据总线原语,地址总线原语,读端口原语和宏输出原语。 在另一个实施例中,为了建模内容可寻址存储器(CAM),ATPG存储器原语包括存储器原语,比较端口原语和宏输出原语。 本发明的一个优点是可以用相同的行为硬件描述语言模拟器(例如,Verilog模拟器)容易地验证简化的行为模型和仿真模型之间的功能等同性。 本发明的另一个优点是可以精确地为ATPG建模非常复杂的记忆,例如CAM。
    • 4. 发明授权
    • Hierarchical fault modeling system and method
    • 分层故障建模系统及方法
    • US5796990A
    • 1998-08-18
    • US929578
    • 1997-09-15
    • Mark Alan ErleMatthew Christopher GrafPeter Wohl
    • Mark Alan ErleMatthew Christopher GrafPeter Wohl
    • G01R31/3183G06F11/263
    • G01R31/318342
    • A system and method for generating a fault model for a logic circuit includes a data storage device for storing information relative to fault models or primitive elements in a logic circuit and for storing fault models for each level of design in a hierarchical logic circuit, a processor for processing the stored information relative to primitives and lower level fault models in the hierarchy for generating fault models for each succeeding higher level of design in the hierarchy, an input device for operator input of information to modify primitive fault models and a display subsystem for displaying various aspects of the hierarchical fault model generated in accordance with the present invention.
    • 用于产生逻辑电路的故障模型的系统和方法包括:数据存储装置,用于存储与逻辑电路中的故障模型或原始元件相关的信息,并用于存储分级逻辑电路中每个级别的设计的故障模型;处理器 用于处理存储的相对于层级中的原语和下级故障模型的信息,用于为层级中的每个后续更高级别的设计生成故障模型​​,用于操作者输入信息以修改原始故障模型的输入设备和用于显示的显示子系统 根据本发明生成的分层故障模型的各个方面。
    • 9. 发明申请
    • Pipeline of additional storage elements to shift input/output data of combinational scan compression circuit
    • 管道附加存储元件,用于移动组合扫描压缩电路的输入/输出数据
    • US20080256274A1
    • 2008-10-16
    • US11786968
    • 2007-04-13
    • Peter WohlJohn A. WaicukauskiFrederic J. Neuveux
    • Peter WohlJohn A. WaicukauskiFrederic J. Neuveux
    • G06F13/38
    • G01R31/318547
    • An electronic device includes a scan-based circuit that includes a combinational decompressor, a combinational compressor, scan chains, and logic which typically includes a number of storage elements. Cycle time normally needed to shift data into or out of a scan cell to/from an external interface of the electronic device is reduced by use of one or more additional storage element(s) located between the external interface and one of the combinational elements (decompressor/compressor). The one or more additional storage element(s) form a pipeline that shifts compressed data in stages, across small portions of an otherwise long path between the external interface and one of the combinational elements. Staged shifting causes the limit on cycle time to drop to the longest time required to traverse a stage of the pipeline. The reduced cycle time in turn enables a corresponding increase in shift frequency.
    • 电子设备包括基于扫描的电路,其包括组合式解压缩器,组合式压缩器,扫描链和通常包括多个存储元件的逻辑。 通常需要通过使用位于外部接口和组合元件之一之间的一个或多个额外的存储元件来将数据移入或移出到电子设备的外部接口的扫描单元之外的周期时间( 解压缩机/压缩机)。 所述一个或多个附加存储元件形成流水线,其将压缩数据分阶段地跨越外部接口和组合元件之一之间的另外长的路径的小部分。 分段移位导致循环时间的限制下降到穿越流水线所需的最长时间。 缩短的周期时间又使移位频率相应增加。
    • 10. 发明授权
    • Method and system for controlling test data volume in deterministic test pattern generation
    • 用于在确定性测试模式生成中控制测试数据量的方法和系统
    • US06385750B1
    • 2002-05-07
    • US09387865
    • 1999-09-01
    • Rohit KapurThomas W. WilliamsJohn WaicukauskiPeter Wohl
    • Rohit KapurThomas W. WilliamsJohn WaicukauskiPeter Wohl
    • G06F1100
    • G01R31/31813
    • A method and system for improving the fault coverage of test vectors for testing integrated circuits. The present invention also provides a method and system for reducing the number of deterministic test vectors required for testing integrated circuits by inserting test points in a cost effective manner. According to an embodiment of the present invention, a fault list having all the potential faults of an integrated circuit design is initialized and all the potential faults are marked as untestable. A set of test patterns, T, for testing several of the potential faults are generated. A fault simulation process is then performed on the integrated circuit design with the test patterns, T, to mark off untested faults. During fault simulation, fault propagation is monitored to determine the nets in the design to which faults were propagated. The nets at which fault propagation discontinues (e.g., de-sensitized) are also monitored. This information is collected over the set of test patterns, T. Based on the fault propagation information, test points are selectively inserted to maximize the fault coverage of the set of test patterns, T. In one embodiment, the nets to which most untested faults propagate are selected for test point insertion. The number of test points selected may be determined by user-defined parameters. These steps are then repeated for another set of set patterns until the desired fault coverage is achieved. By adding test points, the fault coverage of the test patterns is significantly improved, thus reducing the test data volume.
    • 一种改进测试矢量故障覆盖的方法和系统,用于测试集成电路。 本发明还提供了一种通过以成本有效的方式插入测试点来减少测试集成电路所需的确定性测试向量的数量的方法和系统。 根据本发明的实施例,初始化具有集成电路设计的所有潜在故障的故障列表,并将所有潜在故障标记为不可测。 产生一组用于测试几个潜在故障的测试模式T。 然后利用测试图案T对集成电路设计进行故障模拟处理,以标记未测试的故障。 在故障模拟期间,监控故障传播,以确定传播故障的设计网络。 还监测故障传播中断的网络(例如,去敏化)。 该信息是通过一组测试模式T收集的。根据故障传播信息,选择性地插入测试点,以最大化测试模式集合T的故障覆盖。在一个实施例中,最未经测试的故障的网络 选择传播以进行测试点插入。 所选择的测试点的数量可以由用户定义的参数确定。 然后对另一组设置模式重复这些步骤,直到实现所需的故障覆盖。 通过添加测试点,测试模式的故障覆盖率显着提高,从而降低测试数据量。