Method for detecting flaws in a functional verification plan
    19.
    发明申请
    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
    20.
    发明授权
    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.

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