-
公开(公告)号：US20130055179A1
公开(公告)日：2013-02-28
申请号：US13444094
申请日：2012-04-11
申请人： Bo Fan , Liang Chen , Yongfeng Pan , Fan S.H. Zhou
发明人： Bo Fan , Liang Chen , Yongfeng Pan , Fan S.H. Zhou
IPC分类号： G06F17/50
CPC分类号： G06F17/5022
摘要： Embodiments of the present invention provide a method of computing validation coverage of an integrated circuit model, comprising: obtaining a logical structure of a integrated circuit model under validation; searching and recording signal paths in the integrated circuit model under validation based on the logical structure; and computing coverage of validation with respect to the signal paths. According to the technical solution as provided in the embodiments of the present invention, a signal path-based validation coverage may be obtained, thereby providing data regarding validation completeness more accurately.
摘要翻译： 本发明的实施例提供了一种计算集成电路模型的验证覆盖的方法，包括：获得验证下的集成电路模型的逻辑结构; 在逻辑结构验证的基础上，在集成电路模型中搜索和记录信号路径; 以及计算关于信号路径的验证的覆盖。 根据本发明实施例提供的技术方案，可以获得基于信号路径的验证覆盖，从而更准确地提供关于验证完整性的数据。
-
公开(公告)号：US08495536B2
公开(公告)日：2013-07-23
申请号：US13444094
申请日：2012-04-11
申请人： Bo Fan , Liang Chen , Yongfeng Pan , Fan Zhou
发明人： Bo Fan , Liang Chen , Yongfeng Pan , Fan Zhou
IPC分类号： G06F17/50
CPC分类号： G06F17/5022
摘要： Embodiments of the present invention provide a method of computing validation coverage of an integrated circuit model, comprising: obtaining a logical structure of a integrated circuit model under validation; searching and recording signal paths in the integrated circuit model under validation based on the logical structure; and computing coverage of validation with respect to the signal paths. According to the technical solution as provided in the embodiments of the present invention, a signal path-based validation coverage may be obtained, thereby providing data regarding validation completeness more accurately.
摘要翻译： 本发明的实施例提供了一种计算集成电路模型的验证覆盖的方法，包括：获得验证下的集成电路模型的逻辑结构; 在逻辑结构验证的基础上，在集成电路模型中搜索和记录信号路径; 以及计算关于信号路径的验证的覆盖。 根据本发明实施例提供的技术方案，可以获得基于信号路径的验证覆盖，从而更准确地提供关于验证完整性的数据。
-
公开(公告)号：US08914574B2
公开(公告)日：2014-12-16
申请号：US13372869
申请日：2012-02-14
申请人： Yong Feng Pan , Yufei Li , Bo Fan , Liang Chen
发明人： Yong Feng Pan , Yufei Li , Bo Fan , Liang Chen
CPC分类号： G06F17/30982 , G06F12/0864 , G06F12/0895 , G06F17/3033 , G06F2212/1024
摘要： The present invention discloses a content addressable memory and a method of searching data thereof. The method includes generating a hash index data item from a received input data item; searching the cache for presence of a row tag of the RAM data row corresponding to the data item of hash index; in response to presence, searching the RAM for a RAM data item corresponding to the input data item according to the corresponding row tag of the RAM data row; in response to absence, searching the RAM for a RAM data item corresponding to the input data item by using the data item of hash index; and in response to finding a RAM data item corresponding to the input data item in the RAM, outputting data corresponding to the RAM data item. The method can accelerate data search in the CAM.
摘要翻译： 本发明公开了一种内容寻址存储器及其数据搜索方法。 该方法包括从接收到的输入数据项生成散列索引数据项; 搜索高速缓存存在对应于散列索引的数据项的RAM数据行的行标签; 响应于存在，根据RAM数据行的相应行标签，在RAM中搜索与输入数据项对应的RAM数据项; 响应于不存在，通过使用散列索引的数据项搜索对应于输入数据项的RAM数据项的RAM; 并且响应于找到与RAM中的输入数据项相对应的RAM数据项，输出对应于RAM数据项的数据。 该方法可以加速CAM中的数据搜索。
-
公开(公告)号：US20130046922A1
公开(公告)日：2013-02-21
申请号：US13372869
申请日：2012-02-14
申请人： Yong Feng Pan , Yufei Li , Bo Fan , Liang Chen
发明人： Yong Feng Pan , Yufei Li , Bo Fan , Liang Chen
IPC分类号： G06F12/00
CPC分类号： G06F17/30982 , G06F12/0864 , G06F12/0895 , G06F17/3033 , G06F2212/1024
摘要： The present invention discloses a content addressable memory and a method of searching data thereof. The method includes generating a hash index data item from a received input data item; searching the cache for presence of a row tag of the RAM data row corresponding to the data item of hash index; in response to presence, searching the RAM for a RAM data item corresponding to the input data item according to the corresponding row tag of the RAM data row; in response to absence, searching the RAM for a RAM data item corresponding to the input data item by using the data item of hash index; and in response to finding a RAM data item corresponding to the input data item in the RAM, outputting data corresponding to the RAM data item. The method can accelerate data search in the CAM.
摘要翻译： 本发明公开了一种内容寻址存储器及其数据搜索方法。 该方法包括从接收到的输入数据项生成散列索引数据项; 搜索高速缓存存在对应于散列索引的数据项的RAM数据行的行标签; 响应于存在，根据RAM数据行的相应行标签，在RAM中搜索与输入数据项对应的RAM数据项; 响应于不存在，通过使用散列索引的数据项搜索对应于输入数据项的RAM数据项的RAM; 并且响应于找到与RAM中的输入数据项相对应的RAM数据项，输出对应于RAM数据项的数据。 该方法可以加速CAM中的数据搜索。
-
公开(公告)号：USD933723S1
公开(公告)日：2021-10-19
申请号：US29633494
申请日：2018-01-15
申请人： Liang Chen
设计人： Liang Chen
-
公开(公告)号：US09718729B2
公开(公告)日：2017-08-01
申请号：US13026415
申请日：2011-02-14
IPC分类号： C03C25/26 , A01N25/34 , C09J103/02 , A01N25/04 , C03C25/10 , C03C25/28 , C03C25/32 , C08K5/00 , C09J105/06 , C03C25/14
CPC分类号： C03C25/26 , A01N25/04 , A01N25/34 , C03C25/1095 , C03C25/146 , C03C25/285 , C03C25/321 , C08K5/0058 , C08L33/02 , C09J103/02 , C09J105/06 , Y10T428/249924 , C08K5/092 , A01N35/08 , A01N41/10 , A01N43/80 , A01N47/12 , A01N59/00
摘要： Biocides for bio-based binder compositions are disclosed. Bio-based binders include those having a nutrient source such as carbohydrate, protein or fat, which can serve as an energy source for organisms to grow in areas that contact binder. Principal areas that contact bio-based binder in a fiberglass insulation manufacturing process include the raw ingredients, the binder chemicals, the prepared binder dispersions, the forming hood and related equipment, the final insulation product and, importantly, the cleaning systems and washwater arising from cleaning the manufacturing equipment and/or forming the product. Frequently the washwater is stored until re-cycled for re-use. Storage may take place in tanks, towers, vats and even outdoor reservoirs, all of which may harbor the growth of unwanted organisms, for which a biocide is desirable.
-
公开(公告)号：US09527931B2
公开(公告)日：2016-12-27
申请号：US13385379
申请日：2012-02-16
申请人： Byoung I. Suh , Liang Chen
发明人： Byoung I. Suh , Liang Chen
CPC分类号： C08F2/48 , A61K6/0023 , C08L33/10
摘要： A hydrophobic self-etch dental adhesive composition including a hydrophobic, surfactant-type acidic monomer. The composition may further include hydrophilic and hydrophobic monomers, preferably in a ratio of less than 1:1, and may include a solvent that is an azeotrope.
-
公开(公告)号：US09394487B2
公开(公告)日：2016-07-19
申请号：US13807208
申请日：2011-07-22
申请人： Neil Wang , Liang Chen , Peter Loezos
发明人： Neil Wang , Liang Chen , Peter Loezos
CPC分类号： C10G11/00 , C10B49/22 , C10B53/02 , C10C5/00 , C10G1/02 , C10G11/18 , C10G2300/1011 , C10G2300/202 , C10L1/02 , Y02E50/14 , Y02P30/20
摘要： A multi-stage process and system for converting solid particulate biomass in a riser reactor having at least two different reaction zones. A lower reaction zone is configured to optimize pyrolysis of the biomass into pyrolysis products, while an upper reaction zone is configured to efficiently crack the pyrolysis products. The relative residence times and/or temperatures of the upper and lower reaction zones can be controlled to optimize product quality and yield.
摘要翻译： 用于在具有至少两个不同反应区的提升管反应器中转化固体颗粒生物质的多阶段方法和系统。 较低的反应区构造成使生物质的热解最优化为热解产物，而上部反应区构造成有效地裂解热解产物。 可以控制上下反应区的相对停留时间和/或温度，以优化产品质量和产率。
-
公开(公告)号：US09197738B2
公开(公告)日：2015-11-24
申请号：US12421646
申请日：2009-04-10
申请人： Igor Peev , Robert Pengelly , Bryan T. Agnetta , Adam Swank , Sumonto Ghosh , Liang Chen
发明人： Igor Peev , Robert Pengelly , Bryan T. Agnetta , Adam Swank , Sumonto Ghosh , Liang Chen
IPC分类号： G06F17/00 , H04M1/725 , G06F3/0481 , H04M1/673
CPC分类号： H04M1/72586 , G06F3/0481 , H04M1/673 , H04M2250/22
摘要： Providing content and/or functionality through a display of a locked computing device. Configuration data defined by a user or application vendor identifies the content and/or functionality to be made available. Upon receipt of the content, the computing device modifies the received content based on the configuration data and provides the modified content to the user through the display of the locked computing device. The computing device also interacts with the user in accordance with the functionality identified by the configuration data. In some embodiments, notifications about voice mail or electronic mail messages are displayed to the user through a locked touch screen display. Responsive to a finger tap or other user input, additional yet limited information relating to the notifications is displayed.
摘要翻译： 通过锁定的计算设备的显示来提供内容和/或功能。 由用户或应用程序供应商定义的配置数据标识要使其可用的内容和/或功能。 在接收到内容时，计算设备基于配置数据来修改所接收的内容，并通过显示锁定的计算设备向用户提供修改的内容。 计算设备还根据由配置数据识别的功能与用户进行交互。 在一些实施例中，通过锁定的触摸屏显示向用户显示关于语音邮件或电子邮件消息的通知。 响应于手指敲击或其他用户输入，显示与通知相关的另外但有限的信息。
-
公开(公告)号：US09182954B2
公开(公告)日：2015-11-10
申请号：US13560034
申请日：2012-07-27
申请人： Chee Chen Tong , Amin Lakhani , Yun Xu , Liang Chen , Ricardo Meza , Charles Morris
发明人： Chee Chen Tong , Amin Lakhani , Yun Xu , Liang Chen , Ricardo Meza , Charles Morris
CPC分类号： G06F8/38 , G06F17/30864
摘要： A web browser has a user interface that includes a content rendering area within the web browser user interface and a control layout area adjacent the content rendering area. The control layout area includes a user-selectable icon that is always available to the user in the control layout area and which is user-configurable. For example, the user-configurable icon may be configured with one of two pre-defined functions. In one illustrative implementation the two pre-defined functions may be a tabs function and a favorites function.
摘要翻译： 网络浏览器具有包括网络浏览器用户界面内的内容呈现区域和邻近内容呈现区域的控制布局区域的用户界面。 控制布局区域包括用户可选择的图标，该图标在控制布局区域中始终可供用户使用，并且是用户可配置的。 例如，用户可配置的图标可以被配置为两个预定义功能之一。 在一个说明性实现中，两个预定义的功能可以是标签功能和收藏功能。
-
-
-
-
-
-
-
-
-
搜索结果
275 条记录 (耗时 0.039 秒)
