公开(公告)号：US20100100860A1

公开(公告)日：2010-04-22

申请号：US12255606

申请日：2008-10-21

申请人： Chioumin M. Chang ,  Thomas B. Huang ,  Huan-Chih Tsai

发明人： Chioumin M. Chang ,  Thomas B. Huang ,  Huan-Chih Tsai

IPC分类号： G06F17/50

CPC分类号： G06F17/5027

摘要： Using a vector-based emulation technique, a hardware-based prototyping system reduces time-consuming recompilation and reduces the iteration time for a verification run. The vector-based emulation technique takes advantage of information derived from user-defined probe points, automatically generated probe points and low-latency snapshots. Using a bounded-cycle simulation technique, the hardware-based prototyping system can provide complete or partial simulation traces covering interested signals and can efficiently evaluates assertions. A user is therefore able to debug in a real system test and to identify causes of fault conditions interactively under a controlled vector debugging environment.

摘要翻译： 使用基于向量的仿真技术，基于硬件的原型系统可以减少耗时的重新编译，并减少验证运行的迭代时间。 基于矢量的仿真技术利用从用户定义的探测点，自动生成的探测点和低延迟快照得到的信息。 使用有界循环模拟技术，基于硬件的原型系统可以提供涵盖感兴趣信号的完整或部分模拟轨迹，并可以有效地评估断言。 因此，用户能够在真实的系统测试中进行调试，并在受控的向量调试环境下交互地识别故障条件的原因。

公开(公告)号：US20080127014A1

公开(公告)日：2008-05-29

申请号：US11586879

申请日：2006-10-25

申请人： Manish Pandey ,  Rajat Arora ,  Chih-Chang Lin ,  Huan-Chih Tsai ,  Bharat Chandramouli ,  Kei-Yong Khoo

发明人： Manish Pandey ,  Rajat Arora ,  Chih-Chang Lin ,  Huan-Chih Tsai ,  Bharat Chandramouli ,  Kei-Yong Khoo

IPC分类号： G06F17/50

CPC分类号： G06F17/5045

摘要： Method and system for equivalence checking of a low power design are disclosed. The method includes receiving a register-transfer level (RTL) netlist representation of a circuit, receiving a power specification file for describing power requirements of the circuit, creating a low power gate netlist for representing a design implementation of the circuit using the RTL netlist and the power specification file, creating a reference low power RTL netlist for representing a design specification of the circuit using the RTL netlist and the power specification file, and performing equivalence checking between the low power gate netlist and the reference low power RTL netlist. The method further includes annotating low power information described in the power specification file into the reference low power RTL netlist, and creating low power logic in the reference low power RTL netlist.

摘要翻译： 公开了低功率设计的等效性检验方法和系统。 该方法包括接收电路的寄存器传送级（RTL）网表表示，接收用于描述电路的功率需求的功率指定文件，创建用于表示使用RTL网表的电路的设计实现的低功率门网表，以及 电源规范文件，创建用于表示使用RTL网表和电源规格文件的电路的设计规范的参考低功率RTL网表，以及执行低功率门网表和参考低功率RTL网表之间的等价检查。 该方法还包括将电力规范文件中描述的低功率信息注释到参考低功率RTL网表中，以及在参考低功率RTL网表中创建低功率逻辑。

公开(公告)号：US08516422B1

公开(公告)日：2013-08-20

申请号：US12815239

申请日：2010-06-14

申请人： Qi Wang ,  Ankur Gupta ,  Pinhong Chen ,  Christina Chu ,  Manish Pandey ,  Huan-Chih Tsai ,  Sandeep Bhatia ,  Yonghao Chen ,  Steven Sharp ,  Vivek Chickermane ,  Patrick Gallagher

发明人： Qi Wang ,  Ankur Gupta ,  Pinhong Chen ,  Christina Chu ,  Manish Pandey ,  Huan-Chih Tsai ,  Sandeep Bhatia ,  Yonghao Chen ,  Steven Sharp ,  Vivek Chickermane ,  Patrick Gallagher

IPC分类号： G06F17/50

CPC分类号： G06F17/505 ,  G06F17/5022 ,  G06F17/5081 ,  G06F2217/78

摘要： A method for implementing a single file format for power-related information for an IC comprising: providing a circuit design in at least one design file in a non-transitory computer readable storage device; providing power-related design information in a file in the computer readable storage device that is separate from the at least one design file and that specifies multiple power domains within the circuit design, each power domain including one or more design object instances from within the circuit design and that specifies multiple power modes each power mode corresponding to a different combination of on/off states of the multiple specified power domains and that specifies isolation behavior relative to respective power domains; and using a computer to add power control circuitry to the circuit design that implements the power domains and power modes and isolation behavior specified in the power specification information.

摘要翻译： 一种用于实现用于IC的功率相关信息的单个文件格式的方法，包括：在非暂时性计算机可读存储设备中的至少一个设计文件中提供电路设计; 在与所述至少一个设计文件分离的并且指定所述电路设计中的多个电力域的所述计算机可读存储设备中的文件中提供电力相关设计信息，每个电力域包括来自所述电路内的一个或多个设计对象实例 并且指定多个功率模式，每个功率模式对应于多个指定功率域的开/关状态的不同组合，并且指定相对于相应功率域的隔离行为; 并且使用计算机将功率控制电路添加到实现功率规范信息中指定的功率域和功率模式以及隔离行为的电路设计。

公开(公告)号：US20100305933A1

公开(公告)日：2010-12-02

申请号：US12476012

申请日：2009-06-01

申请人： Chioumin M. Chang ,  Thomas B. Huang ,  Huan-Chih Tsai ,  Ting-Mao Chang

发明人： Chioumin M. Chang ,  Thomas B. Huang ,  Huan-Chih Tsai ,  Ting-Mao Chang

IPC分类号： G06F17/50

CPC分类号： G06F17/5027

摘要： A method for verifying a logic circuit in a prototyping system includes (a) configuring programmable logic circuits of the prototyping system to implement the logic circuit and to implement probe circuits for accessing internal nodes of the logic circuit; (b) preparing emulation vectors for use in a vector emulation of the logic circuit in the prototyping system; (c) setting one or more vector substitution points; (d) preparing one or more packet vectors at each vector substitution point for replacing emulation vectors in the vector emulation; (e) performing the vector emulation using the emulation vectors until one of the vector substitution points is reached; and (f) substituting packet vectors for the corresponding emulation vectors at vector substitution point and continuing the vector emulation.

摘要翻译： 用于验证原型系统中的逻辑电路的方法包括（a）配置原型系统的可编程逻辑电路以实现逻辑电路并实现用于访问逻辑电路的内部节点的探针电路; （b）准备用于原型系统逻辑电路的矢量仿真中的仿真矢量; （c）设置一个或多个向量替换点; （d）在每个向量替换点处准备一个或多个分组向量以替换所述向量仿真中的仿真向量; （e）使用仿真矢量执行矢量仿真，直到达到矢量替代点之一; 和（f）在矢量替换点处将分组向量替换为对应的仿真矢量并继续矢量仿真。

公开(公告)号：US06463561B1

公开(公告)日：2002-10-08

申请号：US09408371

申请日：1999-09-29

申请人： Sudipta Bhawmik ,  Kwang-Ting Cheng ,  Huan-Chih Tsai

发明人： Sudipta Bhawmik ,  Kwang-Ting Cheng ,  Huan-Chih Tsai

IPC分类号： G01R3128

CPC分类号： G01R31/318544 ,  G01R31/31707 ,  G01R31/318541

摘要： An almost full-scan method and system for detecting faults in circuits can achieve higher fault coverages and significantly shorter test application time as compared with full-scan techniques. A special flip-flop selection of strategy is further described which permits implementation of the almost full-scan BIST method and system.

摘要翻译： 与全扫描技术相比，用于检测电路故障的几乎全扫描方法和系统可以实现更高的故障覆盖率，并显着缩短测试应用时间。 进一步描述了一种特殊的触发器选择策略，其允许实现几乎全扫描的BIST方法和系统。

公开(公告)号：US07739629B2

公开(公告)日：2010-06-15

申请号：US11590657

申请日：2006-10-30

申请人： Qi Wang ,  Ankur Gupta ,  Pinhong Chen ,  Christina Chu ,  Manish Pandey ,  Huan-Chih Tsai ,  Sandeep Bhatia ,  Yonghao Chen ,  Steven Sharp ,  Vivek Chickermane ,  Patrick Gallagher

发明人： Qi Wang ,  Ankur Gupta ,  Pinhong Chen ,  Christina Chu ,  Manish Pandey ,  Huan-Chih Tsai ,  Sandeep Bhatia ,  Yonghao Chen ,  Steven Sharp ,  Vivek Chickermane ,  Patrick Gallagher

IPC分类号： G06F17/50

CPC分类号： G06F17/505 ,  G06F17/5022 ,  G06F17/5081 ,  G06F2217/78

摘要： A method of adding power control circuitry to a circuit design at each of an RTL and a netlist level comprising: demarcating multiple power domains within the circuit design; specifying multiple power modes each power mode corresponding to a different combination of on/off states of the multiple demarcated power domains; and defining isolation behavior relative to respective power domains.

摘要翻译： 一种将功率控制电路添加到RTL和网表级别中的每一个处的电路设计的方法，包括：划分所述电路设计内的多个电源域; 指定多个功率模式，每个功率模式对应于多个划分的功率域的开/关状态的不同组合; 并定义相对于各自的功率域的隔离行为。

公开(公告)号：US20080127015A1

公开(公告)日：2008-05-29

申请号：US11590076

申请日：2006-10-30

申请人： Bharat Chandramouli ,  Huan-Chih Tsai ,  Manish Pandey ,  Chih-Chang Lin ,  Madan M. Das

发明人： Bharat Chandramouli ,  Huan-Chih Tsai ,  Manish Pandey ,  Chih-Chang Lin ,  Madan M. Das

IPC分类号： G06F17/50

CPC分类号： G06F17/5022 ,  G06F2217/78

摘要： Method and system for verifying power specifications of a low power design are disclosed. The method includes receiving a register-transfer level (RTL) netlist representation of the low power design, receiving a power specification file for describing power requirements of the low power design and verifying the power specification file in accordance with the RTL netlist representation of the low power design. The method further includes verifying completeness, compatibility, and consistency of power requirements for the low power design.

摘要翻译： 公开了用于验证低功率设计的功率规格的方法和系统。 该方法包括接收低功率设计的寄存器传送级（RTL）网表表示，接收用于描述低功率设计的功率需求的功率规格文件，并根据低功率设计的RTL网表表示验证功率规格文件 电源设计。 该方法还包括验证低功率设计的功率要求的完整性，兼容性和一致性。

公开(公告)号：US20070245285A1

公开(公告)日：2007-10-18

申请号：US11590657

申请日：2006-10-30

申请人： Qi Wang ,  Ankur Gupta ,  Pinhong Chen ,  Christina Chu ,  Manish Pandey ,  Huan-Chih Tsai ,  Sandeep Bhatia ,  Yonghao Chen ,  Steven Sharp ,  Vivek Chickermane ,  Patrick Gallagher

发明人： Qi Wang ,  Ankur Gupta ,  Pinhong Chen ,  Christina Chu ,  Manish Pandey ,  Huan-Chih Tsai ,  Sandeep Bhatia ,  Yonghao Chen ,  Steven Sharp ,  Vivek Chickermane ,  Patrick Gallagher

IPC分类号： G06F17/50

CPC分类号： G06F17/505 ,  G06F17/5022 ,  G06F17/5081 ,  G06F2217/78

摘要： A method of adding power control circuitry to a circuit design at each of an RTL and a netlist level comprising: demarcating multiple power domains within the circuit design; specifying multiple power modes each power mode corresponding to a different combination of on/off states of the multiple demarcated power domains; and defining isolation behavior relative to respective power domains.

摘要翻译： 一种将功率控制电路添加到RTL和网表级别中的每一个处的电路设计的方法，包括：划分所述电路设计内的多个电源域; 指定多个功率模式，每个功率模式对应于多个划分的功率域的开/关状态的不同组合; 并定义相对于各自的功率域的隔离行为。

公开(公告)号：US07694251B2

公开(公告)日：2010-04-06

申请号：US11590076

申请日：2006-10-30

申请人： Bharat Chandramouli ,  Huan-Chih Tsai ,  Manish Pandey ,  Chih-Chang Lin ,  Madan M. Das

发明人： Bharat Chandramouli ,  Huan-Chih Tsai ,  Manish Pandey ,  Chih-Chang Lin ,  Madan M. Das

IPC分类号： G06F17/50

CPC分类号： G06F17/5022 ,  G06F2217/78

摘要： Method and system for verifying power specifications of a low power design are disclosed. The method includes receiving a register-transfer level (RTL) netlist representation of the low power design, receiving a power specification file for describing power requirements of the low power design and verifying the power specification file in accordance with the RTL netlist representation of the low power design. The method further includes verifying completeness, compatibility, and consistency of power requirements for the low power design.

摘要翻译： 公开了用于验证低功率设计的功率规格的方法和系统。 该方法包括接收低功率设计的寄存器传送级（RTL）网表表示，接收用于描述低功率设计的功率需求的功率规格文件，并根据低功率设计的RTL网表表示验证功率规格文件 电源设计。 该方法还包括验证低功率设计的功率要求的完整性，兼容性和一致性。

公开(公告)号：US07669165B2

公开(公告)日：2010-02-23

申请号：US11586879

申请日：2006-10-25

申请人： Manish Pandey ,  Rajat Arora ,  Chih-Chang Lin ,  Huan-Chih Tsai ,  Bharat Chandramouli ,  Kei-Yong Khoo

发明人： Manish Pandey ,  Rajat Arora ,  Chih-Chang Lin ,  Huan-Chih Tsai ,  Bharat Chandramouli ,  Kei-Yong Khoo

IPC分类号： G06F17/50

CPC分类号： G06F17/5045

摘要： Method and system for equivalence checking of a low power design are disclosed. The method includes receiving a register-transfer level (RTL) netlist representation of a circuit, receiving a power specification file for describing power requirements of the circuit, creating a low power gate netlist for representing a design implementation of the circuit using the RTL netlist and the power specification file, creating a reference low power RTL netlist for representing a design specification of the circuit using the RTL netlist and the power specification file, and performing equivalence checking between the low power gate netlist and the reference low power RTL netlist. The method further includes annotating low power information described in the power specification file into the reference low power RTL netlist, and creating low power logic in the reference low power RTL netlist.

摘要翻译： 公开了低功率设计的等效性检验方法和系统。 该方法包括接收电路的寄存器传送级（RTL）网表表示，接收用于描述电路的功率需求的功率指定文件，创建用于表示使用RTL网表的电路的设计实现的低功率门网表，以及 电源规范文件，创建用于表示使用RTL网表和电源规格文件的电路的设计规范的参考低功率RTL网表，以及执行低功率门网表和参考低功率RTL网表之间的等价检查。 该方法还包括将电力规范文件中描述的低功率信息注释到参考低功率RTL网表中，以及在参考低功率RTL网表中创建低功率逻辑。