COMPUTING VALIDATION COVERAGE OF INTEGRATED CIRCUIT MODEL
    1.
    发明申请
    COMPUTING VALIDATION COVERAGE OF INTEGRATED CIRCUIT MODEL 失效
    集成电路模型的计算验证覆盖

    公开(公告)号:US20130055179A1

    公开(公告)日:2013-02-28

    申请号:US13444094

    申请日:2012-04-11

    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.

    摘要翻译: 本发明的实施例提供了一种计算集成电路模型的验证覆盖的方法,包括:获得验证下的集成电路模型的逻辑结构; 在逻辑结构验证的基础上,在集成电路模型中搜索和记录信号路径; 以及计算关于信号路径的验证的覆盖。 根据本发明实施例提供的技术方案,可以获得基于信号路径的验证覆盖,从而更准确地提供关于验证完整性的数据。

    Computing validation coverage of integrated circuit model
    2.
    发明授权
    Computing validation coverage of integrated circuit model 失效
    集成电路模型的计算验证覆盖

    公开(公告)号:US08495536B2

    公开(公告)日:2013-07-23

    申请号:US13444094

    申请日:2012-04-11

    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.

    摘要翻译: 本发明的实施例提供了一种计算集成电路模型的验证覆盖的方法,包括:获得验证下的集成电路模型的逻辑结构; 在逻辑结构验证的基础上,在集成电路模型中搜索和记录信号路径; 以及计算关于信号路径的验证的覆盖。 根据本发明实施例提供的技术方案,可以获得基于信号路径的验证覆盖,从而更准确地提供关于验证完整性的数据。

    Content addressable memory and method of searching data thereof
    3.
    发明授权
    Content addressable memory and method of searching data thereof 有权
    内容可寻址存储器及其数据搜索方法

    公开(公告)号:US08914574B2

    公开(公告)日:2014-12-16

    申请号:US13372869

    申请日:2012-02-14

    IPC分类号: G06F12/00 G06F17/30 G06F12/08

    摘要: 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中的数据搜索。

    CONTENT ADDRESSABLE MEMORY AND METHOD OF SEARCHING DATA THEREOF
    4.
    发明申请
    CONTENT ADDRESSABLE MEMORY AND METHOD OF SEARCHING DATA THEREOF 有权
    内容可寻址存储器及其数据搜索方法

    公开(公告)号:US20130046922A1

    公开(公告)日:2013-02-21

    申请号:US13372869

    申请日:2012-02-14

    IPC分类号: G06F12/00

    摘要: 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中的数据搜索。

    Semi-synthetic conversion of paclitaxel to docetaxel
    5.
    发明申请
    Semi-synthetic conversion of paclitaxel to docetaxel 审中-公开
    将紫杉醇半合成转化为多西紫杉醇

    公开(公告)号:US20050288521A1

    公开(公告)日:2005-12-29

    申请号:US10881711

    申请日:2004-06-29

    IPC分类号: C07D305/14 C07D35/14

    CPC分类号: C07D305/14

    摘要: A process is provided for the semi-synthesis of taxane derivatives useful in the preparation of docetaxel, in particular, the semi-synthesis of protected taxane derivatives in a one pot reaction of protecting the C-2′, C-7 and C-10 and introducing a t-Boc group at the nitrogen of the amide group at the C-3′ position in paclitaxel and subsequently conversion to docetaxel, and derivatives used therein.

    摘要翻译: 提供了一种用于制备多西他赛的紫杉烷衍生物的半合成方法,特别是在保护C-2',C-7和C-10的一锅反应中保护的紫杉烷衍生物的半合成 并在紫杉醇的C-3'位置的酰胺基的氮上引入t-Boc基团,随后转化为多西紫杉醇及其中所用的衍生物。

    Frame boundary detection and decoding
    6.
    发明授权
    Frame boundary detection and decoding 有权
    帧边界检测和解码

    公开(公告)号:US08495478B2

    公开(公告)日:2013-07-23

    申请号:US13108081

    申请日:2011-05-16

    IPC分类号: H03M13/03

    摘要: Disclosed are a method and apparatus for detecting frame boundary for a data stream received at an Ethernet FEC layer, as well as a decoding method and system for the same. The apparatus for detecting frame boundary may comprise: a buffer for buffering data in a data stream, a length of the data in the buffer being greater than one frame; a syndrome generator for calculating a current syndrome based on a first data item, a second data item, and an intermediate calculation result of a previous syndrome, wherein the first data item is the last bit in a current candidate frame, and the second data item is a bit preceding the current candidate frame; and a comparator for using the current syndrome to check whether the bit preceding the current candidate frame is a frame boundary of an Ethernet FEC layer. The apparatus for detecting frame boundary can improve the speed of frame boundary detection.

    摘要翻译: 公开了一种用于检测在以太网FEC层接收的数据流的帧边界的方法和装置,以及用于其的解码方法和系统。 用于检测帧边界的装置可以包括:用于缓冲数据流中的数据的缓冲器,缓冲器中的数据的长度大于一帧; 一种用于基于第一数据项,第二数据项和先前综合征的中间计算结果计算当前综合征的校正子发生器,其中第一数据项是当前候选帧中的最后位,并且第二数据项 在当前候选帧之前有一点; 以及比较器,用于使用当前校正子来检查当前候选帧之前的位是否是以太网FEC层的帧边界。 用于检测帧边界的装置可以提高帧边界检测的速度。

    FRAME BOUNDARY DETECTION AND DECODING
    7.
    发明申请
    FRAME BOUNDARY DETECTION AND DECODING 有权
    框架边界检测和解码

    公开(公告)号:US20110296282A1

    公开(公告)日:2011-12-01

    申请号:US13108081

    申请日:2011-05-16

    IPC分类号: H03M13/15 G06F11/10

    摘要: Disclosed are a method and apparatus for detecting frame boundary for a data stream received at an Ethernet FEC layer, as well as a decoding method and system for the same. The apparatus for detecting frame boundary may comprise: a buffer for buffering data in a data stream, a length of the data in the buffer being greater than one frame; a syndrome generator for calculating a current syndrome based on a first data item, a second data item, and an intermediate calculation result of a previous syndrome, wherein the first data item is the last bit in a current candidate frame, and the second data item is a bit preceding the current candidate frame; and a comparator for using the current syndrome to check whether the bit preceding the current candidate frame is a frame boundary of an Ethernet FEC layer. The apparatus for detecting frame boundary can improve the speed of frame boundary detection.

    摘要翻译: 公开了一种用于检测在以太网FEC层接收的数据流的帧边界的方法和装置,以及用于其的解码方法和系统。 用于检测帧边界的装置可以包括:用于缓冲数据流中的数据的缓冲器,缓冲器中的数据的长度大于一帧; 一种用于基于第一数据项,第二数据项和先前综合征的中间计算结果计算当前综合征的校正子发生器,其中第一数据项是当前候选帧中的最后位,并且第二数据项 在当前候选帧之前有一点; 以及比较器,用于使用当前校正子来检查当前候选帧之前的位是否是以太网FEC层的帧边界。 用于检测帧边界的装置可以提高帧边界检测的速度。

    Semi-synthetic conversion of paclitaxel to docetaxel
    8.
    发明授权
    Semi-synthetic conversion of paclitaxel to docetaxel 有权
    将紫杉醇半合成转化为多西紫杉醇

    公开(公告)号:US07906661B2

    公开(公告)日:2011-03-15

    申请号:US11631466

    申请日:2005-06-29

    IPC分类号: C07D305/00

    CPC分类号: C07D305/14

    摘要: A process is provided for the semi-synthesis of taxane derivatives useful in the preparation of docetaxel, in particular, the semi-synthesis of protected taxane derivatives in a one pot reaction of protecting the C-2′, C-7 and C-10 positions and introducing a t-Boc group at the nitrogen of the amide group at the C-3′ position in paclitaxel and subsequently conversion to docetaxel, and derivatives used therein.

    摘要翻译: 提供了一种用于制备多西他赛的紫杉烷衍生物的半合成方法,特别是在保护C-2',C-7和C-10的一锅反应中保护的紫杉烷衍生物的半合成 在紫杉醇的C-3'位置的酰胺基的氮上引入t-Boc基团,随后转化为多西他赛及其中所用的衍生物。

    Semi-synthetic conversion of paclitaxel to docetaxel
    10.
    发明申请
    Semi-synthetic conversion of paclitaxel to docetaxel 审中-公开
    将紫杉醇半合成转化为多西紫杉醇

    公开(公告)号:US20070027332A1

    公开(公告)日:2007-02-01

    申请号:US11377939

    申请日:2006-03-16

    IPC分类号: C07D305/12

    CPC分类号: C07D305/14

    摘要: A process is provided for the semi-synthesis of taxane derivatives useful in the preparation of docetaxel, in particular, the semi-synthesis of protected taxane derivatives in a one pot reaction of protecting the C-2′, C-7 and C-10 and introducing a t-Boc group at the nitrogen of the amide group at the C-3′ position in paclitaxel and subsequently conversion to docetaxel, and derivatives used therein.

    摘要翻译: 提供了一种用于制备多西他赛的紫杉烷衍生物的半合成方法,特别是在保护C-2',C-7和C-10的一锅反应中保护的紫杉烷衍生物的半合成 并在紫杉醇的C-3'位置的酰胺基的氮上引入t-Boc基团,随后转化为多西紫杉醇及其中所用的衍生物。