Method for detecting flaws in a functional verification plan
    7.
    发明申请
    Method for detecting flaws in a functional verification plan 失效
    检测功能验证计划中缺陷的方法

    公开(公告)号:US20070033552A1

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

    申请号:US11450701

    申请日:2006-06-09

    申请人: Zhe Li

    发明人: Zhe Li

    IPC分类号: G06F17/50

    CPC分类号: G06F17/5022

    摘要: This method uses 2 copies of the design under test. These 2 copies use different values (including primary inputs and initial states) to feed the supposedly irrelevant logic while using the same (or consistent as desired) values to feed the feature being verified. Symbolic method is used to efficiently determine whether the feature being verified behaves identically (or consistently as expected) in the 2 copies for all possible cases in the supposedly irrelevant logic.

    摘要翻译: 该方法使用2份被测设计。 这两个副本使用不同的值(包括主要输入和初始状态)来提供所谓的无关逻辑,同时使用相同的(或一致的)值来馈送被验证的功能。 符号方法用于有效地确定被验证的特征是否与所谓的无关逻辑中的所有可能情况的2个拷贝中的行为相同(或一致地预期)。

    Bi-axial coplanar apparatus
    8.
    发明授权
    Bi-axial coplanar apparatus 有权
    双轴共面设备

    公开(公告)号:US06557235B1

    公开(公告)日:2003-05-06

    申请号:US10092272

    申请日:2002-03-06

    IPC分类号: B23C112

    摘要: An apparatus comprising a frame, a mobile platform and first and second linearly-actuated slides supported on a base connected to the frame. The first and second slides are movable along a line defining a first axis. The apparatus may include a first driving connector movably coupled to the first slide and to the mobile platform, and a second driving connector movably coupled to the second slide and to the mobile platform, such that the mobile platform is displaceable within at least two degrees of freedom defined by linear motions along the first axis and a second axis, the second axis being coplanar and orthogonal to the first axis. An end effector may be also coupled to the mobile platform, the end effector having an axis aligned in a direction defined by the second axis. The end effector may comprise, for example, a tool or a gripper.

    摘要翻译: 一种装置,包括框架,移动平台以及支撑在连接到框架的基座上的第一和第二线性致动的滑动件。 第一和第二滑块可沿着限定第一轴的线移动。 该装置可以包括可移动地联接到第一滑动件和移动平台的第一驱动连接器和可移动地联接到第二滑块和移动平台的第二驱动连接器,使得移动平台可在至少两个 由沿着第一轴线和第二轴线的线性运动限定的自由度,第二轴线与第一轴线共面并且正交。 端部执行器还可以联接到移动平台,端部执行器具有在由第二轴线限定的方向上对准的轴线。 端部执行器可以包括例如工具或夹具。

    Hybrid method for design verification
    9.
    发明授权
    Hybrid method for design verification 失效
    混合方法进行设计验证

    公开(公告)号:US06339837B1

    公开(公告)日:2002-01-15

    申请号:US09257148

    申请日:1999-02-24

    申请人: Zhe Li

    发明人: Zhe Li

    IPC分类号: G06F1750

    CPC分类号: G06F17/5022

    摘要: A method for verifying a digital circuit design in a hardware description language, using a verification structure and a verification engine, is disclosed. The verification structure is constructed by including the design under test and additional statements in the hardware description language so that the functional verification problem becomes whether the verification structure is equivalent to a predetermined constant. These additional statements are provided to describe input constraints and behavioral expectations, and they effectively describe a test bench with a group of test cases. The verification engine automatically gives a conclusion after analyzing the verification structure as a digital circuit design. The functional correctness of the design can be completely verified using a number of verification structures.

    摘要翻译: 公开了一种使用验证结构和验证引擎验证硬件描述语言的数字电路设计的方法。 验证结构通过包括被测设计和硬件描述语言中的附加语句来构造,使得功能验证问题变成验证结构是否等于预定常数。 提供这些附加语句来描述输入约束和行为期望,并且它们有效地描述了一组测试用例的测试台。 在将验证结构分析为数字电路设计后,验证引擎自动给出结论。 可以使用多个验证结构完全验证设计的功能正确性。

    Antifungal agents
    10.
    发明授权
    Antifungal agents 失效
    抗真菌剂

    公开(公告)号:US6165998A

    公开(公告)日:2000-12-26

    申请号:US153202

    申请日:1998-09-15

    摘要: The present invention provides azo and stilbene compounds having the structure: wherein XY is N.dbd.N, CH.dbd.CH, (C.dbd.O)--NH or NH--(C.dbd.O); wherein Z is CR.sub.6 or N; wherein R.sub.1, R.sub.2 and R.sub.5 are independently hydrogen, halogen, NO.sub.2 or CF.sub.3 ; wherein R.sub.3 is hydrogen, halogen, CF.sub.3, aryl or heteroaryl, NO.sub.2 or OCF.sub.3 ; wherein R.sub.4 is hydrogen, halogen, CF.sub.3, aryl or heteroaryl, NO.sub.2 or linear or branched chain alkoxy; wherein R.sub.6 is hydrogen or linear or branched alkyl; wherein R.sub.7 is hydrogen, cyano, hydroxyalkyl, carboxyl, halogen, hydroxyl, formyl, NO.sub.2 or halogen; and wherein R.sub.8 is hydroxyl or substituted or unsubstituted amino; and wherein R.sub.9 and R.sub.10 are independently hydrogen, CN or hydroxyalkyl. Said compounds are useful as antifungal therapeutics, fungicides and fungistats. The present invention also provides methods of inhibiting fungal RNA transcription and treating fungal infections in human and animal subjects and fungal infestations in plants.

    摘要翻译: 本发明提供具有以下结构的偶氮和二苯乙烯化合物:其中XY是N = N,CH = CH,(C = O)-NH或NH-(C = O); 其中Z为CR 6或N; 其中R1,R2和R5独立地是氢,卤素,NO2或CF3; 其中R 3是氢,卤素,CF 3,芳基或杂芳基,NO 2或OCF 3; 其中R 4是氢,卤素,CF 3,芳基或杂芳基,NO 2或直链或支链烷氧基; 其中R6是氢或直链或支链烷基; 其中R 7为氢,氰基,羟基烷基,羧基,卤素,羟基,甲酰基,NO 2或卤素; 并且其中R8是羟基或取代或未取代的氨基; 并且其中R 9和R 10独立地为氢,CN或羟基烷基。 所述化合物可用作抗真菌治疗剂,杀真菌剂和真菌剂。 本发明还提供抑制真菌RNA转录和治疗人和动物受试者的真菌感染和植物中的真菌侵袭的方法。