专利快速检索-快速检索全球专利，免费商用专利数据库-IPRDB

1. 发明授权

US07643979B2 Method to analyze an analog circuit design with a verification program 失效
标题翻译：用验证程序分析模拟电路设计的方法
公开(公告)号：US07643979B2
公开(公告)日：2010-01-05
申请号：US11334063
申请日：2006-01-17
申请人： Qiang Hong , Kevin D. Jones , Paul Wong
发明人： Qiang Hong , Kevin D. Jones , Paul Wong
IPC分类号： G06F17/50 , G01R31/28
CPC分类号： G06F17/5036
摘要： Data structures and algorithms are provided to automatically generate an analog stimulus to apply to a simulation of the analog DUT. A constraint solver is provided to determine suitable values to use in the stimulus generation. The suitable values are random values within a range of allowed values. For example, a number of different stimuli are generated for successive application to the analog DUT, each with a different magnitude within a range of allowed magnitudes. Data structures and algorithms are provided to monitor analog electrical properties at nodes of the analog DUT. Data structures and algorithms are provided to define constraints on the analog electrical properties and determine whether the constraints were violated. Data structures and algorithms are provided to define simulation coverage conditions in the analog domain and determine whether the defined analog domain coverage conditions have been satisfied.
摘要翻译：提供数据结构和算法以自动生成模拟刺激以应用于模拟DUT的仿真。提供约束求解器以确定在刺激生成中使用的合适值。合适的值是允许值范围内的随机值。例如，产生用于连续施加到模拟DUT的多个不同的刺激，每个激励在允许的幅度范围内具有不同的幅度。提供数据结构和算法来监视模拟DUT的节点处的模拟电气特性。提供数据结构和算法来定义对模拟电气特性的限制，并确定约束是否被违反。提供数据结构和算法来定义模拟域中的模拟覆盖条件，并确定是否满足了定义的模拟域覆盖条件。

2. 发明申请

US20090020067A1 METHOD OF MANUFACTURING SOLAR-GRADE POLYSILICON INGOT WITH RELEVANT INDUCTION APPARATUS 审中-公开
标题翻译：使用相关感应装置制造太阳能等离子体聚硅氧烷的方法
公开(公告)号：US20090020067A1
公开(公告)日：2009-01-22
申请号：US12049449
申请日：2008-03-17
申请人： Zhi-Yi SU , Yong-Qiang Hong , Ji-Rong Yang
发明人： Zhi-Yi SU , Yong-Qiang Hong , Ji-Rong Yang
IPC分类号： C30B33/00 , C30B9/04
CPC分类号： B22D7/00 , C30B11/00 , C30B11/002 , C30B11/006 , C30B29/06 , H01L31/04 , Y02A40/966
摘要： The present invention pertains to a method of producing solar-grade polysilicon ingot conducive to reduce the energy consumption and cost and have high yield of casting ingot without complicating equipments. It includes melting and heating raw materials into raw water; mixing the slag removal with the water for eliminating metal impurities; conducting some water vapor for obviating B-atomic and generating pure water, thereafter heated from 1500°-1700° C.; advance heating the crucible and graphite mold in the temperature range of 1000°-1400° C., further pouring the pure water therein and having water temperature from 1450°-1600° C.; adjusting the temperature of the crucible and mold from 1400°-1430° C., thence to the range of 1000°-1200° C. for concentrating the solid/liquid property and impurities of the water on central of the mold; reducing the temperature of the crucible range of 1000°-1200° C. to 200°-400° C., thus finishing an integral polysilicon ingot.
摘要翻译：本发明涉及一种生产太阳能级多晶硅锭的方法，其有利于降低能量消耗和成本并且具有高产量的铸锭，而不会使设备复杂化。它包括将原料熔化和加热成原水; 将除渣与水混合以除去金属杂质; 进行一些水蒸汽排除B原子并产生纯水，然后在1500°-1700℃下加热。在1000°-1400℃的温度范围内预热加热坩埚和石墨模具，进一步将纯水倒入其中，水温为1450°-1600℃。将坩埚和模具的温度从1400°-1430℃调节至1000°-1200℃的范围，用于浓缩固/液性质和模具中心的水的杂质; 将坩埚范围的温度降低到1000°-1200°C至200°-400°C，从而完成整体多晶硅锭。

3. 发明授权

US07392492B2 Multi-format consistency checking tool 失效
标题翻译：多格式一致性检查工具
公开(公告)号：US07392492B2
公开(公告)日：2008-06-24
申请号：US11242598
申请日：2005-09-30
申请人： Qiang Hong , Jing Jiang , Kevin D. Jones , Kathryn M. Mossawir , Thomas J. Sheffler , Paul Wong
发明人： Qiang Hong , Jing Jiang , Kevin D. Jones , Kathryn M. Mossawir , Thomas J. Sheffler , Paul Wong
IPC分类号： G06F17/50
CPC分类号： G06F17/504
摘要： A method and system for performing consistency checking of one or more design representations having different design types. A translator for each design type obtains information from each design needed to evaluate rules that are design type-neutral. The described examples also allow a user to add rules using predefined rule terms. In addition, certain examples allow the user to add terms to the rule set and to make new rules with the added terms. Each new term added to a rule set has a corresponding abstraction function in a translator for each design type. Thus, the abstraction functions are not design type-neutral.
摘要翻译：一种用于对具有不同设计类型的一个或多个设计表示进行一致性检查的方法和系统。每个设计类型的翻译器都可以从设计类型中立的规则中获取每个设计所需的信息。所描述的示例还允许用户使用预定义的规则术语来添加规则。此外，某些示例允许用户向规则集添加条款，并使用添加的条款创建新规则。添加到规则集中的每个新术语在每个设计类型的翻译器中都具有相应的抽象功能。因此，抽象函数不是设计类型中立的。

4. 发明申请

US20070079268A1 Mixed mode verifier 失效
标题翻译：混合模式验证器
公开(公告)号：US20070079268A1
公开(公告)日：2007-04-05
申请号：US11242599
申请日：2005-09-30
申请人： Kevin Jones , Thomas Sheffler , Kathryn Mossawir , Qiang Hong , Paul Wong , Jing Jiang
发明人： Kevin Jones , Thomas Sheffler , Kathryn Mossawir , Qiang Hong , Paul Wong , Jing Jiang
IPC分类号： G06F17/50
CPC分类号： G06F17/504
摘要： A method and system for formally verifying designs having elements from more than a single design domain is described. For example, an example system allows formal verification of a design containing mixed analog and digital design.
摘要翻译：描述了用于正式验证来自多于单个设计域的元件的设计的方法和系统。例如，示例系统允许对包含混合模拟和数字设计的设计进行形式验证。

5. 发明申请

US20070079267A1 Multi-format consistency checking tool 失效
标题翻译：多格式一致性检查工具
公开(公告)号：US20070079267A1
公开(公告)日：2007-04-05
申请号：US11242598
申请日：2005-09-30
申请人： Qiang Hong , Jing Jiang , Kevin Jones , Kathryn Mossawir , Thomas Sheffler , Paul Wong
发明人： Qiang Hong , Jing Jiang , Kevin Jones , Kathryn Mossawir , Thomas Sheffler , Paul Wong
IPC分类号： G06F17/50
CPC分类号： G06F17/504
摘要： A method and system for performing consistency checking of one or more design representations having different design types. A translator for each design type obtains information from each design needed to evaluate rules that are design type-neutral. The described examples also allow a user to add rules using predefined rule terms. In addition, certain examples allow the user to add terms to the rule set and to make new rules with the added terms. Each new term added to a rule set has a corresponding abstraction function in a translator for each design type. Thus, the abstraction functions are not design type-neutral.
摘要翻译：一种用于对具有不同设计类型的一个或多个设计表示进行一致性检查的方法和系统。每个设计类型的翻译器都可以从设计类型中立的规则中获取每个设计所需的信息。所描述的示例还允许用户使用预定义的规则术语来添加规则。此外，某些示例允许用户向规则集添加条款，并使用添加的条款创建新规则。添加到规则集中的每个新术语在每个设计类型的翻译器中都具有相应的抽象功能。因此，抽象函数不是设计类型中立的。

6. 发明申请

US20080283211A1 DIRECTIONAL SOLIDIFICATION METHOD FOR INCESSANTLY PRODUCING THE POLYSILICON INGOT AND THE RELATIVE INGOT CASTING PPARATUS 审中-公开
标题翻译：有助于生产多晶硅和相关成型加工的方向固化方法
公开(公告)号：US20080283211A1
公开(公告)日：2008-11-20
申请号：US12049333
申请日：2008-03-16
申请人： Yong-Qiang HONG
发明人： Yong-Qiang HONG
IPC分类号： B22D30/00 , F27B9/00
CPC分类号： C30B11/001 , C30B29/06
摘要： The present invention pertains to a method for incessantly producing polysilicon ingots, especially fabricated of an equality polycrystalline material. It contains a metallurgical method for continuously producing large amount of polysilicon ingot made by metal silicon, further comprising the steps of aligning empty graphite molds on furnace cars; preheating the molds in the preheating area; pouring the liquidized silicon into the preheated molds; transporting the molds filled with liquidized silicon from the high-temperature area, thence to a medium-temperature area, and then to a low-temperature area for solidifying the liquidized silicon into crystallized silicon; cooling the crystallized silicon until reaching the room temperature by the assistance of a shroud in a rotary conveyer track, thus generating an integral polysilicon ingot. The apparatus comprises a body, a chamber, a track, cars, a front and rear auxiliary cars, a rotary conveyer track, a propulsion apparatus, and an adjusting system.
摘要翻译：本发明涉及一种不断生产多晶硅锭的方法，特别是由等效多晶材料制成。它包含用于连续生产由金属硅制成的大量多晶硅锭的冶金方法，还包括以下步骤：在炉车上调整空的石墨模具; 在预热区域预热模具; 将液化硅浇注到预热模具中; 将填充有液化硅的模具从高温区域输送到中温区域，然后运送到低温区域以将液化硅固化成结晶硅; 通过在旋转输送机轨道中的护罩的帮助来冷却结晶硅直到达到室温，从而产生整体的多晶硅锭。该装置包括主体，腔室，轨道，汽车，前后辅助车，旋转输送机轨道，推进装置和调节系统。

7. 发明授权

US07360187B2 Mixed mode verifier 失效
标题翻译：混合模式验证器
公开(公告)号：US07360187B2
公开(公告)日：2008-04-15
申请号：US11242599
申请日：2005-09-30
申请人： Kevin D. Jones , Thomas J. Sheffler , Kathryn M. Mossawir , Qiang Hong , Paul Wong , Jing Jiang
发明人： Kevin D. Jones , Thomas J. Sheffler , Kathryn M. Mossawir , Qiang Hong , Paul Wong , Jing Jiang
IPC分类号： G06F17/50
CPC分类号： G06F17/504
摘要： A method and system for formally verifying designs having elements from more than a single design domain is described. An example system allows formal verification of a design containing mixed analog and digital subparts. The system may use different proof engines to solve an appropriate sub-partition of the entire design, and may provide a framework for translating between the different domains to create a unified result. For example, a digital proof engine may be used for a digital only subpart, while an analog proof engine may be used for an analog only subpart. The system may use the partitioning results to determine translators between the various domains, and an order in which the proof engines are applied.
摘要翻译：描述了用于正式验证来自多于单个设计域的元件的设计的方法和系统。示例系统允许对包含混合模拟和数字子部件的设计进行形式验证。系统可以使用不同的证明引擎来解决整个设计的适当子分区，并且可以提供用于在不同域之间进行翻译以创建统一结果的框架。例如，数字证明引擎可以用于仅数字的子部件，而模拟证明引擎可以用于仅模拟子部件。系统可以使用分区结果来确定各个域之间的翻译器以及应用证明引擎的顺序。

8. 发明申请

US20070168172A1 Method to analyze an analog circuit design with a verification program 失效
标题翻译：用验证程序分析模拟电路设计的方法
公开(公告)号：US20070168172A1
公开(公告)日：2007-07-19
申请号：US11334063
申请日：2006-01-17
申请人： Qiang Hong , Kevin Jones , Paul Wong
发明人： Qiang Hong , Kevin Jones , Paul Wong
IPC分类号： G06F17/50
CPC分类号： G06F17/5036
摘要： Data structures and algorithms are provided to automatically generate an analog stimulus to apply to a simulation of the analog DUT. A constraint solver is provided to determine suitable values to use in the stimulus generation. The suitable values are random values within a range of allowed values. For example, a number of different stimuli are generated for successive application to the analog DUT, each with a different magnitude within a range of allowed magnitudes. Data structures and algorithms are provided to monitor analog electrical properties at nodes of the analog DUT. Data structures and algorithms are provided to define constraints on the analog electrical properties and determine whether the constraints were violated. Data structures and algorithms are provided to define simulation coverage conditions in the analog domain and determine whether the defined analog domain coverage conditions have been satisfied.
摘要翻译：提供数据结构和算法以自动生成模拟刺激以应用于模拟DUT的仿真。提供约束求解器以确定在刺激生成中使用的合适值。合适的值是允许值范围内的随机值。例如，产生用于连续施加到模拟DUT的多个不同的刺激，每个激励在允许的幅度范围内具有不同的幅度。提供数据结构和算法来监视模拟DUT的节点处的模拟电气特性。提供数据结构和算法来定义对模拟电气特性的限制，并确定约束是否被违反。提供数据结构和算法来定义模拟域中的模拟覆盖条件，并确定是否满足了定义的模拟域覆盖条件。

9. 发明申请

US20080263487A1 Multi-Format Consistency Checking Tool 审中-公开
标题翻译：多格式一致性检查工具
公开(公告)号：US20080263487A1
公开(公告)日：2008-10-23
申请号：US12144457
申请日：2008-06-23
申请人： Qiang Hong , JIng Jiang , Kevin D. Jones , Kathryn M. Mossawir , Thomas J. Sheffler , Paul Wong
发明人： Qiang Hong , JIng Jiang , Kevin D. Jones , Kathryn M. Mossawir , Thomas J. Sheffler , Paul Wong
IPC分类号： G06F17/50
CPC分类号： G06F17/504
摘要： A method and system for performing consistency checking of one or more design representations having different design types. A translator for each design type obtains information from each design needed to evaluate rules that are design type-neutral. The described examples also allow a user to add rules using predefined rule terms. In addition, certain examples allow the user to add terms to the rule set and to make new rules with the added terms. Each new term added to a rule set has a corresponding abstraction function in a translator for each design type. Thus, the abstraction functions are not design type-neutral.
摘要翻译：一种用于对具有不同设计类型的一个或多个设计表示进行一致性检查的方法和系统。每个设计类型的翻译器都可以从设计类型中立的规则中获取每个设计所需的信息。所描述的示例还允许用户使用预定义的规则术语来添加规则。此外，某些示例允许用户向规则集添加条款，并使用添加的条款创建新规则。添加到规则集中的每个新术语在每个设计类型的翻译器中都具有相应的抽象功能。因此，抽象函数不是设计类型中立的。

你已经成功收藏专利！

检索式保存成功!

IPRDB

热门服务

关于我们

友情链接

联系方式