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

1. 发明授权

US07823104B2 Determination of single-fix rectification function 有权
标题翻译：确定单固定整流功能
公开(公告)号：US07823104B2
公开(公告)日：2010-10-26
申请号：US11841079
申请日：2007-08-20
申请人： Cheng-Ta Hsieh , Yifeng Wang , Yung-Te Lai , Chih-Chang Lin
发明人： Cheng-Ta Hsieh , Yifeng Wang , Yung-Te Lai , Chih-Chang Lin
IPC分类号： G06F17/50
CPC分类号： G06F17/505
摘要： Some aspects provide determination of a function to rectify functional differences between netlist G1 and netlist G2 having inputs V. The determination may include determination of a signal s of netlist G1 that can be re-synthesized so as to correct the functional differences between netlist G1 and netlist G2, assignment of respective static values to a first plurality of inputs V, assignment of respective initial values to a second plurality of inputs V, determination of a first function based on the assigned static values, the assigned initial values, a first error function reflecting the difference between outputs of netlist G1 and netlist G2 for each vector of inputs V in a case that s equals 0, and a second error function reflecting the difference between the outputs of netlist G1 and netlist G2 for each vector of inputs V in a case that s equals 1. Also included may be determination of whether the first function rectifies the functional differences between netlist G1 and netlist G2, assignment, if it is determined that the first function does not rectify the functional differences, of respective next values to the second plurality of inputs, and determination of a second function based on the first function, the assigned static values, the assigned next values, the first error function, and the second error function.
摘要翻译：一些方面提供了确定具有输入V的网表G1和网表G2之间的功能差异的功能。该确定可以包括确定可以被重新合成的网表G1的信号s，以便校正网表G1和网表G1之间的功能差异网表G2，将各个静态值分配给第一多个输入V，将各个初始值分配给第二多个输入V，基于分配的静态值确定第一函数，分配的初始值，第一误差函数反映在s等于0的情况下，对于输入V的每个向量的网表G1和网表G2的输出之间的差异，以及反映网格列表G1和网表G2的输出之间的差异的第二误差函数， s等于1的情况。还包括确定第一功能是否整理网表G1和网表之间的功能差异 G2，如果确定第一功能不排除与第二多个输入相对应的下一个值的功能差异，以及基于第一功能确定第二功能，分配的静态值，分配的下一个值，第一个错误函数和第二个错误函数。

2. 发明申请

US20080288900A1 DETERMINATION OF SINGLE-FIX RECTIFICATION FUNCTION 有权
标题翻译：单一修复功能的确定
公开(公告)号：US20080288900A1
公开(公告)日：2008-11-20
申请号：US11841079
申请日：2007-08-20
申请人： Cheng-Ta Hsieh , Yifeng Wang , Yung-Te Lai , Chih-Chang Lin
发明人： Cheng-Ta Hsieh , Yifeng Wang , Yung-Te Lai , Chih-Chang Lin
IPC分类号： G06F17/50
CPC分类号： G06F17/505
摘要： Some aspects provide determination of a function to rectify functional differences between netlist G1 and netlist G2 having inputs V. The determination may include determination of a signal s of netlist G1 that can be re-synthesized so as to correct the functional differences between netlist G1 and netlist G2, assignment of respective static values to a first plurality of inputs V, assignment of respective initial values to a second plurality of inputs V, determination of a first function based on the assigned static values, the assigned initial values, a first error function reflecting the difference between outputs of netlist G1 and netlist G2 for each vector of inputs V in a case that s equals 0, and a second error function reflecting the difference between the outputs of netlist G1 and netlist G2 for each vector of inputs V in a case that s equals 1. Also included may be determination of whether the first function rectifies the functional differences between netlist G1 and netlist G2, assignment, if it is determined that the first function does not rectify the functional differences, of respective next values to the second plurality of inputs, and determination of a second function based on the first function, the assigned static values, the assigned next values, the first error function, and the second error function.
摘要翻译：一些方面提供了确定具有输入V的网表G 1＆lt; 1＆gt;和网表G 2 2之间的功能差异的功能。该确定可以包括网表G的信号s的确定，可以重新合成以便校正网表G 1和网表G 2 2之间的功能差异的SUB> 1 ，将各个静态值分配给第一多个输入V，将各个初始值分配给第二多个输入V，基于所分配的静态值确定第一功能，分配的初始值，反映网表G 和网表G 2 。还包括确定如果确定第一功能不排除功能差异，则第一功能是否纠正网表G 1＆lt; 1＆lt; 1＆gt;和网表G 2 2之间的功能差异，相应的第二多个输入的下一个值，以及基于第一功能确定第二功能，分配的静态值，分配的下一个值，第一误差函数和第二误差函数。

3. 发明授权

US07137084B1 Similarity-driven synthesis for equivalence checking of complex designs 有权
标题翻译：相似性驱动的复杂设计等价检验综合
公开(公告)号：US07137084B1
公开(公告)日：2006-11-14
申请号：US10832771
申请日：2004-04-26
申请人： Kuang-Chien Chen , Chih-Chang Lin , Cheng-Ta Hsieh , Yifeng Wang
发明人： Kuang-Chien Chen , Chih-Chang Lin , Cheng-Ta Hsieh , Yifeng Wang
IPC分类号： G06F17/50
CPC分类号： G06F17/5022
摘要： A method for modeling a circuit design includes synthesizing the circuit design to create a first gate-level representation of the circuit design. The method also includes analyzing a second gate-level representation of the circuit design to learn architecture information, and resynthesizing the first gate-level representation of the circuit design to incorporate the learned architecture information from the second gate-level representation of the circuit design. A computer-readable storage medium has stored thereon computer instructions that, when executed by a computer, cause the computer to synthesize a circuit design to create a first gate-level representation of the circuit design. The computer instructions also cause the computer to analyze a second gate-level representation of the circuit design to learn architecture information, and resynthesize the first gate-level representation of the circuit design to incorporate the learned architecture information from the second gate-level representation of the circuit design.
摘要翻译：用于对电路设计进行建模的方法包括合成电路设计以创建电路设计的第一门级表示。该方法还包括分析电路设计的第二门级表示以学习架构信息，以及重新合成电路设计的第一门级表示，以从电路设计的第二门级表示中并入所学习的体系结构信息。计算机可读存储介质上存储有计算机指令，其在由计算机执行时使计算机合成电路设计以创建电路设计的第一门级表示。计算机指令还使得计算机分析电路设计的第二门级表示以学习架构信息，并重新合成电路设计的第一门级表示，以将来自第二门级表示的学习架构信息电路设计。

4. 发明授权

US06742174B1 Similarity-driven synthesis for equivalence checking of complex designs 有权
标题翻译：相似性驱动的复杂设计等价检验综合
公开(公告)号：US06742174B1
公开(公告)日：2004-05-25
申请号：US10037844
申请日：2001-10-19
申请人： Kuang-Chien Chen , Chih-Chang Lin , Cheng-Ta Hsieh , Yifeng Wang
发明人： Kuang-Chien Chen , Chih-Chang Lin , Cheng-Ta Hsieh , Yifeng Wang
IPC分类号： G06F1750
CPC分类号： G06F17/5022
摘要： A method for modeling a circuit design includes synthesizing the circuit design to create a first gate-level representation of the circuit design. The method also includes analyzing a second gate-level representation of the circuit design to learn architecture information, and resynthesizing the first gate-level representation of the circuit design to incorporate the learned architecture information from the second gate-level representation of the circuit design. A computer-readable storage medium has stored thereon computer instructions that, when executed by a computer, cause the computer to synthesize a circuit design to create a first gate-level representation of the circuit design. The computer instructions also cause the computer to analyze a second gate-level representation of the circuit design to learn architecture information, and resynthesize the first gate-level representation of the circuit design to incorporate the learned architecture information from the second gate-level representation of the circuit design.
摘要翻译：用于对电路设计进行建模的方法包括合成电路设计以创建电路设计的第一门级表示。该方法还包括分析电路设计的第二门级表示以学习架构信息，以及重新合成电路设计的第一门级表示，以从电路设计的第二门级表示中并入所学习的体系结构信息。计算机可读存储介质上存储有计算机指令，其在由计算机执行时使计算机合成电路设计以创建电路设计的第一门级表示。计算机指令还使得计算机分析电路设计的第二门级表示以学习架构信息，并重新合成电路设计的第一门级表示，以将来自第二门级表示的学习架构信息电路设计。

5. 发明授权

US07745120B2 Cell culture and method for screening for a compound useful in the treatment or prevention of hepatic cirrhosis 有权
标题翻译：用于筛选用于治疗或预防肝硬化的化合物的细胞培养和方法
公开(公告)号：US07745120B2
公开(公告)日：2010-06-29
申请号：US11298586
申请日：2005-12-12
申请人： Wen-Tyng Li , Rung-Jiun Gau , Yu-Shih Weng , Cheng-Ta Hsieh , Pei-Shan Li
发明人： Wen-Tyng Li , Rung-Jiun Gau , Yu-Shih Weng , Cheng-Ta Hsieh , Pei-Shan Li
IPC分类号： C12Q1/68 , C12Q1/66 , C12N5/071 , C12N5/00
CPC分类号： G01N33/5067 , G01N33/5023 , G01N2800/085
摘要： The present invention provides a cell-culturing model and a method for screening compounds which can be applied in treating or preventing hepatic cirrhosis. The cell culturing model comprises a population of hepatocytes and hepatic stellate cells (HSCs) derived from co-culturing, and at least one population of the cells comprises a nucleotide sequence fragment of a reporter gene and a cell specific regulatory sequence. The cell-culturing model of the present invention can be applied in high throughput screening for effective compounds of medication, and also in understanding the functional mechanism of the effective compounds.
摘要翻译：本发明提供了可用于治疗或预防肝硬化的化合物的细胞培养模型和筛选方法。细胞培养模型包括源自共培养的肝细胞群和肝星状细胞（HSC），至少一个细胞群包含报告基因的核苷酸序列片段和细胞特异性调节序列。本发明的细胞培养模型可以用于高通量筛选有效的药物化合物，也可用于理解有效化合物的功能机制。

6. 发明申请

US20060172416A1 Cell culture and method for screening for a compound useful in the treatment or prevention of hepatic cirrhosis 有权
标题翻译：用于筛选用于治疗或预防肝硬化的化合物的细胞培养和方法
公开(公告)号：US20060172416A1
公开(公告)日：2006-08-03
申请号：US11298586
申请日：2005-12-12
申请人： Wen-Tyng Li , Rung-Jiun Gau , Yu-Shih Weng , Cheng-Ta Hsieh , Pei-Shan Li
发明人： Wen-Tyng Li , Rung-Jiun Gau , Yu-Shih Weng , Cheng-Ta Hsieh , Pei-Shan Li
IPC分类号： C12N5/08
CPC分类号： G01N33/5067 , G01N33/5023 , G01N2800/085
摘要： The present invention provides a cell-culturing model and a method for screening compounds which can be applied in treating or preventing hepatic cirrhosis. The cell culturing model comprises a population of hepatocytes and hepatic stellate cells (HSCs) derived from co-culturing, and at least one population of the cells comprises a nucleotide sequence fragment of a reporter gene and a cell specific regulatory sequence. The cell-culturing model of the present invention can be applied in high throughput screening for effective compounds of medication, and also in understanding the functional mechanism of the effective compounds.
摘要翻译：本发明提供了可用于治疗或预防肝硬化的化合物的细胞培养模型和筛选方法。细胞培养模型包括源自共培养的肝细胞群和肝星状细胞（HSC），至少一个细胞群包含报告基因的核苷酸序列片段和细胞特异性调节序列。本发明的细胞培养模型可以用于高通量筛选有效的药物化合物，也可用于理解有效化合物的功能机制。

你已经成功收藏专利！

检索式保存成功!

IPRDB

热门服务

关于我们

友情链接

联系方式