Chemoenzymatic methods for the synthesis of statins and statin intermediates
    3.
    发明授权
    Chemoenzymatic methods for the synthesis of statins and statin intermediates 有权
    用于合成他汀类药物和他汀类药物中间体的化疗酶法

    公开(公告)号:US08148324B2

    公开(公告)日:2012-04-03

    申请号:US12032337

    申请日:2008-02-15

    IPC分类号: C07K14/00 C12P21/00

    摘要: The invention provides aldolases, nucleic acids encoding them and methods for making and using them, including chemoenzymatic processes for making β,δ-dihydroxyheptanoic acid side chains and compositions comprising these side chains, e.g., [R—(R*,R*)]-2-(4-fluorophenyl)-b,d-dihydroxy-5-(1-methylethyl)-3-phenyl-4-(phenylamino)-carbonyl]-1H-pyrrole-1-heptanoic acid (atorvastatin, LIPITOR™), rosuvastatin (CRESTOR™), fluvastatin (LESCOL™), related compounds and their intermediates.

    摘要翻译: 本发明提供醛缩酶,编码它们的核酸和制备和使用它们的方法,包括制备和/或制备δ-二羟基庚酸侧链的化学方法和包含这些侧链的组合物,例如[R-(R *,R *) ] -2-(4-氟苯基)-b,d-二羟基-5-(1-甲基乙基)-3-苯基-4-(苯基氨基) - 羰基] -1H-吡咯-1-庚酸(阿托伐他汀,LIPITOR TM ),瑞舒伐他汀(CRESTOR TM),氟伐他汀(LESCOL TM),相关化合物及其中间体。

    Methods and systems for on-the-fly chip verification
    10.
    发明授权
    Methods and systems for on-the-fly chip verification 有权
    用于实时芯片验证的方法和系统

    公开(公告)号:US07996801B2

    公开(公告)日:2011-08-09

    申请号:US12188749

    申请日:2008-08-08

    申请人: Kelvin Wong

    发明人: Kelvin Wong

    IPC分类号: G06F17/50

    CPC分类号: G06F17/5022

    摘要: Methods and systems for on-the-fly chip verification method for tracking non-contiguous events. A method includes comparing a first search marker associated with a first check vector to a search key associated with an output vector of a design under test (DUT). The method also includes performing either: verifying a validity of the output vector when the first search marker equals the search key, or comparing a second search marker associated with a second check vector to the search key when the first search marker does not equal the search key.

    摘要翻译: 用于跟踪非连续事件的用于实时芯片验证方法的方法和系统。 一种方法包括将与第一校验向量相关联的第一搜索标记与与待测设计(DUT)的输出向量相关联的搜索关键字进行比较。 该方法还包括执行以下操作之一:当第一搜索标记等于搜索关键字时验证输出向量的有效性,或者当第一搜索标记不等于搜索时,将与第二检查向量相关联的第二搜索标记与搜索关键字进行比较 键。